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

Make toNatEquality check for both types in an EqPred #4

Closed RyanGlScott closed 8 years ago

RyanGlScott commented 8 years ago

I believe this is just a typo, but currently there's a guard in toNatEquality that checks the following:

isNatKind (typeKind t1) || isNatKind (typeKind t1)

Which is the same thing twice. Shouldn't the second type be t2?

christiaanb commented 8 years ago

Good job spotting this. Thanks for the patch