maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Mutually dependent functional modules

From: Francisco Durán <duran AT lcc.uma.es>
To: "Morandi Benjamin" <benjamin.morandi AT inf.ethz.ch>
Cc: "maude-help AT cs.uiuc.edu" <maude-help AT cs.uiuc.edu>
Subject: Re: [Maude-help] Mutually dependent functional modules
Date: Tue, 18 Oct 2011 16:51:31 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help>
List-id: <maude-help.cs.uiuc.edu>

Just define a submodule with the required definitions.

fmod SUBTEST is
sort Test .
endfm

view Test from TRIV to SUBTEST is
sort Elt to Test .
endv

fmod TEST is
protecting LIST{Test} .
endfm

Regards,

Francisco

El 18/10/2011, a las 16:38, Morandi Benjamin escribió:

> Dear All,
>
> I am trying to define two functional modules that use each other. However,
> Maude does not allow me to do so. The same problem occurs when using a list
> in the following way:
>
> view Test from TRIV to TEST is
> sort Elt to Test .
> endv
>
> fmod TEST is
> protecting LIST{Test} .
>
> sort Test .
> endfm
>
> Does anyone know how to resolve these problems?
>
> Best Regards
>
> Benjamin Morandi
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

[Maude-help] Mutually dependent functional modules, Morandi Benjamin, 10/18/2011
- Re: [Maude-help] Mutually dependent functional modules, Francisco Durán, 10/18/2011