Maude-help mailing list

[Bow-Yaw Wang <bywang AT iis.sinica.edu.tw>]

Hi,

I'd like to pass a meta-level theory as a parameter to
a module. But I couldn't make the required 'view' for
it. Here is the source code:

*** object module
(mod A is
 sort Node .

 ops a b c : -> Node .

 rl [aTOb] : a => b .
 rl [aTOc] : a => c .

endm)

*** meta-level module
(mod A-UP is
 including META-LEVEL(A) .

 op AUP : -> Module .
 eq AUP = up (A) .
endm)

*** meta-level theory
(fth METAMODULE is
 op META : -> Module .
endfth)

*** view
(view MetaA from METAMODULE to A-UP is
 op META to AUP .
endv)

The same code is accepted by Maude 1.05 with minor
syntactic modification. But I can't figure out how
to make it work under Maude 2.0.

Thanks in advance,

Bow-Yaw