maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[Maude-help] modules dependencies

From: Petr Vrchlavsky <vrchlavsky.petr AT gmail.com>
To: maude-help AT cs.uiuc.edu
Subject: [Maude-help] modules dependencies
Date: Wed, 5 Dec 2012 20:14:01 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/maude-help/>
List-id: <maude-help.cs.uiuc.edu>

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] modules dependencies, Petr Vrchlavsky, 12/05/2012
- Re: [Maude-help] modules dependencies, Francisco Durán, 12/05/2012