1 files changed, 19 insertions, 3 deletions
diff --git a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs
index c6d64c7..f79053c 100644
--- a/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs
+++ b/lambda-calcul/haskell/test/Minilang/Lambda/ParserSpec.hs
@@ -4,15 +4,31 @@
 
 module Minilang.Lambda.ParserSpec where
 
+import Data.Either (isRight)
 import Data.Function ((&))
 import Data.Text (Text, pack)
 import qualified Data.Text as Text
 import Minilang.Lambda.Eval (Term (Lam))
 import qualified Minilang.Lambda.Eval as Eval
 import Minilang.Lambda.Parser (AST (..), desugar, initialChars, parse, pretty, restChars)
-import Test.Hspec (Spec, parallel, shouldBe)
+import Test.Hspec (Spec, parallel, shouldBe, shouldSatisfy)
 import Test.Hspec.QuickCheck (prop)
-import Test.QuickCheck (Arbitrary (..), Gen, NonEmptyList (..), counterexample, elements, forAll, forAllShrink, listOf, oneof, resize, sized, vectorOf, (===), (==>))
+import Test.QuickCheck
+  ( Arbitrary (..),
+    Gen,
+    NonEmptyList (..),
+    counterexample,
+    elements,
+    forAll,
+    forAllShrink,
+    listOf,
+    oneof,
+    resize,
+    sized,
+    vectorOf,
+    (===),
+    (==>),
+  )
 
 -- ((f x) y) --> (f x y)
 -- (lam (x) (lam (y) y)) --> (lam (x y) y)
@@ -79,7 +95,7 @@ spec = parallel $ do
                     <> pretty body
                     <> ")"
                 )
-                `shouldBe` Right app
+                `shouldSatisfy` isRight
 
 spine :: AST -> Int
 spine = \case