Skip to content

Commit d4433b6

Browse files
committed
Adding tests and fixing bugs.
1 parent 18e466b commit d4433b6

25 files changed

+2301
-1890
lines changed

src/Backend/ASTtoIASTConverter.hs

Lines changed: 149 additions & 163 deletions
Large diffs are not rendered by default.

src/Backend/SemanticAnalyser.hs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -260,6 +260,7 @@ getNotDistinctQubits (GeneratedAbstractSyntax.FunDecl _ funDef) = collectNotDist
260260
collectNotDistinct (GeneratedAbstractSyntax.TermBasisState _) notDistinctQubits = notDistinctQubits
261261
collectNotDistinct (GeneratedAbstractSyntax.TermGate _) notDistinctQubits = notDistinctQubits
262262
collectNotDistinct (GeneratedAbstractSyntax.TermTuple _) notDistinctQubits = notDistinctQubits
263+
collectNotDistinct (GeneratedAbstractSyntax.TermBit _) notDistinctQubits = notDistinctQubits
263264
collectNotDistinct GeneratedAbstractSyntax.TermUnit notDistinctQubits = notDistinctQubits
264265

265266
getNotDistinctBits :: GeneratedAbstractSyntax.FunctionDeclaration -> [String] -> [String]
@@ -292,6 +293,7 @@ getNotDistinctBits (GeneratedAbstractSyntax.FunDecl _ funDef) = collectNotDistin
292293
collectNotDistinct (GeneratedAbstractSyntax.TermBasisState _) notDistinctBits = notDistinctBits
293294
collectNotDistinct (GeneratedAbstractSyntax.TermGate _) notDistinctBits = notDistinctBits
294295
collectNotDistinct (GeneratedAbstractSyntax.TermTuple _) notDistinctBits = notDistinctBits
296+
collectNotDistinct (GeneratedAbstractSyntax.TermBit _) notDistinctBits = notDistinctBits
295297
collectNotDistinct GeneratedAbstractSyntax.TermUnit notDistinctBits = notDistinctBits
296298

297299
-- TODO multiple qubits gates not supported yet
@@ -327,6 +329,7 @@ getDuplicatedCtrlAndTgtQubits (GeneratedAbstractSyntax.FunDecl _ funDef) = colle
327329
collectDuplicated (GeneratedAbstractSyntax.TermBasisState _) duplicatedQubits = duplicatedQubits
328330
collectDuplicated (GeneratedAbstractSyntax.TermGate _) duplicatedQubits = duplicatedQubits
329331
collectDuplicated (GeneratedAbstractSyntax.TermTuple _) duplicatedQubits = duplicatedQubits
332+
collectDuplicated (GeneratedAbstractSyntax.TermBit _) duplicatedQubits = duplicatedQubits
330333
collectDuplicated GeneratedAbstractSyntax.TermUnit duplicatedQubits = duplicatedQubits
331334

332335
getQubit :: GeneratedAbstractSyntax.Term -> String

src/Frontend/LambdaQ/Abs.hs

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -120,6 +120,7 @@ data Term
120120
| TermBasisState BasisState
121121
| TermGate Gate
122122
| TermTuple Tuple
123+
| TermBit Bit
123124
| TermUnit
124125
deriving (C.Eq, C.Ord, C.Show, C.Read)
125126

src/Frontend/LambdaQ/Doc.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -154,6 +154,7 @@ All other symbols are terminals.
154154
| | **|** | //BasisState//
155155
| | **|** | //Gate//
156156
| | **|** | //Tuple//
157+
| | **|** | //Bit//
157158
| | **|** | ``()``
158159
| | **|** | ``(`` //Term// ``)``
159160
| //Term// | -> | //Term1//

src/Frontend/LambdaQ/Par.hs

Lines changed: 54 additions & 46 deletions
Large diffs are not rendered by default.

0 commit comments

Comments
 (0)