Try and outright solve substituted constraint

clash-lang / ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

Other

43 stars 15 forks source link

Closed rowanG077 closed 1 year ago

rowanG077 commented 2 years ago

Partially Fixes #65.

Now it can solve the 1 <= b constraint but it now requires a KnownNat b constraint. This is going wrong in the ghc-typelits-knownnat solver.

rowanG077 commented 1 year ago

@christiaanb @martijnbastiaan I have rebased this PR.

martijnbastiaan commented 1 year ago

@christiaanb ?