From 3621ddbdff4d52ad58f9af57b8a47e50d42be948 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 06:28:38 +0100 Subject: return correct leaderboard --- lambda-calcul/haskell/test/Minilang/ServerSpec.hs | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'lambda-calcul/haskell/test/Minilang') diff --git a/lambda-calcul/haskell/test/Minilang/ServerSpec.hs b/lambda-calcul/haskell/test/Minilang/ServerSpec.hs index 50c1590..c7c45b3 100644 --- a/lambda-calcul/haskell/test/Minilang/ServerSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/ServerSpec.hs @@ -39,9 +39,9 @@ spec = with (app testSeed) $ do else Just "Expected HTML content" } - it "GET /api/leaderboard returns empty list of scores" $ do + it "GET /api/leaderboard returns empty list of scores at start" $ do get "/api/leaderboard" - `shouldRespondWith` 200 {matchBody = arrayOfLengthOf (Proxy @Score) 2} + `shouldRespondWith` 200 {matchBody = arrayOfLengthOf (Proxy @Score) 0} it "POST /api/register returns registration token given user is not registered" $ do postJSON "/api/register" alice @@ -53,6 +53,11 @@ spec = with (app testSeed) $ do else Just ("Expected token " ++ show token ++ ", but got " ++ show t) } + it "GET /api/leaderboard returns list of one element after user registers" $ do + void $ postJSON "/api/register" alice + get "/api/leaderboard" + `shouldRespondWith` 200 {matchBody = arrayOfLengthOf (Proxy @Score) 1} + it "POST /api/register returns 400 given user is already registered" $ do void $ postJSON "/api/register" alice -- cgit v1.3.1