Eta-expand definitions to type check with simplified subsumption.

snowleopard / selective

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

MIT License

202 stars 21 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), these two functions no longer type check under GHC 9, and so this package fails to build. The solution is simple: eta-expand their definitions.

snowleopard commented 4 years ago

@galenhuntington Many thanks for the PR! It's great to be ready for GHC 9 :)

mithrandi commented 3 years ago

GHC 9 is out; can we get a release? :smile:

snowleopard commented 3 years ago

@mithrandi Sure, I'll make a release soon. Just need to set up some CI for testing builds with GHC 9.0 first.

snowleopard commented 3 years ago