Default constraintKindArgs to an empty list (#430)

purescript · Jan 21, 2021 · d0d0b09 · d0d0b09
1 parent 1e76c8b
commit d0d0b09
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/pursuit.cabal b/pursuit.cabal
@@ -1,5 +1,5 @@
 name:              pursuit
-version:           0.8.1
+version:           0.8.2
 cabal-version:     >= 1.8
 build-type:        Simple
 license:           MIT

diff --git a/src/SearchIndex.hs b/src/SearchIndex.hs
@@ -277,8 +277,7 @@ extractChildDeclarationType declTitle declInfo cdeclInfo =
             , P.constraintArgs = map (P.TypeVar () . fst) args
             , P.constraintData = Nothing
             , P.constraintAnn = ()
-              -- TODO: Verify that defaulting to `kindType` works
-            , P.constraintKindArgs = map (fromMaybe (P.kindType $> ()) . snd) args
+            , P.constraintKindArgs = []
             }
         in
           Just (addConstraint constraint ty)