summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 06:35:47 +0100
committerArnaud Bailly <arnaud@pankzsoft.com>2025-11-05 06:36:53 +0100
commitcd46eaf57fac4e452f11747a1d420f901c630552 (patch)
tree63f9c9118496e7d1fd3ea03088ad087b6db58c2a
parent3621ddbdff4d52ad58f9af57b8a47e50d42be948 (diff)
downloadlambda-nantes-cd46eaf57fac4e452f11747a1d420f901c630552.tar.gz
minor reformatting test
-rw-r--r--lambda-calcul/haskell/src/Minilang/Server.hs10
1 files changed, 5 insertions, 5 deletions
diff --git a/lambda-calcul/haskell/src/Minilang/Server.hs b/lambda-calcul/haskell/src/Minilang/Server.hs
index 8dc8c17..ea66e1e 100644
--- a/lambda-calcul/haskell/src/Minilang/Server.hs
+++ b/lambda-calcul/haskell/src/Minilang/Server.hs
@@ -1,6 +1,6 @@
-{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE LambdaCase #-}
{-# LANGUAGE ScopedTypeVariables #-}
+{-# LANGUAGE TypeApplications #-}
-- | An HTTP server providing a basic REPL and text editor to work
-- collaboratively on Minilang code.
@@ -11,15 +11,16 @@ import Control.Concurrent.STM.TVar
import Data.Aeson
( Value,
decode,
+ eitherDecodeFileStrict,
object,
- (.=), eitherDecodeFileStrict,
+ (.=),
)
import Data.ByteString.Lazy (fromStrict)
import Data.Data (Proxy (..))
import Data.Default
import Data.Text (Text)
-import Minilang.API (LambdaAPI, Challenge, defaultChallenges)
-import Minilang.App (Env (..), lambdaApp, runApp, makeEnv)
+import Minilang.API (Challenge, LambdaAPI, defaultChallenges)
+import Minilang.App (Env (..), lambdaApp, makeEnv, runApp)
import Minilang.Log
import Minilang.REPL.Net
import Network.Wai
@@ -30,7 +31,6 @@ import Servant (hoistServer)
import Servant.Server (serve)
import System.Log.FastLogger (fromLogStr)
import System.Random (newStdGen)
-import Control.Exception (IOException, try)
data Server = Server
{ -- | If the server is running, this will contain the underlying