Update for new exceptions

Author: paf31

README.md

@@ -4,7 +4,7 @@
 
 ### Types
 
-    type QC a = forall eff. Eff (err :: Exception String, random :: Random, trace :: Trace | eff) a
+    type QC a = forall eff. Eff (err :: Exception, random :: Random, trace :: Trace | eff) a
 
     data Result where
       Success :: Result
@@ -27,23 +27,23 @@
 
     instance arbArray :: (Arbitrary a) => Arbitrary [a]
 
-    instance arbBoolean :: Arbitrary Prim.Boolean
+    instance arbBoolean :: Arbitrary Boolean
 
     instance arbFunction :: (CoArbitrary a, Arbitrary b) => Arbitrary (a -> b)
 
-    instance arbNumber :: Arbitrary Prim.Number
+    instance arbNumber :: Arbitrary Number
 
     instance coarbArray :: (CoArbitrary a) => CoArbitrary [a]
 
-    instance coarbBoolean :: CoArbitrary Prim.Boolean
+    instance coarbBoolean :: CoArbitrary Boolean
 
     instance coarbFunction :: (Arbitrary a, CoArbitrary b) => CoArbitrary (a -> b)
 
-    instance coarbNumber :: CoArbitrary Prim.Number
+    instance coarbNumber :: CoArbitrary Number
 
     instance showResult :: Show Result
 
-    instance testableBoolean :: Testable Prim.Boolean
+    instance testableBoolean :: Testable Boolean
 
     instance testableFunction :: (Arbitrary t, Testable prop) => Testable (t -> prop)
 

bower.json

@@ -14,6 +14,6 @@
   ],
   "dependencies": {
     "purescript-random": "*",
-    "purescript-exceptions": "*"
+    "purescript-exceptions": "0.2.0"
   }
 }

src/Test/QuickCheck.purs

@@ -88,7 +88,7 @@ quickCheckPure seed n prop = evalGen (go n) seed
     rest <- go (n - 1)
     return $ result : rest
 
-type QC a = forall eff. Eff (trace :: Trace, random :: Random, err :: Exception String | eff) a
+type QC a = forall eff. Eff (trace :: Trace, random :: Random, err :: Exception | eff) a
 
 quickCheck' :: forall prop. (Testable prop) => Number -> prop -> QC Unit
 quickCheck' n prop = do
@@ -102,7 +102,7 @@ quickCheck' n prop = do
 
   throwOnFirstFailure :: Number -> [Result] -> QC Unit
   throwOnFirstFailure _ [] = return unit
-  throwOnFirstFailure n (Failed msg : _) = throwException $ "Test " ++ show n ++ " failed: \n" ++ msg
+  throwOnFirstFailure n (Failed msg : _) = throwException $ error $ "Test " ++ show n ++ " failed: \n" ++ msg
   throwOnFirstFailure n (_ : rest) = throwOnFirstFailure (n + 1) rest
 
   countSuccesses :: [Result] -> Number