Remove answers from sent challenges

Also fix integration test

1 files changed, 7 insertions, 8 deletions

diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs
index 40866bb..0050973 100644
--- a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs
@@ -8,10 +8,9 @@ import Data.Either (isLeft, isRight)
 import Data.Function ((&))
 import Data.Text (Text, pack)
 import qualified Data.Text as Text
-import Minilang.Lambda.Eval (Term (Lam))
+import Minilang.Lambda.Eval (Term (Lam), normalise)
 import qualified Minilang.Lambda.Eval as Eval
-import Minilang.Lambda.Parser (AST (..), desugar, initialChars, parse, parseProgram, pretty, restChars, escapeString)
-import Minilang.Lambda.Eval (normalise)
+import Minilang.Lambda.Parser (AST (..), desugar, escapeString, initialChars, parse, parseProgram, pretty, restChars)
 import Test.Hspec (Spec, describe, it, parallel, shouldBe, shouldSatisfy)
 import Test.Hspec.QuickCheck (prop)
 import Test.QuickCheck (
@@ -91,13 +90,13 @@ spec = parallel $ do
                     <> Text.concat
                       ( map
                           ( \(Identifier v, t) ->
-                              "(" <> v <> " " <> pretty t <> ")"
+                              "(" <> v <> " " <> pretty t <> ")\n"
                           )
                           bound
                       )
-                    <> ") "
+                    <> ")\n   "
                     <> pretty body
-                    <> ")"
+                    <> ")\n"
                 )
                 `shouldSatisfy` isRight
 
@@ -370,8 +369,8 @@ genAst depth =
 -- logic is tested separately.
 genStrLit :: Gen AST
 genStrLit = StrLit . pack <$> listOf (elements safeChars)
-  where
-    safeChars = filter (\c -> c /= '"' && c /= '\\') [' '..'~']
+ where
+  safeChars = filter (\c -> c /= '"' && c /= '\\') [' ' .. '~']
 
 genDef :: Int -> Gen AST
 genDef n = Def . unIdent <$> arbitrary <*> genAst n