yav / type-nat-solver

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

yav/type-nat-solver Issues

Doesn't work with GHC 8.6+
Updated 5 years ago
More exposure?
Updated 7 years ago
Deriving `unsafeCoerce' using the type-nat-solver
Updated 8 years ago1
Tick-marks in type variable names crash the solver
Closed 8 years ago1
`mkNewFact` is not compatible with GHC HEAD
Closed 8 years ago2
Running out of context stack, when we should not be
Closed 9 years ago1
Panic instead of type error
Closed 9 years ago