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 <[email protected]> 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 > [email protected] > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur >
_______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
