clash-lang / ghc-typelits-extra

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

Handle unicode in error message in a simpler way #13

Closed leonschoorl closed 5 years ago

leonschoorl commented 6 years ago

The handling of possible unicode quotes in the error messages is complex and error prone. (For example currently testFail23 will fail it's test when your locale has no unicode support.)

To sidestep this issue, I just filter out all the offending quote characters and compare what's left.