From b87d5b45110cd7efe7109dd6d4e9c19ef28522aa Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Thu, 6 Nov 2025 08:35:36 +0100
Subject: evaluate terms when defining them

---
 lambda-calcul/haskell/test/Minilang/Lambda/EvalSpec.hs | 2 +-
 lambda-calcul/haskell/test/Minilang/REPL/NetSpec.hs    | 2 +-
 lambda-calcul/haskell/test/Minilang/REPLSpec.hs        | 4 ++--
 3 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'lambda-calcul/haskell/test/Minilang')

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"
                    ]
 
-- 
cgit v1.3.1