Maude-help mailing list

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

On Thursday 08 July 2004 07:20 pm, you wrote:
> after loading full-maude.maude, can I load .maude file defined by user.
> For example, when I load the example in a Maude paper, I got the following
> msg which is attached. Could you check it and tell me why I got these
> errors? Thanks a lot.
>

You need to enclose each module in parens so that it goes to Full Maude 
rather 
than Core Maude:

(fth TRIV is
  sort Elt .
endfth)

(fmod TUPLE[2](C1 :: TRIV, C2 :: TRIV) is
  sort Tuple(C1, C2) .
  op ((_,_)) : C1.Elt C2.Elt -> Tuple(C1, C2) [ctor] .
  op p1_ : Tuple(C1, C2) -> C1.Elt .
  op p2_ : Tuple(C1, C2) -> C2.Elt .
  var E1 : C1.Elt .
  var E2 : C2.Elt .
  eq p1 (E1, E2) = E1 .
  eq p2 (E1, E2) = E2 .
endfm)

Steven