From ae59f17cb3d58de7afca7f441d8bcf9a718e024c Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 09:15:46 +0100 Subject: handle defitions in untyped language --- lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 11 +++++++++++ 1 file changed, 11 insertions(+) (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 cf6ef01..81ac25c 100644 --- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs @@ -23,6 +23,17 @@ spec = parallel $ "y : " ] + it "evaluates untyped MiniLang terms with definitions" $ do + let out = + withInput + ["(def id (lam (x) x))", "(id y)"] + + out + `shouldBe` [ "Bye!", + "y : ", + "id : " + ] + it "defaults untyped terms" $ do let out = withInput -- cgit v1.3.1