diff options
Diffstat (limited to 'lambda-calcul/haskell/test/Minilang/REPLSpec.hs')
| -rw-r--r-- | lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 4 |
1 files changed, 2 insertions, 2 deletions
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" ] |