From 438e3f8c5dcdfeead15a6a9a1760f7c254fc54b2 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 09:17:15 +0100 Subject: output type of definitions --- lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs index 81ac25c..861c24c 100644 --- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs @@ -34,6 +34,21 @@ spec = parallel $ "id : " ] + it "evaluates typed MiniLang terms with definitions" $ do + let out = + withInput + [ ":lang Typed", + "(def id (lam (x) x))", + "(id y)" + ] + + out + `shouldBe` [ "Bye!", + "y : c", + "id : a -> a", + "Language set to Typed" + ] + it "defaults untyped terms" $ do let out = withInput -- cgit v1.3.1