From fade9c496cebbc0caa97821cb85e9e56da31c57f Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud@pankzsoft.com>
Date: Sat, 21 Mar 2026 09:06:47 +0100
Subject: Add more challenges and plans for enhancement of the interpreter

---
 lambda-calcul/haskell/src/Minilang/App.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lambda-calcul/haskell/src/Minilang/App.hs')

diff --git a/lambda-calcul/haskell/src/Minilang/App.hs b/lambda-calcul/haskell/src/Minilang/App.hs
index 915f264..cce48f7 100644
--- a/lambda-calcul/haskell/src/Minilang/App.hs
+++ b/lambda-calcul/haskell/src/Minilang/App.hs
@@ -151,11 +151,11 @@ postAnswer (Just token) expected = do
       result = evaluateOutputs outputs expected
   updateUserLastTest token result
   case result of
-    TestSucceeded -> do
+    TestSucceeded ->
       upgradeUserChallenge token
     TestFailed msg ->
       liftIO $ throwM $ err400 {errBody = "Test failed: " <> LBS.fromStrict (encodeUtf8 msg)}
-    TestErrored msg -> do
+    TestErrored msg ->
       liftIO $ throwM $ err500 {errBody = "Error evaluating answer: " <> LBS.fromStrict (encodeUtf8 msg)}
 
 data TestResult = TestSucceeded | TestFailed Text | TestErrored Text
@@ -167,7 +167,7 @@ isSuccess _ = False
 evaluateOutputs :: [Out] -> Text -> TestResult
 evaluateOutputs outputs expected =
   case outputs of
-    [Bye, Evaluated ast _ _] -> do
+    [Bye, Evaluated ast _ _] ->
       if pretty ast /= expected
         then TestFailed "Incorrect result"
         else TestSucceeded
-- 
cgit v1.3.1