From 72ed98c66d1585c94ee5383c19a1dec8e10bb050 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Wed, 5 Nov 2025 07:55:45 +0100 Subject: record last success/failure in score --- lambda-calcul/haskell/src/Minilang/Server.hs | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'lambda-calcul/haskell/src/Minilang/Server.hs') diff --git a/lambda-calcul/haskell/src/Minilang/Server.hs b/lambda-calcul/haskell/src/Minilang/Server.hs index 7cf5718..67b321d 100644 --- a/lambda-calcul/haskell/src/Minilang/Server.hs +++ b/lambda-calcul/haskell/src/Minilang/Server.hs @@ -8,14 +8,16 @@ module Minilang.Server where import Control.Concurrent.Async import Control.Concurrent.STM.TVar +import Control.Exception (try) import Data.Aeson ( Value, decode, - eitherDecodeFileStrict, + eitherDecode, object, - (.=), eitherDecode, + (.=), ) import Data.ByteString.Lazy (fromStrict) +import qualified Data.ByteString.Lazy as LBS import Data.Data (Proxy (..)) import Data.Default import Data.Text (Text) @@ -31,8 +33,6 @@ import Servant (hoistServer) import Servant.Server (serve) import System.Log.FastLogger (fromLogStr) import System.Random (newStdGen) -import Control.Exception (try) -import qualified Data.ByteString.Lazy as LBS data Server = Server { -- | If the server is running, this will contain the underlying @@ -80,7 +80,6 @@ readChallenges = do Right challenges -> pure challenges Left _ -> pure defaultChallenges - serveAPI :: Env -> Application serveAPI env = serve apiProxy $ -- cgit v1.3.1