diff --git a/tests/DiscardRatio.hs b/tests/DiscardRatio.hs index 91d8638e..f288de8f 100644 --- a/tests/DiscardRatio.hs +++ b/tests/DiscardRatio.hs @@ -12,14 +12,10 @@ assert _ _ = pure () quickCheckYes, quickCheckNo :: Property -> IO () quickCheckYes p = do res <- quickCheckResult p - if isSuccess res - then pure () - else exitFailure + unless (isSuccess res) exitFailure quickCheckNo p = do res <- quickCheckResult p - if isSuccess res - then exitFailure - else pure () + when (isSuccess res) exitFailure check :: Result -> Int -> Int -> IO () check res n d = do