From 46d94d86705a7fd0a7c5d0d7c6a74f11669641ca Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 27 Oct 2025 16:26:55 +0100 Subject: Add more tests and references --- lambda-calcul/haskell/test/Minilang/IOSpec.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lambda-calcul/haskell/test/Minilang/IOSpec.hs') diff --git a/lambda-calcul/haskell/test/Minilang/IOSpec.hs b/lambda-calcul/haskell/test/Minilang/IOSpec.hs index c4ae13e..14d279d 100644 --- a/lambda-calcul/haskell/test/Minilang/IOSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/IOSpec.hs @@ -16,7 +16,7 @@ spec = parallel $ it "evaluates a simple MiniLang 'program' and dumps result" $ \fileName -> do let outputFileName = fileName <> ".out" program = - [ "((lam (x) x) y)" + [ "((lam (x y) x) z t)" ] writeFile fileName (unlines program) @@ -27,7 +27,7 @@ spec = parallel $ out <- readFile outputFileName - out `shouldBe` "Var \"y\"\n" + out `shouldBe` "Var \"z\"\n" withTempFile :: (String -> IO ()) -> IO () withTempFile = -- cgit v1.2.3