From 1d1f0efc7de1eaa0c8a6b503892c2f950008fde6 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Tue, 28 Oct 2025 20:14:16 +0100 Subject: wip: port REPL from minilang --- 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 80cda6c..f000f0a 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` "V \"z\"\n" + out `shouldBe` "z" withTempFile :: (String -> IO ()) -> IO () withTempFile = -- cgit v1.3.1