maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] syntax question

From: "Ambarish Sridharanarayanan" <srdhrnry AT uiuc.edu>
To: <ethan.aubin AT pobox.com>
Cc: <maude-help AT banyan.cs.uiuc.edu>
Subject: Re: [Maude-help] syntax question
Date: Wed, 10 Dec 2003 06:57:57 -0600 (CST)
Importance: Normal
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help/>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

Ethan Aubin said:
> Hi, I've gotten full maude to load on another box at school and am
> having problems loading modules written in core syntax in full
> mode. E.g. If I wrap ()s around a functional module I get a 'No parse
> for input error'. Am I missing something from the manual? Thanks -- EA

[example snipped]

',' has to be escaped in Full Maude while it's not necessary to escape it
in Core Maude.

Rewrite the offending line as

op _`,_ : OrderedNatList OrderedNatList -> [OrderedNatList] [ctor assoc] .

'`' (the back-tick) is the escape character to be used.

--
Ambarish

[Maude-help] syntax question, Ethan Aubin, 12/08/2003
- Re: [Maude-help] syntax question, Ambarish Sridharanarayanan, 12/10/2003