Maude-help mailing list

[fh413 <fh413 AT free.fr>]

Hello,

I work with Maude 2.7

Bubble don’t behave as I expect. Why some expressions can be parsed correctly 
and others cannot ?

fmod SYNTAX is
    pr QID . pr QID-LIST .

    sort Tokens .
    op tokens : QidList -> Tokens [special (id-hook Bubble (1 -1) 
                                                       op-hook qidListSymbol 
(__ : QidList QidList ~> QidList) 
                                                       op-hook qidSymbol 
(<Qids> : ~> Qid) 
                                                       id-hook Exclude ( . 
operator ))] .    

    sort S1 S2 . 
    op ( _ operator _ ) : Tokens Tokens -> S2 [gather (e e) prec 106] .
    op ( _ operator _ . ) : Tokens S2 -> S1 [gather (e e) prec 108] .
endfm

Maude> parse in SYNTAX : ( A operator ! ! ).S2 .
S2: tokens('A) operator tokens('! '!)
Maude> parse in SYNTAX : ( A operator + + ).S2 .
Warning: <standard input>, line 4 : unexpected end of tokens.
Warning: <standard input>, line 4: no parse for term.
Maude> parse in SYNTAX : (A operator A operator ! ! . ).S1 .
S1: tokens('A) operator tokens('A) operator tokens('! '!) .
Maude> parse in SYNTAX : (A operator A operator + + . ).S1 .
Warning: <standard input>, line 6: didn't expect token +:
( A operator A operator + + <---*HERE*
Warning: <standard input>, line 6: no parse for term.

Thank you for yours Help.

Francis