Maude-help mailing list

[Michael Katelman <katelman AT gmail.com>]

Could you post the entire source code that you are giving to Maude? I
don't see anything obviously wrong from what you've included.

-Mike

On Sat, Jan 16, 2010 at 6:30 PM, Tewodros A. Beyene 
<teddyttg AT gmail.com>
 wrote:
> Hello there, tnx for the help!!
> I just tried that.
> And the error went to the end of the module...
> ...........
> ...........................
> else(H . update B E)fi .
> endfm <---*HERE*
>
> but this is the line I have at the end...
> endfm)
>
>
> On Sun, Jan 17, 2010 at 12:52 AM, Tewodros A. Beyene 
> <teddyttg AT gmail.com>
> wrote:
>>
>> 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
>
>
>
> --
> Tewodros Awgichew Beyene
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help
>
>