Merge pull request #9 from slamdata/compiler/0.12

Compiler/0.12

Author: garyb

.travis.yml

@@ -2,7 +2,13 @@ language: node_js
 dist: trusty
 sudo: required
 node_js: stable
+env:
+  - PATH=$HOME/purescript:$PATH
 install:
+  - TAG=$(wget -q -O - https://github.com/purescript/purescript/releases/latest --server-response --max-redirect 0 2>&1 | sed -n -e 's/.*Location:.*tag\///p')
+  - wget -O $HOME/purescript.tar.gz https://github.com/purescript/purescript/releases/download/$TAG/linux64.tar.gz
+  - tar -xvf $HOME/purescript.tar.gz -C $HOME/
+  - chmod a+x $HOME/purescript
   - npm install -g bower
   - npm install
   - bower install

bower.json

@@ -15,6 +15,6 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-aff": "^4.0.0"
+    "purescript-aff": "^5.0.0"
   }
 }

package.json

@@ -5,9 +5,8 @@
     "build": "pulp build -- --censor-lib --strict"
   },
   "devDependencies": {
-    "pulp": "^11.0.0",
-    "purescript": "^0.11.1",
-    "purescript-psa": "^0.5.0",
-    "rimraf": "^2.5.4"
+    "pulp": "^12.2.0",
+    "purescript-psa": "^0.6.0",
+    "rimraf": "^2.6.2"
   }
 }

src/Control/Monad/Fork/Class.purs

@@ -18,7 +18,7 @@ module Control.Monad.Fork.Class where
 
 import Prelude hiding (join)
 
-import Control.Monad.Aff as Aff
+import Effect.Aff as Aff
 import Control.Monad.Error.Class (class MonadThrow, class MonadError)
 import Control.Monad.Reader.Trans (ReaderT(..), runReaderT)
 import Control.Monad.Trans.Class (lift)
@@ -45,7 +45,7 @@ class (Monad m, Functor f) ⇐ MonadFork f m | m → f where
   fork ∷ ∀ a. m a → m (f a)
   join ∷ ∀ a. f a → m a
 
-instance monadForkAff ∷ MonadFork (Aff.Fiber eff) (Aff.Aff eff) where
+instance monadForkAff ∷ MonadFork Aff.Fiber Aff.Aff where
   suspend = Aff.suspendAff
   fork = Aff.forkAff
   join = Aff.joinFiber
@@ -69,7 +69,7 @@ instance monadForkReaderT ∷ MonadFork f m ⇒ MonadFork f (ReaderT r m) where
 class (MonadFork f m, MonadThrow e m) ⇐  MonadKill e f m | m → e f where
   kill ∷ ∀ a. e → f a → m Unit
 
-instance monadKillAff ∷ MonadKill Aff.Error (Aff.Fiber eff) (Aff.Aff eff) where
+instance monadKillAff ∷ MonadKill Aff.Error Aff.Fiber Aff.Aff where
   kill = Aff.killFiber
 
 instance monadKillReaderT ∷ MonadKill e f m ⇒ MonadKill e f (ReaderT r m) where
@@ -101,7 +101,7 @@ class (MonadKill e f m, MonadError e m) ⇐ MonadBracket e f m | m → e f where
   uninterruptible ∷ ∀ a. m a → m a
   never ∷ ∀ a. m a
 
-instance monadBracketAff ∷ MonadBracket Aff.Error (Aff.Fiber eff) (Aff.Aff eff) where
+instance monadBracketAff ∷ MonadBracket Aff.Error Aff.Fiber Aff.Aff where
   bracket acquire release run =
     Aff.generalBracket acquire
       { completed: release <<< Completed