Adding tests.

Author: radumarg

test/Backend/ASTtoIASTConverterSpec.hs

@@ -214,14 +214,57 @@ spec =  do
         result `shouldSatisfy` (\str -> "TermQuantumCtrlsGate TermVariable (Var ((3,22),q1)),TermVariable (Var ((3,28),q3)),TermVariable (Var ((3,34),q4)) BasisStateOne,BasisStateOne,BasisStateOne)" `isInfixOf` str)
         result `shouldSatisfy` (\str -> "(TermGate GateY)) (TermVariable (Var ((3,67),q2)))" `isInfixOf` str)
 
-  -- do let single
-  -- do let sugar single
-  -- do let multiple
 
     context "when provided with a small program fragment" $ do
       it "returns a syntax tree processed in the intermediate syntax tree format" $ do
-        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_18.lq"
+        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_15.lq"
+        result `shouldSatisfy` (\str -> "Function fun (2,1)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TypeBit" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermApply (TermNew (2,16)) (TermBasisState BasisStateMinusI)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermMeasure (3,7)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "(TermVariable (Var ((3,14),gate))) (TermGate GateX))" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermVariable (Var ((3,21),q)))" `isInfixOf` str)
+
+    context "when provided with a small program fragment" $ do
+      it "returns a syntax tree processed in the intermediate syntax tree format" $ do
+        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_16.lq"
+        result `shouldSatisfy` (\str -> "Function fun (2,1)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TypeBit" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "(TermApply (TermNew (2,12)) (TermBasisState BasisStateZero)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermMeasure (3,7)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "(TermVariable (Var ((3,14),gate))) (TermGate GateZ))" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermVariable (Var ((3,21),q)))" `isInfixOf` str)
+
+    context "when provided with a small program fragment" $ do
+      it "returns a syntax tree processed in the intermediate syntax tree format" $ do
+        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_17.lq"
         result `shouldSatisfy` (\str -> "Function fun (2,1)" `isInfixOf` str)
         result `shouldSatisfy` (\str -> "TypeQbit" `isInfixOf` str)
         result `shouldSatisfy` (\str -> "TermApply (TermNew (2,7)) (TermBasisState BasisStateZero)" `isInfixOf` str)
 
+    context "when provided with a small program fragment" $ do
+      it "returns a syntax tree processed in the intermediate syntax tree format" $ do
+        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_18.lq"
+        result `shouldSatisfy` (\str -> "Function fun (2,1)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TypeQbit :**: 3" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermTuple (TermApply (TermNew" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermBasisState BasisStateZero" `isInfixOf` str)
+
+    context "when provided with a small program fragment" $ do
+      it "returns a syntax tree processed in the intermediate syntax tree format" $ do
+        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_19.lq"
+        result `shouldSatisfy` (\str -> "Function fun (2,1)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TypeQbit :*: TypeQbit" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermTuple" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "(TermApply (TermVariable (Var ((2,8),gate))) (TermGate GateH)) (TermNew (2,15))) (TermBasisState BasisStateZero))" `isInfixOf` str)
+
+    context "when provided with a small program fragment" $ do
+      it "returns a syntax tree processed in the intermediate syntax tree format" $ do
+        result <- testProgramAndShowResults "test/programs/code-fragments/program_fragment_20.lq"
+        result `shouldSatisfy` (\str -> "Function fun (2,1)" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TypeQbit" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermLetSingle" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "(TermMeasure (2,17)) (TermVariable (Var ((2,23),gate)))) (TermGate GateH)) (TermNew (2,30))) (TermBasisState BasisStateZero))" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermIfElse (TermVariable (Var ((3,10),bit))" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermApply (TermApply (TermApply (TermVariable (Var ((3,19),gate))) (TermGate GateH)) (TermNew (3,26))" `isInfixOf` str)
+        result `shouldSatisfy` (\str -> "TermApply (TermNew (3,38)) (TermBasisState BasisStateOne)" `isInfixOf` str)

test/programs/code-fragments/program_fragment_15.lq

@@ -0,0 +1,3 @@
+fun :: Bit
+fun = let q = (new @-i) in
+      measr (gate X q)

test/programs/code-fragments/program_fragment_16.lq

@@ -0,0 +1,3 @@
+fun :: Bit
+fun = q <- new @0;
+      measr (gate Z q)

test/programs/code-fragments/program_fragment_17.lq

@@ -0,0 +1,3 @@
+fun :: Qbit
+fun = new @0
+

test/programs/code-fragments/program_fragment_18.lq

@@ -1,3 +1,3 @@
-fun :: Qbit
-fun = new @0
+fun :: Qbit ** 3
+fun = (new @0, new @0, new @0)
 

test/programs/code-fragments/program_fragment_19.lq

@@ -0,0 +1,3 @@
+fun :: Qbit * Qbit
+fun = (gate H new @0, gate H new @0)
+

test/programs/code-fragments/program_fragment_20.lq

@@ -0,0 +1,5 @@
+fun :: Qbit
+fun = let bit = measr gate H new @0 in
+      if bit then gate H new @0 else new @1
+
+