Changelog
0.7.3.0
- Supports GHC 9.8
- Drops support for GHC <9
0.7.2.0
0.7.1.0
- Proper Support of GHC 9.4 (Now can solve
Assert
properly)
0.7.0.0
- Support GHC 9.4
- The plugin can solve constraints involving type-level
Assert
, Not
, (&&)
, (||)
, and/or If
from new base.
0.6.0.0
- Stop discharging redundant constraints
- Support GHC 9.0.1
- Drop a support for GHC <8.6
0.4.0.0
- Fixes constraint solving (fixes #9); this may change the previous (unsound) behaviour, and hence it is breaking change.
0.3.0.1
0.3.0.0
- Initial release: separated singletons support from
ghc-typelits-presburger