[Haskell-cafe] Domain specific error messages

Daniel Trstenjak daniel.trstenjak at gmail.com
Fri Feb 6 11:22:42 UTC 2015

Hi Richard,

> The errors generated by tiny misuses of this package are disastrous.
> But, figuring out what went wrong from an error message would still be hard,
> even as a plugin.

Yes, it also feels a bit too heuristically and if GHC changes,
extensions get added or just activated, then the type errors might
change and the heuristics break.

> Instead, it would be much better if extra checks were put in place
> during typechecking; if these checks fail, then the errors are easier
> to diagnose.

Yes, this seems like a more stable approach.


More information about the Haskell-Cafe mailing list