maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Question concerning operator overloading

From: Martin Neuhaeusser <martin AT weh.RWTH-Aachen.de>
To: maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: Re: [Maude-help] Question concerning operator overloading
Date: Sun, 25 Jul 2004 11:20:06 +0200
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Hi!

Thank you very much for your quick and comprehensive answers.

After modifying the operator declarations slightly (for example by
defining a three-ary operator for the function definition), we were
able to solve the ambiguities. The parsing process now works fine
even on the meta-level with the loop-mode interface.

Thank you again,
Martin Neuhaeusser

--
\|||/
(o o)
---------ooO-(_)-Ooo---------

Martin Neuhaeusser Tel. : +49 241 9973278
Ruetscher Strasse 165 Mobil : +49 172 8966488
52072 Aachen, Germany GnuPG : 0x16FDB298

[Maude-help] Question concerning operator overloading, Martin Neuhaeusser, 07/06/2004
- Re: [Maude-help] Question concerning operator overloading, Steven Eker, 07/06/2004
  - Re: [Maude-help] Question concerning operator overloading, Francisco Duran, 07/09/2004
    - Re: [Maude-help] Question concerning operator overloading, Martin Neuhaeusser, 07/25/2004