Maude-help mailing list

[Hubert Wagner <hubert.wagner AT udo.edu>]

Hello.

we have tried to run one of the older examples (sequents.maude) with 
Maude 2.
Here we get the following error message:

mod SEQUENT-RULES-PROP-LOG
Advisory: redefining module SEQUENT-RULES-PROP-LOG.
Warning: "sequents.maude", line 11 (mod SEQUENT-RULES-PROP-LOG): 
variable P is
   used before it is bound in rule:
rl empty => |- (P,~ P) [label Identity] .
Warning: "sequents.maude", line 19 (mod SEQUENT-RULES-PROP-LOG): 
variable P is
   used before it is bound in rule:
rl |- R => |- (P,R) [label Weakening] .

I assume that this example has worked with Maude 1. What are the 
essential changes in Maude 2 that this
example no longer works with Maude 2? What have I to change in the 
source code of sequents.maude
so that I can use it with Maude 2?

Thanks in advance.

Best regards,

Hubert Wagner

-------------------------------------------

Dr. Hubert Wagner
FB Informatik
University of Dortmund
D 44221 Dortmund
Germany

Email:  
Hubert.Wagner AT udo.edu