+{-# LANGUAGE
+ UnicodeSyntax
+ #-}
+module Main (main) where
+import System.Exit
+import Test.QuickCheck
+
+main ∷ IO ()
+main = mapM_ runTest tests
+
+runTest ∷ Property → IO ()
+runTest prop
+ = do r ← quickCheckResult prop
+ case r of
+ Success {} → return ()
+ GaveUp {} → exitFailure
+ Failure {} → exitFailure
+ NoExpectedFailure {} → exitFailure
+
+tests ∷ [Property]
+tests = [
+ ]