[Ur] XML unification problem

[Adam Chlipala]

On 08/09/2013 07:04 AM, Sergey Mironov wrote:
> Code below (and here [1]) triggers XML unification error (at the
> bottom) which I can't understand. However, the code can be compiled if
> one remove second (or first) call to 'reload<lang>'.
>
> [...]
>
> and template reload (l:lang) =
>     <xml>
>       [...]
>         {reload Ru}
>    

You probably just need to add a full type annotation on [reload].  Ur 
necessarily has incomplete type inference, since the full problem is 
undecidable.

I'm still planning to look into your previous issue.