Update to v0.14.0-rc3 (#35)

* Add roles declarations to forbid unsafe coercions

* fix: Fix `Foldable1 NonEmptySet` instance

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

Co-authored-by: Cyril Sobierajewicz <[email protected]>
Co-authored-by: Serhii Khoma <[email protected]>

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

@@ -16,23 +16,23 @@
     "package.json"
   ],
   "dependencies": {
-    "purescript-arrays": "^5.0.0",
-    "purescript-foldable-traversable": "^4.0.0",
-    "purescript-gen": "^2.0.0",
-    "purescript-lists": "^5.2.0",
-    "purescript-maybe": "^4.0.0",
-    "purescript-partial": "^2.0.0",
-    "purescript-prelude": "^4.0.0",
-    "purescript-st": "^4.0.0",
-    "purescript-tailrec": "^4.0.0",
-    "purescript-tuples": "^5.0.0",
-    "purescript-unfoldable": "^4.0.0",
-    "purescript-unsafe-coerce": "^4.0.0"
+    "purescript-arrays": "master",
+    "purescript-foldable-traversable": "master",
+    "purescript-gen": "master",
+    "purescript-lists": "master",
+    "purescript-maybe": "master",
+    "purescript-partial": "master",
+    "purescript-prelude": "master",
+    "purescript-st": "master",
+    "purescript-tailrec": "master",
+    "purescript-tuples": "master",
+    "purescript-unfoldable": "master",
+    "purescript-unsafe-coerce": "master"
   },
   "devDependencies": {
-    "purescript-quickcheck": "^6.0.0",
-    "purescript-minibench": "^2.0.0",
-    "purescript-console": "^4.0.0",
-    "purescript-assert": "^4.0.0"
+    "purescript-quickcheck": "master",
+    "purescript-minibench": "master",
+    "purescript-console": "master",
+    "purescript-assert": "master"
   }
 }

package.json

@@ -11,7 +11,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/Data/Map/Internal.purs

@@ -69,6 +69,8 @@ data Map k v
   | Two (Map k v) k v (Map k v)
   | Three (Map k v) k v (Map k v) k v (Map k v)
 
+type role Map nominal representational
+
 -- Internal use
 toAscArray :: forall k v. Map k v -> Array (Tuple k v)
 toAscArray = toUnfoldable

src/Data/Set/NonEmpty.purs

@@ -33,7 +33,7 @@ import Data.List as List
 import Data.List.NonEmpty (NonEmptyList)
 import Data.Maybe (Maybe(..), fromJust)
 import Data.Ord (class Ord1)
-import Data.Semigroup.Foldable (class Foldable1, foldMap1)
+import Data.Semigroup.Foldable (class Foldable1, foldMap1, foldr1, foldl1)
 import Data.Set (Set)
 import Data.Set as Set
 import Data.Tuple (Tuple(..))
@@ -53,6 +53,8 @@ derive newtype instance foldableNonEmptySet :: Foldable NonEmptySet
 instance foldable1NonEmptySet :: Foldable1 NonEmptySet where
   foldMap1 f = foldMap1 f <<< (toUnfoldable1 :: forall a. NonEmptySet a -> NonEmptyList a)
   fold1 = foldMap1 identity
+  foldr1 f = foldr1 f <<< (toUnfoldable1 :: forall a. NonEmptySet a -> NonEmptyList a)
+  foldl1 f = foldl1 f <<< (toUnfoldable1 :: forall a. NonEmptySet a -> NonEmptyList a)
 
 instance showNonEmptySet :: Show a => Show (NonEmptySet a) where
   show s = "(fromFoldable1 " <> show (toUnfoldable1 s :: NonEmptyList a) <> ")"