search

tweag / capability

Extensional capabilities and deriving combinators
BSD 3-Clause "New" or "Revised" License
214 stars 9 forks source link

Fix the visible type arguments of proxy# #87

Closed aspiwack closed 3 years ago

aspiwack commented 3 years ago

Visibility of the kind argument changed in https://gitlab.haskell.org/ghc/ghc/-/commit/012257c15f584069500af2953ab70856f9a1470e .

This makes capability compatible with GHC 8.10 .

We still need to change the dependencies to be recent enough.