[Ur] typechecker rejects form handler

[Adam Chlipala]

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