search

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

Simplify everything by making Has into the class, and getting rid of … #35

Closed cgibbard closed 1 year ago

cgibbard commented 4 years ago

…the ConstraintsFor type family

int-e commented 4 years ago

I'm happy to report that lambdabot (which uses constraints-extras via dependent-sum) can still be compiled with this change.

This is kind of expected. Code that relies only on Has constraints and uses Template Haskell for deriving the instances should not break.

Ericson2314 commented 4 years ago

I don't like this change, there is fancy stuff I want to do with quantified constraints that this will break. The sort of thing I started implementing in https://github.com/obsidiansystems/constraints-extras/pull/17.

ali-abrar commented 1 year ago

@cgibbard can you resolve the conflicts? I don't care about travis, but we should make sure our CI and the actions from #50 pass.