maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

[[Maude-help] ] parsing and bubbles

From: fh413 <fh413 AT free.fr>
To: maude-help AT cs.uiuc.edu
Subject: [[Maude-help] ] parsing and bubbles
Date: Sun, 30 Aug 2015 12:28:44 +0200

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.

[[Maude-help] ] parsing and bubbles, fh413, 08/30/2015