3 files changed, 4 insertions, 4 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/EvalSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/EvalSpec.hs
index 89e86b9..3dbe3cd 100644
--- a/lambda-calcul/haskell/test/Minilang/Lambda/EvalSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/Lambda/EvalSpec.hs
@@ -2,7 +2,7 @@ module Minilang.Lambda.EvalSpec (spec) where
 
 import Control.Concurrent (threadDelay)
 import Control.Concurrent.Async (race_)
-import Minilang.Lambda.Eval (Term (..), eval, evalNeed)
+import Minilang.Lambda.Eval (Term (..), eval)
 import Test.Hspec (Spec, describe, it, pending, shouldBe)
 
 spec :: Spec
diff --git a/lambda-calcul/haskell/test/Minilang/REPL/NetSpec.hs b/lambda-calcul/haskell/test/Minilang/REPL/NetSpec.hs
index 7f77eeb..6a2b1ab 100644
--- a/lambda-calcul/haskell/test/Minilang/REPL/NetSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/REPL/NetSpec.hs
@@ -71,7 +71,7 @@ spec = around withServer $
       let inp = [Com (Set (SelectLanguage Typed)), In "((lam (x) x) y)"]
           expectedOutput =
             [ Right (Msg "Language set to Typed"),
-              Right $ Evaluated (AST.Sym "y") (Var "y") (TyVar "b")
+              Right $ Evaluated (AST.Sym "y") (Var "y") (TyVar "a")
             ]
       res <- runTestClient serverPort ".newenv1" inp
 
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"
                    ]