[Ur] typechecker rejects form handler

[Jason Gross]

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?

-Jason


On Sat, Jan 4, 2014 at 1:42 PM, Adam Chlipala <adamc at csail.mit.edu> wrote:

> On 01/04/2014 01:02 PM, Sergey Mironov wrote:
>
>> Hi. Could you please take a look at the program. Looks like
>> typechecker is wrong here.
>>
>> [...]
>>        case s.Text != "" of
>>
>>
>
> The issue here is just that [<>] is the not-equal operator in Ur, not
> [!=].  The line above is being parsed like
>     case (s.Text !) = "" of
>
>
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.impredicative.com/pipermail/ur/attachments/20140104/f11787f5/attachment.html>