search

yav / type-nat-solver

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

Fixed loop in 7.10 #8

Closed plaidfinch closed 8 years ago

plaidfinch commented 8 years ago

Sadly, it seems like we need a bit of CPP to patch over the API change between versions of GHC.