From b87d5b45110cd7efe7109dd6d4e9c19ef28522aa Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Thu, 6 Nov 2025 08:35:36 +0100 Subject: evaluate terms when defining them --- lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lambda-calcul/haskell/test/Minilang/REPLSpec.hs') diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs index 74f6c29..bd64adf 100644 --- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs @@ -51,7 +51,7 @@ spec = parallel $ out `shouldBe` [ "Bye!", - "y : c", + "y : a", "id : a -> a", "Language set to Typed" ] @@ -80,7 +80,7 @@ spec = parallel $ out `shouldBe` [ "Bye!", - "Cannot unify type variable f with type (e -> f -> e) -> e due to circularity: The variable already occurs in the type.", + "(lam (z s) (s ((lam (n z s) (s n)) (lam (z s) z)))) : a -> ((d -> ((g -> h -> g) -> f) -> f) -> j) -> j", "Language set to Typed" ] -- cgit v1.3.1