maude-help AT lists.cs.illinois.edu

Subject: Maude-help mailing list

List archive

Re: [Maude-help] Fwd: Error message: associative operators

From: Steven Eker <eker AT csl.sri.com>
To: Craig Ugoretz <craigugoretz AT gmail.com>, maude-help AT peepal.cs.uiuc.edu
Cc:
Subject: Re: [Maude-help] Fwd: Error message: associative operators
Date: Mon, 28 Nov 2005 18:54:07 -0700
List-archive: <http://maude.cs.uiuc.edu/pipermail/maude-help>
List-id: Maude help list <maude-help.maude.cs.uiuc.edu>

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] .
>
> Craig

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.

Steven

[Maude-help] Error message: associative operators, Craig Ugoretz, 11/25/2005
- [Maude-help] Fwd: Error message: associative operators, Craig Ugoretz, 11/25/2005
  - Re: [Maude-help] Fwd: Error message: associative operators, Steven Eker, 11/28/2005
- Re: [Maude-help] Error message: associative operators, Steven Eker, 11/28/2005