Maude-help mailing list

[Jeff Thompson <jeff AT thefirst.org>]

I want to use metaReduce and supply my own module expression such as:
fmod 'MOD2 is including 'MOD1 . sorts 'Sort2 . none none none none endfm
I have another module expression for the included MOD1 module. But I 
don't want metaReduce to look for MOD1 in the Maude module database. I 
want to use the module expression that I dynamically created for MOD1, 
so I really need the module expression for MOD2 to be flattened with the 
included MOD1.

Is there a meta-level operation to do this flattening? I basically want 
the result of upModule('MOD2, true), but without needing MOD1 and MOD2 
to already be loaded into Maude. (I imagine Full Maude does this trick 
internally but I can't find it.)

Once again, thanks for the help,
- Jeff