Merge pull request #92 from purescript/ps-0.11

Update for PureScript 0.11

.travis.yml

@@ -1,7 +1,7 @@
 language: node_js
 dist: trusty
 sudo: required
-node_js: 6
+node_js: stable
 env:
   - PATH=$HOME/purescript:$PATH
 install:

bower.json

@@ -24,12 +24,12 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-arrays": "^3.0.0",
-    "purescript-lazy": "^2.0.0",
-    "purescript-distributive": "^2.0.0",
-    "purescript-tuples": "^3.0.0"
+    "purescript-arrays": "^4.0.0",
+    "purescript-lazy": "^3.0.0",
+    "purescript-distributive": "^3.0.0",
+    "purescript-tuples": "^4.0.0"
   },
   "devDependencies": {
-    "purescript-console": "^2.0.0"
+    "purescript-console": "^3.0.0"
   }
 }

package.json

@@ -2,12 +2,12 @@
   "private": true,
   "scripts": {
     "clean": "rimraf output && rimraf .pulp-cache",
-    "build": "pulp build --censor-lib --strict",
+    "build": "pulp build -- --censor-lib --strict",
     "test": "pulp test"
   },
   "devDependencies": {
-    "pulp": "^9.0.1",
-    "purescript-psa": "^0.3.9",
-    "rimraf": "^2.5.0"
+    "pulp": "^10.0.4",
+    "purescript-psa": "^0.5.0-rc.1",
+    "rimraf": "^2.6.1"
   }
 }

src/Control/Comonad/Store/Class.purs

@@ -34,7 +34,7 @@ class Comonad w <= ComonadStore s w | w -> s where
   peek :: forall a. s -> w a -> a
 
 -- | Extract a collection of values from positions which depend on the current position.
-experiment :: forall f a w s. (ComonadStore s w, Functor f) => (s -> f s) -> w a -> f a
+experiment :: forall f a w s. ComonadStore s w => Functor f => (s -> f s) -> w a -> f a
 experiment f x = flip peek x <$> f (pos x)
 
 -- | Extract a value from a position which depends on the current position.

src/Control/Monad/State/Trans.purs

@@ -57,7 +57,7 @@ withStateT f (StateT s) = StateT (s <<< f)
 derive instance newtypeStateT :: Newtype (StateT s m a) _
 
 instance functorStateT :: Functor m => Functor (StateT s m) where
-  map f (StateT a) = StateT (\s -> map (\(Tuple b s) -> Tuple (f b) s) (a s))
+  map f (StateT a) = StateT (\s -> map (\(Tuple b s') -> Tuple (f b) s') (a s))
 
 instance applyStateT :: Monad m => Apply (StateT s m) where
   apply = ap

test/Example/Cont.purs

@@ -7,10 +7,10 @@ import Control.Monad.Eff.Class (class MonadEff, liftEff)
 import Control.Monad.Eff.Console (CONSOLE, log)
 import Control.Monad.Cont.Trans (ContT, runContT, callCC)
 
-main0 :: forall s m eff. (MonadEff (console :: CONSOLE | eff) m) => ContT s m String
+main0 :: forall s m eff. MonadEff (console :: CONSOLE | eff) m => ContT s m String
 main0 = callCC \k -> do
-  liftEff $ log "Before the continuation"
-  k "You should see this."
+  void $ liftEff $ log "Before the continuation"
+  void $ k "You should see this."
   k "You should not see this."
 
 main :: forall eff. Eff (console :: CONSOLE | eff) Unit

test/Example/StateEff.purs

@@ -30,10 +30,10 @@ push x = do
 
 testState :: forall r. Stack (console :: CONSOLE | r) Int
 testState = do
-  push 1
-  push 2
-  push 3
-  pop
+  void $ push 1
+  void $ push 2
+  void $ push 3
+  void $ pop
   pop
 
 main :: forall eff. Eff (console :: CONSOLE | eff) Unit