Update to purs 0.15.10 (#481)

* Update to purs-0.15.10 * Update usages of ForAll * Update license file * Update changelog * Explicitly note that VTA-search not supported
purescript · Jul 19, 2023 · ea6a220 · ea6a220
1 parent 8d490b9
commit ea6a220
Show file tree

Hide file tree

Showing 7 changed files with 94 additions and 89 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,10 @@ the most up-to-date version of this file.
 
 ## Unreleased
 
+## v0.9.8
+
+- Update PureScript to `0.15.10` (@JordanMartinez)
+
 ## v0.9.7
 
 - Update Pursuit version in `pursuit.cabal` (@JordanMartinez)

diff --git a/LICENSE b/LICENSE
diff --git a/pursuit.cabal b/pursuit.cabal
@@ -1,5 +1,5 @@
 name:              pursuit
-version:           0.9.7
+version:           0.9.8
 cabal-version:     >= 1.8
 build-type:        Simple
 license:           MIT
@@ -102,7 +102,7 @@ library
                  , containers
                  , vector
                  , time
-                 , purescript ==0.15.8
+                 , purescript ==0.15.10
                  , bower-json
                  , blaze-builder
                  , blaze-markup

diff --git a/src/SearchIndex.hs b/src/SearchIndex.hs
@@ -409,8 +409,8 @@ compareTypes type1 type2 =
 -- a' or 'f a b'.
   go (P.TypeApp _ a b) (P.TypeApp _ c d)
     | not (isFunction a) || isFunction c = (+) <$> go a c <*> go b d
-  go (P.ForAll _ _ _ t1 _) t2 = go t1 t2
-  go t1 (P.ForAll _ _ _ t2 _) = go t1 t2
+  go (P.ForAll _ _ _ _ t1 _) t2 = go t1 t2
+  go t1 (P.ForAll _ _ _ _ t2 _) = go t1 t2
   go (P.ConstrainedType _ _ t1) t2 = go t1 t2
   go t1 (P.ConstrainedType _ _ t2) = go t1 t2
   go (P.REmpty _) (P.REmpty _) = pure 0
@@ -458,7 +458,7 @@ isFunction _ = False
 
 typeComplexity :: D.Type' -> Int
 typeComplexity (P.TypeApp _ a b) = 1 + typeComplexity a + typeComplexity b
-typeComplexity (P.ForAll _ _ _ t _) = 1 + typeComplexity t
+typeComplexity (P.ForAll _ _ _ _ t _) = 1 + typeComplexity t
 typeComplexity (P.ConstrainedType _ _ t) = typeComplexity t + 1
 typeComplexity (P.REmpty _) = 0
 typeComplexity (P.RCons _ _ t r) = 1 + typeComplexity t + typeComplexity r

diff --git a/stack.yaml b/stack.yaml
@@ -12,7 +12,7 @@ extra-deps:
   - bytestring-trie-0.2.7@sha256:f78e9d1dba699ce56080824693787918e9e8904db99d04d3470941420b1dd3ed,9010
   - classy-prelude-yesod-1.5.0
   - language-javascript-0.7.0.0
-  - purescript-0.15.8
+  - purescript-0.15.10
   - monoidal-containers-0.6.2.0
   - protolude-0.3.1
   - process-1.6.13.1

diff --git a/stack.yaml.lock b/stack.yaml.lock
@@ -37,12 +37,12 @@ packages:
   original:
     hackage: language-javascript-0.7.0.0
 - completed:
-    hackage: purescript-0.15.8@sha256:5d7c19e5a49f83acbe8ecc43bf93feb0e075bb11992df9b83af4467aea0bf41d,21427
+    hackage: purescript-0.15.10@sha256:6c618dcf9d3bbea21b01df1203be16dd9fb0f2fa2ab8f5d2e70a409e3f082bdf,21378
     pantry-tree:
-      sha256: 79dde609e3b525e30234fd76b0901f72d48dea47a879d547864d959f85b81760
-      size: 156457
+      sha256: c1d3679420eddf6702b1c0c2f60be4bd79c11e5d1f18f9e0d8d3dc537816740c
+      size: 157366
   original:
-    hackage: purescript-0.15.8
+    hackage: purescript-0.15.10
 - completed:
     hackage: monoidal-containers-0.6.2.0@sha256:97289baf716f22fdae04b4fcbee066453d2f4c630ef3f631aeeab61ee713841e,2309
     pantry-tree:

diff --git a/static/help-docs/users.md b/static/help-docs/users.md
@@ -67,6 +67,9 @@ When searching by name, an entry in Pursuit's database is considered to be a
 match if the query is a prefix of its name. For example, "con" matches "const"
 but "cosnt" does not. (This may change in the future.)
 
+Currently, searching for **visible type applications** (e.g. `forall @a. a -> a`)
+is not currently supported.
+
 Currently, documentation comments are not included in the search index. This
 means that, for example, if you search for "Kleisli", there are no results,
 even though the documentation for [`Star`][] mentions that this type is also