fix tests

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

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/src/Juvix/Compiler/Core/Transformation/MoveApps.hs b/src/Juvix/Compiler/Core/Transformation/MoveApps.hs
@@ -77,4 +77,4 @@ convertNode = dmap go
 --  - https://github.com/anoma/juvix/issues/1654
 --  - https://github.com/anoma/juvix/pull/1659
 moveApps :: Module -> Module
-moveApps = mapT (const convertNode)
+moveApps = mapAllNodes convertNode
diff --git a/test/Compilation/Positive.hs b/test/Compilation/Positive.hs
@@ -451,7 +451,7 @@ tests =
         $(mkRelDir ".")
         $(mkRelFile "test075.juvix")
         $(mkRelFile "out/test075.out"),
-      posTestEval
+      posTest
         "Test076: Builtin Maybe"
         $(mkRelDir ".")
         $(mkRelFile "test076.juvix")
@@ -466,12 +466,12 @@ tests =
         $(mkRelDir ".")
         $(mkRelFile "test078.juvix")
         $(mkRelFile "out/test078.out"),
-      posTestEval
+      posTest
         "Test079: Let / LetRec type inference (during lambda lifting) in Core"
         $(mkRelDir ".")
         $(mkRelFile "test079.juvix")
         $(mkRelFile "out/test079.out"),
-      posTest
+      posTestEval -- TODO: this test is not compiling
         "Test080: Do notation"
         $(mkRelDir ".")
         $(mkRelFile "test080.juvix")