On 24-11-2014 06:27, Alejandro Serrano Mena wrote:
> At Utrecht University we are currently tackling this problem, in the
> form of the DOMain Specific Type Error Diagnosis (DOMSTED) Project [1].
> So at least we have one person (me) working full-time on it, plus my
> supervisor Jurriaan Hage, which had already worked in a similar project
> for Haskell 98 which produced the Helium [2] compiler.
> We are slowly building step towards a nice way to create domain specific
> error messages, and we expect to have some nice results soon :)
> Of course, if you have any ideas on how to improve error messages, feel
> free to contact me :)

It would be nice if you could ping relevant issues (such as [1]) stating
that you're researching on this topic.

Cheers,

[1] https://ghc.haskell.org/trac/ghc/ticket/7870

--
Felipe.


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe