Maude-help mailing list

[Daniel Selsam <daniel.selsam AT gmail.com>]

Hi,

[Code below] 

Why doesn't the module renaming address this problem? How should I address it?

Thanks, 

Dan 

view Term from TRIV to META-TERM is sort Elt to Term . endv

fmod RENAME-TEST is

including SET{Term} *
(  op empty : -> Set{Term} to emptySet ,
   op _,_ : Set{Term} Set{Term} -> Set{Term} to _;_ ,
   op _,_ : NeSet{Term} Set{Term} -> Set{Term} to _;_
) .
    
endfm

***(

Maude> load set.maude
Advisory: <automatic>: operator empty has been imported from both
    "prelude.maude", line 1540 (fmod META-TERM) and "prelude.maude", line 1135
    (fmod SET) with no common ancestor.
Warning: "prelude.maude", line 1136 (fmod SET): declaration for _`,_ has
    different attributes from declaration on "prelude.maude", line 1541 (fmod
    META-TERM).
Advisory: <automatic>: operator _`,_ has been imported from both
    "prelude.maude", line 1541 (fmod META-TERM) and "prelude.maude", line 1136
    (fmod SET) with no common ancestor.
Warning: "prelude.maude", line 1136 (fmod SET): declaration for _`,_ has
    different attributes from declaration on "prelude.maude", line 1541 (fmod
    META-TERM).
Advisory: <automatic>: unable to make module instantiation SET{Term} due to
    earlier errors.

)