Maude-help mailing list

[<razvan.diaconescu AT ymail.com>]

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