enable tests

anoma · Sep 13, 2024 · 588a182 · 588a182
1 parent 315932a
commit 588a182
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/test/Compilation/Positive.hs b/test/Compilation/Positive.hs
@@ -470,5 +470,15 @@ tests =
         "Test079: Let / LetRec type inference (during lambda lifting) in Core"
         $(mkRelDir ".")
         $(mkRelFile "test079.juvix")
-        $(mkRelFile "out/test079.out")
+        $(mkRelFile "out/test079.out"),
+      posTest
+        "Test080: Do notation"
+        $(mkRelDir ".")
+        $(mkRelFile "test080.juvix")
+        $(mkRelFile "out/test080.out"),
+      posTest
+        "Test081: Non-duplication in let-folding"
+        $(mkRelDir ".")
+        $(mkRelFile "test081.juvix")
+        $(mkRelFile "out/test081.out")
     ]
diff --git a/tests/Compilation/positive/out/test080.out b/tests/Compilation/positive/out/test080.out
@@ -0,0 +1,2 @@
+nothing
+just 1