clash-lang / ghc-typelits-extra

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

Copy-Paste error in GHC/TypeLits/Extra/Solver/Operations.hs #8

Closed SkorikGG closed 7 years ago

SkorikGG commented 7 years ago

In function mergeLCM copy-paste error in line mergeLCM x y = GCD x y. Now LCM m n ~ GCD m n.

christiaanb commented 7 years ago

Thanks for the report, it's fixed now