diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:35:06 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-10-27 16:35:06 +0100 |
| commit | b899a23e2db86a0a12c5de9ee82588819c1caf89 (patch) | |
| tree | 6bc96098e24f6284ad41761c9d7a0e7c971e2a79 /lambda-calcul/haskell/test/Minilang/IOSpec.hs | |
| parent | 46d94d86705a7fd0a7c5d0d7c6a74f11669641ca (diff) | |
| download | lambda-nantes-b899a23e2db86a0a12c5de9ee82588819c1caf89.tar.gz | |
Fix evaluation with environment by introducing Value
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/IOSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/IOSpec.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/IOSpec.hs b/lambda-calcul/haskell/test/Minilang/IOSpec.hs index 14d279d..80cda6c 100644 --- a/lambda-calcul/haskell/test/Minilang/IOSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/IOSpec.hs @@ -27,7 +27,7 @@ spec = parallel $ out <- readFile outputFileName - out `shouldBe` "Var \"z\"\n" + out `shouldBe` "V \"z\"\n" withTempFile :: (String -> IO ()) -> IO () withTempFile = |