Doesn't work with GHC 8.6+

yav / type-nat-solver

A plugin for solving numeric constraints in GHC's type-checker

Other

50 stars 5 forks source link

Doesn't work with GHC 8.6+ #11

Open apaszke opened 5 years ago

apaszke commented 5 years ago

Thanks for writing that, it looks really cool!

Unfortunately, I cannot play the plugin because assumes availability of GHC APIs like the TypeMap, which is not available in new versions. I'm not sure if there are any easy replacements, but it would be great to have a package like that for newer versions.