Maude-help mailing list

[ANDREI Oana Maria <oandrei AT info.uaic.ro>]

Hello,

I used Maude 2.1 before, but now in Maude 2.1.1 I have encountered a 
problem I don't know why does it occurr and how to fix it.
Consider the following 2 modules:

(mod A is
  sort X .
  op x : -> X .
endm)

(mod META-A is
  pr META-LEVEL(A) .
  op m : -> Module .
  eq m = up(A) .
endm)

which gives the output:
 
Maude> in b.fm
rewrites: 11209 in 57ms cpu (57ms real) (193288 rewrites/second)
Warning: Parse error in (m)==(up <---*HERE*
No parse for m ~ up(A)
Introduced module META-A

Maude> (show module .)
rewrites: 15734 in 105ms cpu (105ms real) (148457 rewrites/second)
ERROR: Internally generated module META-LEVEL(A) redefined.

mod META-A is
  protecting META-LEVEL(A) .
  including UP .
  op m : -> Module .
  eq m
    = up(token('A)) .
endm

Why does this warning and the error occurr? All this was ok in Maude 2.1 .
For example I want to do in META-A something like:
  op t : -> Term .
  eq t = getTerm(metaReduce(up(A), up(A, x))) .

This example is just to show the problem I encountered. 

How can I make it work? This is not just for an exercise, I really need 
this to work also in Maude 2.1.1.
Thanks for the help.

Best regards.

--
Oana Andrei
Faculty of Computer Science
"Al. I. Cuza" University, Iasi
Romania