<div dir="ltr"><div>That is fantastic news. Very nice to know that the project is alive and with aims to produce tangible results.<br><br></div>As Felipe said, please ping your advances there. To add some estimated dates would be fantastic.<br></div><div class="gmail_extra"><br><div class="gmail_quote">2014-11-24 17:37 GMT+01:00 Felipe Lessa <span dir="ltr"><<a href="mailto:felipe.lessa@gmail.com" target="_blank">felipe.lessa@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On 24-11-2014 06:27, Alejandro Serrano Mena wrote:<br>
> At Utrecht University we are currently tackling this problem, in the<br>
> form of the DOMain Specific Type Error Diagnosis (DOMSTED) Project [1].<br>
> So at least we have one person (me) working full-time on it, plus my<br>
> supervisor Jurriaan Hage, which had already worked in a similar project<br>
> for Haskell 98 which produced the Helium [2] compiler.<br>
> We are slowly building step towards a nice way to create domain specific<br>
> error messages, and we expect to have some nice results soon :)<br>
> Of course, if you have any ideas on how to improve error messages, feel<br>
> free to contact me :)<br>
<br>
</span>It would be nice if you could ping relevant issues (such as [1]) stating<br>
that you're researching on this topic.<br>
<br>
Cheers,<br>
<br>
[1] <a href="https://ghc.haskell.org/trac/ghc/ticket/7870" target="_blank">https://ghc.haskell.org/trac/ghc/ticket/7870</a><br>
<span class="HOEnZb"><font color="#888888"><br>
--<br>
Felipe.<br>
<br>
</font></span><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br><br clear="all"><br>-- <br><div class="gmail_signature">Alberto.</div>
</div>