Update to v0.14.0-rc3 (#66)

* Update library to compile on 0.14.0 PS release

* Add roles declarations to allow safe coercions

* Update TAG to v0.14.0-rc3; dependencies to master; psa to v0.8.0

Co-authored-by: Jordan Martinez <jordanalex.martinez@gmail.com>
Co-authored-by: Cyril Sobierajewicz <sobierajewicz.cyril@gmail.com>

Author: 3 people

.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-functions": "^4.0.0",
-    "purescript-prelude": "^4.1.0",
-    "purescript-st": "^4.0.0",
-    "purescript-unsafe-coerce": "^4.0.0"
+    "purescript-functions": "master",
+    "purescript-prelude": "master",
+    "purescript-st": "master",
+    "purescript-unsafe-coerce": "master"
   },
   "devDependencies": {
-    "purescript-assert": "^4.0.0"
+    "purescript-assert": "master"
   }
 }

package.json

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

src/Record.purs

@@ -19,7 +19,7 @@ import Prelude
 import Data.Function.Uncurried (runFn2)
 import Data.Symbol (class IsSymbol, SProxy(..), reflectSymbol)
 import Prim.Row (class Lacks, class Cons, class Nub, class Union)
-import Prim.RowList (class RowToList, kind RowList, Cons, Nil)
+import Prim.RowList (class RowToList, RowList, Cons, Nil)
 import Record.Unsafe (unsafeGet, unsafeSet, unsafeDelete)
 import Record.Unsafe.Union (unsafeUnionFn)
 import Type.Data.RowList (RLProxy(..))
@@ -223,7 +223,7 @@ equal
   -> Boolean
 equal a b = equalFields (RLProxy :: RLProxy rs) a b
 
-class EqualFields (rs :: RowList) (row :: # Type) | rs -> row where
+class EqualFields (rs :: RowList Type) (row :: Row Type) | rs -> row where
   equalFields :: RLProxy rs -> Record row -> Record row -> Boolean
 
 instance equalFieldsCons

src/Record/ST.purs

@@ -9,15 +9,17 @@ module Record.ST
 
 import Prelude
 
-import Control.Monad.ST (ST, kind Region)
+import Control.Monad.ST (ST, Region)
 import Data.Symbol (class IsSymbol, SProxy, reflectSymbol)
 import Prim.Row as Row
 
 -- | A value of type `STRecord h r` represents a mutable record with fields `r`,
 -- | belonging to the state thread `h`.
 -- |
 -- | Create values of type `STRecord` using `thaw`.
-foreign import data STRecord :: Region -> # Type -> Type
+foreign import data STRecord :: Region -> Row Type -> Type
+
+type role STRecord nominal representational
 
 -- | Freeze a mutable record, creating a copy.
 foreign import freeze :: forall h r. STRecord h r -> ST h (Record r)