yav / type-nat-solver

A plugin for solving numeric constraints in GHC's type-checker
Other
50 stars 5 forks source link

fix imports to work with GHC 8.10 #12

Open cumber opened 3 years ago

cumber commented 3 years ago

I also ended up taking out the conditional imports to support GHC 7.10, since with the rearranged GHC APΙ imports it definitely wouldn't anymore. If I identified the point where the changes happend between 8.0 and 8.10, could probably maintain support for all versions in between.

The tests pass, so hopefully that means it still works?

Fixes #11