[Maude-help] Fwd: Error message: associative operators
eker at csl.sri.com
Mon Nov 28 19:54:07 CST 2005
On Friday 25 November 2005 09:53, Craig Ugoretz wrote:
> I apologize, the declaration for the operator * should read:
> op _*_ : Elt KI -> KI [assoc comm prec 2] .
This would appear to be the wrong way around - in Maude, smaller precs mean
tigher binding. This is a hang over from Maude's immediate predecessor, OBJ3.
More information about the Maude-help