[Ur] typechecker rejects form handler
jasongross9 at gmail.com
Sat Jan 4 14:43:28 EST 2014
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?
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Ur