Maude-help mailing list

[Paco Durán <duran AT lcc.uma.es>]

I'd say bubbles only work properly at the metalevel. 

Cheers,

Francisco


fmod TRY is
pr QID .
sort S .
op var : Qid -> S [special (id-hook Bubble (1 1) 
                        op-hook qidSymbol (<Qids> : ~> Qid))] .
op _+_ : S S -> S [gather (E e) prec 33] .
endfm

Maude> red in META-LEVEL :  
metaParse(upModule('TRY, false), 'a '+ 'b '+ 'c, 'S) .

reduce in META-LEVEL : metaParse(upModule('TRY, false), 'a '+ 'b '+ 'c, 'S) .
rewrites: 2 in 1ms cpu (2ms real) (1818 rewrites/second)
result ResultPair: {'_+_['_+_['var[''a.Qid],'var[''b.Qid]],'var[''c.Qid]],'S}

> El 30/8/2015, a las 12:28, fh413 
> <fh413 AT free.fr>
>  escribió:
> 
> Hello,
> 
> fmod TRY is
> pr QID .
> sort S .
> op var : Qid -> S [special (id-hook Bubble (1 1) op-hook qidSymbol (<Qids> 
> : ~> Qid))] .
> op _+_ : S S -> S [gather (E e) prec 33] .
> endfm
> 
> Maude> parse in TRY : (a + b) + c .
> Warning: <standard input>, line 24: didn't expect token +:
> ( a + b ) + <---*HERE*
> Warning: <standard input>, line 24: no parse for term.
> 
> What is the problem ?
> 
> Thank you so much.
>