Maude-help mailing list

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

There is not built in functionality in Core Maude. In a future release we 
hope 
to have meta interpreter objects that can be sent insertModule messages and 
hence the whole of Core Maude rather than just the purely functional aspects 
will be reflected.

Steven

On Friday 29 May 2009 00:43, Jeff Thompson wrote:
> 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
>
>
> _______________________________________________
> Maude-help mailing list
> Maude-help AT maude.cs.uiuc.edu
> http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-help