maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] A help on some error code

From: "Tewodros A. Beyene" <teddyttg AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] A help on some error code
Date: Sun, 17 Jan 2010 00:52:03 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Dear all,

I am getting this message while I was trying to run a module in full maude.
"Warning: Parse error in fmod PTABLE[<---*HERE* "
In my code,
PTABLE is defined in the line like this...
         (fmod PTABLE[Y::THPTABLE] is
                .......
          endfm)
while THPTABLE is a theory I defined before it.
Its showing me the message above...Can you tell me what the possible problem could be??

Regards,

Tewodros A. Beyene

[Maude-help] A help on some error code, Tewodros A. Beyene, 01/16/2010
- Re: [Maude-help] A help on some error code, Michael Katelman, 01/16/2010
- Re: [Maude-help] A help on some error code, Tewodros A. Beyene, 01/16/2010
  - Re: [Maude-help] A help on some error code, Michael Katelman, 01/16/2010