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 solve x ~ a and y ~ 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 implies 1 <= x
      • x + 2 <= y implies x <= y and 2 <= y