From fade9c496cebbc0caa97821cb85e9e56da31c57f Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sat, 21 Mar 2026 09:06:47 +0100 Subject: Add more challenges and plans for enhancement of the interpreter --- lambda-calcul/haskell/test/Minilang/ServerSpec.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lambda-calcul/haskell/test') diff --git a/lambda-calcul/haskell/test/Minilang/ServerSpec.hs b/lambda-calcul/haskell/test/Minilang/ServerSpec.hs index 80e9f5e..f61969a 100644 --- a/lambda-calcul/haskell/test/Minilang/ServerSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/ServerSpec.hs @@ -83,7 +83,7 @@ spec = with (app testSeed) $ do `shouldRespondWith` 404 it "GET /api/challenge returns next challenge given user is registered" $ do - let expected = LT.unpack $ decodeUtf8 $ encode $ Challenge {level = 0, expr = "x"} + let expected = LT.unpack $ decodeUtf8 $ encode $ Challenge {level = 0, expr = "x", description = "A lone free variable. What does x reduce to?", answer = "x"} postJSON "/api/register" alice `shouldRespondWith` 201 @@ -122,7 +122,7 @@ spec = with (app testSeed) $ do `shouldRespondWith` 400 it "GET /api/challenge returns next level challenge after successful POST" $ do - let expected = LT.unpack $ decodeUtf8 $ encode $ Challenge {level = 1, expr = "y"} + let expected = LT.unpack $ decodeUtf8 $ encode $ Challenge {level = 1, expr = "y", description = "Another free variable. What does y reduce to?", answer = "y"} void $ postJSON "/api/register" alice void $ postJSON ("/api/challenge?token=" <> LBS.toStrict token) "\"x\"" -- cgit v1.3.1