From 1083bb7758a2dfe3f2861bf802627cec16933861 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Tue, 4 Nov 2025 08:10:46 +0100 Subject: Default REPL to Untyped language --- lambda-calcul/haskell/test/Minilang/ServerSpec.hs | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) (limited to 'lambda-calcul/haskell/test/Minilang/ServerSpec.hs') diff --git a/lambda-calcul/haskell/test/Minilang/ServerSpec.hs b/lambda-calcul/haskell/test/Minilang/ServerSpec.hs index 309ded8..6a25ec5 100644 --- a/lambda-calcul/haskell/test/Minilang/ServerSpec.hs +++ b/lambda-calcul/haskell/test/Minilang/ServerSpec.hs @@ -1,15 +1,31 @@ +{-# LANGUAGE ScopedTypeVariables #-} +{-# LANGUAGE TypeApplications #-} + module Minilang.ServerSpec where +import Data.Aeson (eitherDecode, FromJSON) +import Minilang.API (Score) import Minilang.Server (serveAPI) import Network.Wai (Application) import Test.Hspec (Spec, it) -import Test.Hspec.Wai (get, shouldRespondWith, with) +import Test.Hspec.Wai (get, matchBody, shouldRespondWith, with) +import Test.Hspec.Wai.Matcher (MatchBody (..)) +import Data.Data (Proxy (..)) spec :: Spec spec = with app $ it "GET /api/leaderboard returns empty list of scores" $ do get "/api/leaderboard" - `shouldRespondWith` "[]" + `shouldRespondWith` 200 {matchBody = arrayOfLengthOf (Proxy @Score) 2} + +arrayOfLengthOf :: forall elem proxy . (FromJSON elem) => proxy elem -> Int -> MatchBody +arrayOfLengthOf _ len = MatchBody $ \_ actual -> + case eitherDecode actual of + Right (scores :: [elem]) -> + if length scores == len + then Nothing + else Just $ "Expected array of length " ++ show len ++ ", but got " ++ show (length scores) + Left err -> Just $ "Failed to decode JSON: " ++ err app :: IO Application app = pure serveAPI -- cgit v1.3.1