maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] modules dependencies

From: Francisco Durán <duran AT lcc.uma.es>
To: Petr Vrchlavsky <vrchlavsky.petr AT gmail.com>
Cc: maude-help AT cs.uiuc.edu
Subject: Re: [Maude-help] modules dependencies
Date: Thu, 6 Dec 2012 02:58:35 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

Hi,

You cannot. You should either move declarations between modules or extract
some submodules with the declarations required in both.

Cheers,

Francisco

On 05/12/2012, at 20:14, Petr Vrchlavsky wrote:

> Hello,
>
> I am wondering..., is it possible to have two modules, which have
> dependencies to each other? And if it is possible, how can I load them
> without any error or warning be thrown?
> For example, let say i have those modules:
>
> omod A is
> pr B .
> ...
> endom
>
> omod B is
> pr A .
> ...
> endom
>
> Thanx for any answers.
> Best regards.
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

[Maude-help] modules dependencies, Petr Vrchlavsky, 12/05/2012
- Re: [Maude-help] modules dependencies, Francisco Durán, 12/05/2012