ghc-typelits-natnormalise v0.6.1 Release Notes
Release Date: 2018-05-09 // almost 6 years ago-
- Stop solving
x + y ~ a + b
by asking GHC to solvex ~ a
andy ~ b
as this leads to a situation where we find a solution that is not the most general. - Stop using the smallest solution to an inequality to solve an equality, as this leads to finding solutions that are not the most general.
- Solve smaller inequalities from larger inequalities, e.g.
1 <= 2*x
implies1 <= x
x + 2 <= y
impliesx <= y
and2 <= y
- Stop solving