search

compiling-to-categories / concat

Compiling to Categories
http://conal.net/papers/compiling-to-categories
BSD 3-Clause "New" or "Revised" License
437 stars 50 forks source link

Switch to quantified constraints, and eliminate entailment logic #60

Open conal opened 4 years ago

conal commented 4 years ago

Now that GHC has quantified constraints, the tedious constraint entailment logic can probably be eliminated from the implementation. See a similar conversation.

mikesperber commented 3 years ago

I should note I have a patch(-in-progress) for this for the core classes. Needs work in the plugin, however.

mikesperber commented 2 years ago

I've pushed the WIP on this here:

https://github.com/mikesperber/concat/tree/quantified-constraints

mikesperber commented 2 years ago

Note that this is awkward and requires CPP, as explained here:

https://mail.haskell.org/pipermail/haskell-cafe/2021-September/134395.html

mikesperber commented 2 years ago

ghc ticket here:

https://gitlab.haskell.org/ghc/ghc/-/issues/20318