[Ur] XML unification problem

[Adam Chlipala]

On 08/09/2013 08:32 AM, Sergey Mironov wrote:
> 2013/8/9 Adam Chlipala<adamc at csail.mit.edu>:
>    
>> You probably just need to add a full type annotation on [reload]. Ur
>> necessarily has incomplete type inference, since the full problem is
>> undecidable.
>>      
>
> No, it didn't help..

To be clear, I mean a type annotation on the formal parameter itself in 
the .ur file, not a full type at the function level in the .urs file, 
though the latter is good to have, too.

> By the
> way, I had to remove 'datatype lang = Ru | En' from the design since
> it is not visible from main.ur if moved to main.urs.
>    

In general, you need to duplicate the [datatype] declaration between the 
two files in such cases, just like in ML.