<div dir="ltr">As an idea to improve error messages, would it be possible to tag unification hints with where they come from, so that the error message would include something like "... constraint comes from passing 's.Text' as an argument to postfix '!'" or something?<div>

<br></div><div>-Jason</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On Sat, Jan 4, 2014 at 1:42 PM, Adam Chlipala <span dir="ltr"><<a href="mailto:adamc@csail.mit.edu" target="_blank">adamc@csail.mit.edu</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On 01/04/2014 01:02 PM, Sergey Mironov wrote:<br>
</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">
Hi. Could you please take a look at the program. Looks like<br>
typechecker is wrong here.<br>
<br></div>
[...]<br>
       case s.Text != "" of<br>
   <br>
</blockquote>
<br>
The issue here is just that [<>] is the not-equal operator in Ur, not [!=].  The line above is being parsed like<br>
    case (s.Text !) = "" of<br>
<br>
<br>
______________________________<u></u>_________________<br>
Ur mailing list<br>
<a href="mailto:Ur@impredicative.com" target="_blank">Ur@impredicative.com</a><br>
<a href="http://www.impredicative.com/cgi-bin/mailman/listinfo/ur" target="_blank">http://www.impredicative.com/<u></u>cgi-bin/mailman/listinfo/ur</a><br>
</blockquote></div><br></div>