Maude-help mailing list

[Razvan Diaconescu <Razvan.Diaconescu AT ymail.com>]

Thanks a lot Santiago,

I knew this solution, but I wondered whether there is an 
alternative to this such as sort disambiguation or just something else.
And I do not understand why (m - n).Int does not work.

Best,
Razvan

> On 6 May 2018, at 13:40, Santiago Escobar 
> <sescobar AT dsic.upv.es>
>  wrote:
> 
> Best thing is to rename __ from LIST{Int} into another symbol, eg _._ or 
> _:_. 
> 
> --Santiago
> 
>> On 6 May 2018, at 11:40, 
>> <razvan.diaconescu AT ymail.com>
>>  
>> <razvan.diaconescu AT ymail.com>
>>  wrote:
>> 
>> Hi,
>> 
>> How do you solve the following ambiguity problem:
>> 
>> When working with LIST{Int} list of integers (which may
>> be a very common module to work with) I cannot find a way
>> to disambiguate m - n, where m and n are integers.
>> The system considers two parses of this,
>> as the list m (- n) and as the integer number m - n.
>> 
>> I have tried (m - n).Int and it does not work.
>> 
>> Any help is greatly appreciated.
>> 
>> Thanks,
>> Razvan Diaconescu
>