Update to PureScript v0.15.0 (#141)

Author: JordanMartinez

.github/workflows/ci.yml

@@ -16,6 +16,7 @@ jobs:
       - name: Set up a PureScript toolchain
         uses: purescript-contrib/setup-purescript@main
         with:
+          purescript: "unstable"
           purs-tidy: "latest"
 
       - name: Cache PureScript dependencies
@@ -32,8 +33,17 @@ jobs:
       - name: Build source
         run: spago build --no-install --purs-args '--censor-lib --strict'
 
-      - name: Run tests
-        run: spago test --no-install
+#      - name: Run tests
+#        run: spago test --no-install
 
       - name: Check formatting
         run: purs-tidy check src test examples
+
+      - name: Verify Bower & Pulp
+        run: |
+          npm install bower [email protected]
+          npx bower install
+          npx pulp build -- --censor-lib --strict
+          if [ -d "test" ]; then
+            npx pulp test
+          fi

CHANGELOG.md

@@ -5,6 +5,8 @@ Notable changes to this project are documented in this file. The format is based
 ## [Unreleased]
 
 Breaking changes:
+- Update project and deps to PureScript v0.15.0 (#141 by @JordanMartinez)
+- Replaced polymorphic proxies with monomorphic `Proxy` (#141 by @JordanMartinez)
 
 New features:
 - Add `coerced` (#140 by @ozkutuk)

bower.json

@@ -12,29 +12,30 @@
     "url": "https://github.com/purescript-contrib/purescript-profunctor-lenses.git"
   },
   "dependencies": {
-    "purescript-arrays": "^6.0.0",
-    "purescript-bifunctors": "^5.0.0",
-    "purescript-const": "^5.0.0",
-    "purescript-control": "^5.0.0",
-    "purescript-distributive": "^5.0.0",
-    "purescript-either": "^5.0.0",
-    "purescript-foldable-traversable": "^5.0.0",
-    "purescript-foreign-object": "^3.0.0",
-    "purescript-functors": "^4.0.0",
-    "purescript-identity": "^5.0.0",
-    "purescript-lists": "^6.0.0",
-    "purescript-maybe": "^5.0.0",
-    "purescript-newtype": "^4.0.0",
-    "purescript-ordered-collections": "^2.0.0",
-    "purescript-partial": "^3.0.0",
-    "purescript-prelude": "^5.0.0",
-    "purescript-profunctor": "^5.0.0",
-    "purescript-record": "^3.0.0",
-    "purescript-transformers": "^5.0.0",
-    "purescript-tuples": "^6.0.0"
+    "purescript-arrays": "master",
+    "purescript-bifunctors": "master",
+    "purescript-const": "master",
+    "purescript-control": "master",
+    "purescript-distributive": "master",
+    "purescript-either": "master",
+    "purescript-foldable-traversable": "master",
+    "purescript-foreign-object": "master",
+    "purescript-functors": "master",
+    "purescript-identity": "master",
+    "purescript-lists": "master",
+    "purescript-maybe": "master",
+    "purescript-newtype": "master",
+    "purescript-ordered-collections": "master",
+    "purescript-partial": "master",
+    "purescript-prelude": "master",
+    "purescript-profunctor": "master",
+    "purescript-record": "master",
+    "purescript-transformers": "master",
+    "purescript-tuples": "master"
   },
   "devDependencies": {
-    "purescript-console": "^5.0.0",
-    "purescript-effect": "^3.0.0"
+    "purescript-console": "master",
+    "purescript-effect": "master",
+    "purescript-assert": "master"
   }
 }

packages.dhall

@@ -1,4 +1,4 @@
 let upstream =
-      https://github.com/purescript/package-sets/releases/download/psc-0.14.5-20211116/packages.dhall sha256:7ba810597a275e43c83411d2ab0d4b3c54d0b551436f4b1632e9ff3eb62e327a
+      https://raw.githubusercontent.com/purescript/package-sets/prepare-0.15/src/packages.dhall
 
 in  upstream

spago.dhall

@@ -20,7 +20,6 @@
   , "partial"
   , "prelude"
   , "profunctor"
-  , "psci-support"
   , "record"
   , "safe-coerce"
   , "transformers"

src/Data/Lens/Record.purs

@@ -6,6 +6,7 @@ import Data.Lens (Lens, lens)
 import Data.Symbol (class IsSymbol)
 import Prim.Row as Row
 import Record (get, set)
+import Type.Proxy (Proxy)
 
 -- | Construct a (type-changing) lens for a record property, by providing a
 -- | proxy for the `Symbol` which corresponds to the property label.
@@ -19,10 +20,10 @@ import Record (get, set)
 -- |   :: forall a b r. Lens { foo :: a | r } { foo :: b | r } a b
 -- | ```
 prop
-  :: forall l r1 r2 r a b proxy
+  :: forall l r1 r2 r a b
    . IsSymbol l
   => Row.Cons l a r r1
   => Row.Cons l b r r2
-  => proxy l
+  => Proxy l
   -> Lens (Record r1) (Record r2) a b
 prop l = lens (get l) (flip (set l))