From 16e0642ee4d09df1b032f8d30c7050cfac4d12f7 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 3 Nov 2025 21:22:52 +0100 Subject: Handle :lang in REPL --- lambda-calcul/haskell/test/Minilang/REPLSpec.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (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 d23ffbd..5469a59 100644 --- a/lambda-calcul/haskell/test/Minilang/REPLSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/REPLSpec.hs @@ -47,7 +47,8 @@ spec = parallel $ out `shouldBe` [ "Bye!", - "(lam (z s) (s ((lam (n z s) (s n)) (lam (z s) z)))) : " + "(lam (z s) (s ((lam (n z s) (s n)) (lam (z s) z)))) : ", + "Language set to Untyped" ] it "shows error when trying to load a non-existent file" $ do -- cgit v1.3.1