search

clash-lang / ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver
Other
16 stars 9 forks source link

Fix type error after `isNatural` change #18

Closed jonfowler closed 5 years ago

jonfowler commented 5 years ago

This fixes a type error after isNatural changed in ghc-typelits-natnormalise. It is not the prettiest fix (would probably be better to generalise normaliseNat to work for arbitrary transformer monads but that would require a change to natnormalise i.e. normaliseNat :: forall m . Monad m => .. -> WriterT _ m _).

martijnbastiaan commented 5 years ago

We can't just ignore the second part of the tuple, as it indicates which constraints need to be true in order for the given constraint to be true. I'll see if I can fix this.

christiaanb commented 5 years ago

Closing in favour of #21