Expand definition of gcompare to type check with simplified subsumption.

dreixel / syb

Scrap Your Boilerplate generic programming library in Haskell

Other

44 stars 23 forks source link

Closed galenhuntington closed 4 years ago

galenhuntington commented 4 years ago

Due to the implementation of simplified subsumption (https://github.com/ghc-proposals/ghc-proposals/blob/wip/spj-deep-skol/proposals/0000-simplify-subsumption.md), gcompare no longer type checks under GHC 9, and so this package fails to build. By tweaking the internal type signature and eta-expanding a bit, it can be restored.

galenhuntington commented 4 years ago

Oh, I just noticed #25, which also updates the tests.