From b899a23e2db86a0a12c5de9ee82588819c1caf89 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 27 Oct 2025 16:35:06 +0100 Subject: Fix evaluation with environment by introducing Value --- lambda-calcul/haskell/test/Minilang/IOSpec.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 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 = -- cgit v1.2.3