Maude-help mailing list

[Francisco Durán <duran AT lcc.uma.es>]

Hi Ciprian,

In Maude, we distinguish what is called (core) Maude and a reflective extension of it, written in Maude itself,  called Full Maude. Full Maude extends Maude with experimental features, which, with the time, may or may not move to Maude. 

Once Full Maude is loaded, the interaction with it is very similar to the interaction with Maude (see the manual for details), being the main difference that each module and command must be between parentheses. Every time Maude sees any text between parentheses, it passes it to the loop object, which is controlled by Full Maude in case it has been loaded and is active. 

What is happening to you is that your modules are between parentheses but you have not loaded Full Maude. Nevertheless, I don't think you need it, at least for the modules you sent. I'd say you can either removes the parentheses around your modules or load Full Maude before the files. 

Cheers,

Francisco

El 07/09/2011, a las 11:21, Ciprian Dragomir escribió:

Hi,

Given the information on the Maude website, I understand this is the mailing list for enquiries about using Maude. (apologies if this is not the case)

I'm trying to load several modules into Maude and I keep getting a weird error: "Warning: no loop state" and it's not loading the module (show module command says the module cannot be found). I'm a beginner with Maude so I'm not sure what I'm missing. Is it a version compatibility problem? It is possible that the code was written for an earlier version of Maude. 

My question is: Is there anything I can do to modify it such that it will work on the latest version of Maude? Are there any syntactical incompatibilities between versions or simply some additional declarations required?

I'm attaching the files I was trying to load (I get the same warning for all of them).

I am using Maude 2.6 and I've tried loading the files both on windows 7 (x64) and Ubuntu 11.04 .

Many thanks for your help,

Ciprian

--

<nsquare.maude><pconfiguration.fm><psystem.fm>_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help