{-# 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 = [ ]