Merge pull request #37 from JordanMartinez/updateTo14

Update to v0.14.0-rc3

Author: hdgarrood

.travis.yml

@@ -5,7 +5,8 @@ node_js: stable
 env:
   - PATH=$HOME/purescript:$PATH
 install:
-  - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
+  # - TAG=$(basename $(curl --location --silent --output /dev/null -w %{url_effective} https://github.com/purescript/purescript/releases/latest))
+  - TAG=v0.14.0-rc3
   - curl --location --output $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

bower.json

@@ -17,12 +17,12 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-prelude": "^4.0.0",
-    "purescript-tailrec": "^4.0.0",
-    "purescript-partial": "^2.0.0",
-    "purescript-unsafe-coerce": "^4.0.0"
+    "purescript-prelude": "master",
+    "purescript-tailrec": "master",
+    "purescript-partial": "master",
+    "purescript-unsafe-coerce": "master"
   },
   "devDependencies": {
-    "purescript-console": "^4.0.0"
+    "purescript-console": "master"
   }
 }

package.json

@@ -8,7 +8,7 @@
   "devDependencies": {
     "eslint": "^4.19.1",
     "pulp": "^15.0.0",
-    "purescript-psa": "^0.6.0",
+    "purescript-psa": "^0.8.0",
     "rimraf": "^2.6.2"
   }
 }

src/Control/Monad/ST.purs

@@ -1,3 +1,3 @@
 module Control.Monad.ST (module Internal) where
 
-import Control.Monad.ST.Internal (ST, kind Region, run, while, for, foreach) as Internal
+import Control.Monad.ST.Internal (ST, Region, run, while, for, foreach) as Internal

src/Control/Monad/ST/Global.purs

@@ -5,7 +5,7 @@ module Control.Monad.ST.Global
 
 import Prelude
 
-import Control.Monad.ST (ST, kind Region)
+import Control.Monad.ST (ST, Region)
 import Effect (Effect)
 import Unsafe.Coerce (unsafeCoerce)
 

src/Control/Monad/ST/Internal.purs

@@ -1,5 +1,5 @@
 module Control.Monad.ST.Internal
-  ( kind Region
+  ( Region
   , ST
   , run
   , while
@@ -21,7 +21,7 @@ import Partial.Unsafe (unsafePartial)
 -- | `ST` is concerned with _restricted_ mutation. Mutation is restricted to a
 -- | _region_ of mutable references. This kind is inhabited by phantom types
 -- | which represent regions in the type system.
-foreign import kind Region
+foreign import data Region :: Type
 
 -- | The `ST` type constructor allows _local mutation_, i.e. mutation which
 -- | does not "escape" into the surrounding computation.
@@ -32,6 +32,8 @@ foreign import kind Region
 -- | The `run` function can be used to run a computation in the `ST` monad.
 foreign import data ST :: Region -> Type -> Type
 
+type role ST nominal representational
+
 foreign import map_ :: forall r a b. (a -> b) -> ST r a -> ST r b
 
 foreign import pure_ :: forall r a. a -> ST r a
@@ -102,6 +104,8 @@ foreign import foreach :: forall r a. Array a -> (a -> ST r Unit) -> ST r Unit
 -- | type `a`, which can be used with the `ST r` effect.
 foreign import data STRef :: Region -> Type -> Type
 
+type role STRef nominal representational
+
 -- | Create a new mutable reference.
 foreign import new :: forall a r. a -> ST r (STRef r a)