Always use QuantifiedConstraints, support inductive GADTs

obsidiansystems / constraints-extras

Convenience functions and template haskell for working with constraints

http://hackage.haskell.org/package/constraints-extras

Other

9 stars 12 forks source link

Always use QuantifiedConstraints, support inductive GADTs #17

Open Ericson2314 opened 5 years ago

Ericson2314 commented 5 years ago

I put a manual instance in the README, but we could do it with TH later.

ali-abrar commented 5 years ago

Is it necessary to drop support for ghc < 86?

Ericson2314 commented 5 years ago

There might be a way, but only with copious CPP.

I like what this PR does, but it is a solution in search of a problem. I think eventually we'll want it (e.g. IV debugging constraints), but for now we can just leave open.