Maude-help mailing list

[Pierre-Yves Strub <strub AT lix.polytechnique.fr>]

        Dear Maude mailing list,

        Given the following (dummy) module in Core Maude:        

fmod FOO is
  sort Struct .

  op empty : -> Struct .
  op __ : Struct Struct ~> Struct [assoc comm id: empty] .
endfm

        I want to translate it in Full Maude. I wrote:

(fmod FOO is
   sort Struct .

   op empty : -> Struct .
   op __ : Struct Struct ~> Struct [assoc comm id: empty] .
endfm)

        But Full Maude is not happy with that. I don't have any message 
at all except "rewrites: XXX in XXX..." and the module FOO is not 
introduced. What I observe is that, if I remove the 'id' attribute or 
defined 'op __' at sort level, all works (modulo this is not what I 
want).

        Yours sincerely,
               Pierre-Yves Strub.