From f3ed99dfd6b93309d2d500058bdb30bdb821ff7f Mon Sep 17 00:00:00 2001 From: Lukasz Czajka Date: Fri, 13 Sep 2024 14:37:14 +0200 Subject: [PATCH] fix tests --- src/Juvix/Compiler/Core/Transformation/MoveApps.hs | 2 +- test/Compilation/Positive.hs | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/Juvix/Compiler/Core/Transformation/MoveApps.hs b/src/Juvix/Compiler/Core/Transformation/MoveApps.hs index 187d46c48e..64757d0390 100644 --- 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 index 252f5635db..a7edbb72cc 100644 --- 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")