maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [[Maude-help] ] ambiguity in lists of integers

From: Santiago Escobar <sescobar AT dsic.upv.es>
To: razvan.diaconescu AT ymail.com
Cc: maude-help AT lists.cs.illinois.edu
Subject: Re: [[Maude-help] ] ambiguity in lists of integers
Date: Sun, 6 May 2018 12:40:50 +0200
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=sescobar AT dsic.upv.es; dkim=pass header.d=upv.es header.s=default; dmarc=none
Dkim-filter: OpenDKIM Filter v2.11.0 smtpsalv.upv.es w46AeqFK005092

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

[[Maude-help] ] ambiguity in lists of integers, razvan.diaconescu, 05/06/2018
- Re: [[Maude-help] ] ambiguity in lists of integers, Santiago Escobar, 05/06/2018
  - Re: [[Maude-help] ] ambiguity in lists of integers, Razvan Diaconescu, 05/06/2018
    - Re: [[Maude-help] ] ambiguity in lists of integers, Santiago Escobar, 05/06/2018
      - Re: [[Maude-help] ] ambiguity in lists of integers, Razvan Diaconescu, 05/06/2018
        
        Re: [[Maude-help] ] ambiguity in lists of integers, Julia Sapiña Sanchis, 05/06/2018
        
        Re: [[Maude-help] ] ambiguity in lists of integers, Paco Durán, 05/06/2018
        
        Re: [[Maude-help] ] ambiguity in lists of integers, Razvan Diaconescu, 05/06/2018