summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/test
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2026-03-21 09:06:47 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2026-03-21 09:06:47 +0100
commitfade9c496cebbc0caa97821cb85e9e56da31c57f (patch)
tree7dd30194f57fad64de18584c08385e0e7107eb68 /lambda-calcul/haskell/test
parentcbc3ebfca24c89c475b9970fa525055d8291ee88 (diff)
downloadlambda-nantes-fade9c496cebbc0caa97821cb85e9e56da31c57f.tar.gz
Add more challenges and plans for enhancement of the interpreter
Diffstat (limited to 'lambda-calcul/haskell/test')
-rw-r--r--lambda-calcul/haskell/test/Minilang/ServerSpec.hs4
1 files changed, 2 insertions, 2 deletions
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\""