Maude-help mailing list

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

Dear Min,

Please, when reporting a problem you should always attach an example  
so that the Maude maintainers can reproduce it easily.

I don't understand what you are intending to do. It seems that you  
want to be able to add an import declaration into a module, but what  
you don't say is what do try to do with it afterwards. If you want to  
use it with some core maude's metalevel function, you should make sure  
of either including core maude modules only, or to recompile it in the  
context of full maude. From the message it looks that you may be  
trying to use it directly, what is not possible.

Paco

El 13/11/2008, a las 12:37, ZHANG Min escribió:

> Dear all skilled Maude programmers:
>
> In Full Maude, we are enabled to import a module to another one with
> the function addImports(ImportList, Module) .
>
> But, here is my problem.
> I developed a toy example and run it in LOOP-MODE. New modules could  
> be
> loaded into the database. I defined a command that is used to import
> some loaded module into the one that is already in database.
>
> For example, I loaded a new module named "AA" like
> (fmod AA is
> ...
> endfm)
>
> Then I used "Add" command(I defined by myself) to import "AA" to the
> module "BB". Here was the code to implement it.
>
> addImports((including downTerm(T, 'error) .), getInteralModule('BB,  
> DB))
>
> But I got a advisory like
> Advisory: <metalevel>: module AA does not exist.
>
> But I did load the module AA and I also could display the module with
> the command (show module AA .) in FULL Maude.
>
> Does someone know how to deal with the issue?
> Many thanks in advance!!
>
> --
> Best regards,
> ZHANG Min
>
> ===========================================
> mail to: 
> zhangmin AT jaist.ac.jp
> JAIST, Ishikawa, Japan
> ===========================================
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help