Merge pull request #44 from themoritz/master

purs 0.11 changes

Author: garyb

.travis.yml

@@ -1,7 +1,7 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
 install:
   - npm install -g bower
   - npm install

bower.json

@@ -18,13 +18,13 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-console": "^2.0.0",
-    "purescript-enums": "^2.0.0",
-    "purescript-exceptions": "^2.0.0",
-    "purescript-free": "^3.0.0",
-    "purescript-machines": "^2.0.0",
-    "purescript-random": "^2.0.0",
-    "purescript-arrays": "^3.0.0",
-    "purescript-datetime": "^2.1.1"
+    "purescript-console": "^3.0.0",
+    "purescript-enums": "^3.0.0",
+    "purescript-exceptions": "^3.0.0",
+    "purescript-free": "^4.0.0",
+    "purescript-machines": "^4.0.0",
+    "purescript-random": "^3.0.0",
+    "purescript-arrays": "^4.0.1",
+    "purescript-datetime": "^3.0.0"
   }
 }

package.json

@@ -6,9 +6,9 @@
     "test": "pulp test"
   },
   "devDependencies": {
-    "pulp": "^10.0.0",
-    "purescript-psa": "^0.3.9",
-    "purescript": "^0.10.2",
-    "rimraf": "^2.5.4"
+    "pulp": "^11.0.0",
+    "purescript-psa": "^0.5.0",
+    "purescript": "^0.11.1",
+    "rimraf": "^2.6.1"
   }
 }

src/Test/StrongCheck.purs

@@ -47,7 +47,7 @@ import Test.StrongCheck.Arbitrary (class Arbitrary, arbitrary, class Coarbitrary
 import Test.StrongCheck.LCG (Seed, mkSeed) as Exports
 
 -- | A type synonym for StrongCheck effects in Eff.
-type SC eff a = Eff (console :: CONSOLE, random :: RANDOM, err :: EXCEPTION | eff) a
+type SC eff a = Eff (console :: CONSOLE, random :: RANDOM, exception :: EXCEPTION | eff) a
 
 -- | The result of a property test.
 data Result = Success | Failed String
@@ -165,7 +165,7 @@ statCheckPure s freq prop = try 100
 defState :: Seed -> GenState
 defState s = (GenState {seed: s, size: 10})
 
-check :: forall eff prop f. (Testable prop, Foldable f) => (prop -> f (Tuple Seed Result)) -> prop -> SC eff Unit
+check :: forall eff prop f. Testable prop => Foldable f => (prop -> f (Tuple Seed Result)) -> prop -> SC eff Unit
 check f prop = do
   let results = f prop
   let successes = countSuccesses results
@@ -201,7 +201,7 @@ infix 1 annotate as <?>
 
 -- | Asserts that two values are equal, resulting in a `Failure` if they are
 -- | not, with a message showing the values involved.
-assertEq :: forall a. (Eq a, Show a) => a -> a -> Result
+assertEq :: forall a. Eq a => Show a => a -> a -> Result
 assertEq a b = a == b <?> msg
   where
   msg = show a <> " /= " <> show b
@@ -210,7 +210,7 @@ infix 2 assertEq as ===
 
 -- | Asserts that two values are not equal, resulting in a `Failure` if they
 -- | are, with a message showing the values involved.
-assertNotEq :: forall a. (Eq a, Show a) => a -> a -> Result
+assertNotEq :: forall a. Eq a => Show a => a -> a -> Result
 assertNotEq a b = a /= b <?> msg
   where
   msg = show a <> " == " <> show b

src/Test/StrongCheck/Data/ArbDateTime.purs

@@ -31,9 +31,9 @@ instance arbitraryArbTime ∷ Arbitrary ArbTime where
 
 instance coarbitraryArbTime ∷ Coarbitrary ArbTime where
   coarbitrary (ArbTime t) = do
-    coarbitrary $ fromEnum (DT.hour t)
-    coarbitrary $ fromEnum (DT.minute t)
-    coarbitrary $ fromEnum (DT.second t)
+    _ <- coarbitrary $ fromEnum (DT.hour t)
+    _ <- coarbitrary $ fromEnum (DT.minute t)
+    _ <- coarbitrary $ fromEnum (DT.second t)
     coarbitrary $ fromEnum (DT.millisecond t)
 
 newtype ArbDate = ArbDate DT.Date
@@ -55,8 +55,8 @@ instance arbitraryArbDate ∷ Arbitrary ArbDate where
 
 instance coarbitraryArbDate ∷ Coarbitrary ArbDate where
   coarbitrary (ArbDate dt) = do
-    coarbitrary $ fromEnum (DT.year dt)
-    coarbitrary $ fromEnum (DT.month dt)
+    _ <- coarbitrary $ fromEnum (DT.year dt)
+    _ <- coarbitrary $ fromEnum (DT.month dt)
     coarbitrary $ fromEnum (DT.day dt)
 
 newtype ArbDateTime = ArbDateTime DT.DateTime
@@ -74,5 +74,5 @@ instance arbitraryArbDateTime ∷ Arbitrary ArbDateTime where
 
 instance coarbitraryArbDateTime ∷ Coarbitrary ArbDateTime where
   coarbitrary (ArbDateTime dt) = do
-    coarbitrary $ ArbDate (DT.date dt)
+    _ <- coarbitrary $ ArbDate (DT.date dt)
     coarbitrary $ ArbTime (DT.time dt)

src/Test/StrongCheck/Landscape.purs

@@ -109,7 +109,7 @@ sampleHere :: forall a. Perturb a => Int -> Landscape a -> Array a
 sampleHere n = (<$>) (unDriverState >>> \v -> v.value) <<< sampleHere' n
 
 -- | Moves to a location in a landscape that was previously sampled.
-moveTo :: forall a. (Eq a, Perturb a) => a -> Landscape a -> Maybe (Landscape a)
+moveTo :: forall a. Eq a => Perturb a => a -> Landscape a -> Maybe (Landscape a)
 moveTo a v = Landscape <$> moveIt a v
   where moveIt a' = force <<< L.head <<< L.filter (\v' -> (unDriverState (head v')).value == a') <<< tail <<< unLandscape
 

src/Test/StrongCheck/Perturb.purs

@@ -273,7 +273,7 @@ k0 = Math.log(maxNumber + 1.0)
 square :: Number -> Number
 square = flip Math.pow 2.0
 
-toDist :: forall f. (Foldable f, Functor f) => f Number -> Number
+toDist :: forall f. Foldable f => Functor f => f Number -> Number
 toDist xs = Math.sqrt (sum $ square <$> xs)
 
 delta :: Number -> Number -> Number