maude-help AT lists.siebelschool.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] (no subject)

From: Steven Eker <eker AT csl.sri.com>
To: maude-help AT cs.uiuc.edu
Cc: Manel Ben <isold AT live.fr>
Subject: Re: [Maude-help] (no subject)
Date: Fri, 13 May 2011 11:36:31 -0700
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>
Organization: SRI International

I believe smods are either supported in FullMaude or an extension to
FullMaude. They are not yet implemented in CoreMaude - though a limited
version of srewrite is.

Steven

On Friday 13 May 2011 09:53:44 am Manel Ben wrote:
> hi,
>
> i'm trying to execute my strategy using smod module and when i try to load
> maude-strat.maude eclipse give me this warning
>
> Maude> Warning: no loop state.
> Warning: "maude-strat.maude", line 22087: bad token init.
> Warning: "maude-strat.maude", line 22087: no parse for term.
>
>
> where 's the problem??
>

[Maude-help] (no subject), Manel Ben, 05/04/2011
- Re: [Maude-help] (no subject), Steven Eker, 05/04/2011
- <Possible follow-up(s)>
- [Maude-help] (no subject), Manel Ben, 05/05/2011
- [Maude-help] (no subject), Manel Ben, 05/13/2011
  - Re: [Maude-help] (no subject), Steven Eker, 05/13/2011