From 588a1820cbfaf561360daa1e0c7c9d8a2c8fb841 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Fri, 13 Sep 2024 10:27:10 +0200
Subject: [PATCH] enable tests

---
 test/Compilation/Positive.hs               | 12 +++++++++++-
 tests/Compilation/positive/out/test080.out |  2 ++
 2 files changed, 13 insertions(+), 1 deletion(-)
 create mode 100644 tests/Compilation/positive/out/test080.out

diff --git a/test/Compilation/Positive.hs b/test/Compilation/Positive.hs
index 51fc1fb284..252f5635db 100644
--- 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
new file mode 100644
index 0000000000..66c0e977e4
--- /dev/null
+++ b/tests/Compilation/positive/out/test080.out
@@ -0,0 +1,2 @@
+nothing
+just 1