That is fantastic news. Very nice to know that the project is alive and
with aims to produce tangible results.
As Felipe said, please ping your advances there. To add some estimated
dates would be fantastic.
2014-11-24 17:37 GMT+01:00 Felipe Lessa
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
-- Alberto.