Maude-help mailing list

[Santiago Escobar <sescobar AT dsic.upv.es>]

A very simple solution is m (- n) for list and m (-) n for integer. 

--Santiago

> On 6 May 2018, at 12:54, Razvan Diaconescu 
> <Razvan.Diaconescu AT ymail.com>
>  wrote:
> 
> 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
>> 
>