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.