diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-03-21 09:06:47 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2026-03-21 09:06:47 +0100 |
| commit | fade9c496cebbc0caa97821cb85e9e56da31c57f (patch) | |
| tree | 7dd30194f57fad64de18584c08385e0e7107eb68 /lambda-calcul/haskell/test | |
| parent | cbc3ebfca24c89c475b9970fa525055d8291ee88 (diff) | |
| download | lambda-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.hs | 4 |
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\"" |
