diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:26:55 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:26:55 +0100 |
| commit | 46d94d86705a7fd0a7c5d0d7c6a74f11669641ca (patch) | |
| tree | a5739cde5488fccc77249f6d803efa6b460a1642 /lambda-calcul/haskell/test/Minilang/IOSpec.hs | |
| parent | 5cba53dd054222ce3319a1efe6803952c9675889 (diff) | |
| download | lambda-nantes-46d94d86705a7fd0a7c5d0d7c6a74f11669641ca.tar.gz | |
Add more tests and references
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/IOSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/IOSpec.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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 = |