Maude-help mailing list

[Steven Eker <eker AT csl.sri.com>]

I can't answer Full Maude questions, but I am curious what feature of Full 
Maude you need that is not supported by the latest Core Maude release.

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

Steven

On Thursday 13 November 2008 03:37, ZHANG Min wrote:
> 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!!