3 ms·
Haskell actually goes to a lot of trouble to type check before desugaring. So lots of sugar, e.g list comprehensions, do get nice type error messages.
by grumpyprole 5y ago
Haskell actually goes to a lot of trouble to type check before desugaring. So lots of sugar, e.g list comprehensions, do get nice type error messages.