clash-lang/ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
HaskellNOASSERTION
Issues
- 2
- 0
Plugin loops between two unknowns
#30 opened by christiaanb - 0
Infinite loop in the solver
#29 opened by basile-henry - 8
Type equality constraints aren't used by solver
#13 opened by gergoerdi - 1
Using the solver seems to break GHC
#28 opened by kozross - 1
- 1
- 2
- 1
Inferred constraint is too strong
#19 opened by andygill - 3
Compilation flag to build without singletons
#15 opened by int-index - 3
KnownNatN instances are unsafe (in some cases).
#12 opened by nshepperd - 1
- 4
Limited forms of subtraction
#2 opened by ggreif