<div class="gmail_quote"><div> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">So we are now looking into the possibility of adding your own error<br>


messages to GHC as our project. We have about 8 weeks to implement,<br>
either all or some proof of concept. As such we are looking for<br>
comments, ideas and suggestions. Is this doable in GHC?, or what is<br>
needed.<br></blockquote><div><br>For related work, see the publications of Bastiaan Heeren, esp. his PhD thesis. Search the following page for &quot;error:&quot;<br><br>  <a href="http://people.cs.uu.nl/bastiaan/">http://people.cs.uu.nl/bastiaan/</a><br>

<br>Regards,<br>Sean<br></div></div>