summaryrefslogtreecommitdiff
path: root/lambda-calcul/haskell/src/Minilang/Server.hs
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 07:55:45 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 07:55:45 +0100
commit72ed98c66d1585c94ee5383c19a1dec8e10bb050 (patch)
tree44605042e4a49411edf401ff9d206939e971a8d7 /lambda-calcul/haskell/src/Minilang/Server.hs
parent947940230f1b14bb883e5f5de2593c52e2438c1c (diff)
downloadlambda-nantes-72ed98c66d1585c94ee5383c19a1dec8e10bb050.tar.gz
record last success/failure in score
Diffstat (limited to 'lambda-calcul/haskell/src/Minilang/Server.hs')
-rw-r--r--lambda-calcul/haskell/src/Minilang/Server.hs9
1 files changed, 4 insertions, 5 deletions
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 $