Maude-help mailing list

[Michael George Hart <michael.george.hart AT gmail.com>]

Is there and effort to develop a fully compiled version of Maude? What are the versions of Maude under development? What are the goals of future versions of Maude and there expected release date?

Thanks

Michael

Sent from my iPad

On May 30, 2011, at 11:40 AM, Chucky Ellison <celliso2 AT illinois.edu> wrote:

Worse yet, 1 - 2 + 3 actually fails to parse.  It isn't even considered ambiguous.

Maude> rew 1 - 2 + 3 .
Warning: <standard input>, line 3: didn't expect token +:
1 - 2 + <---*HERE*
Warning: <standard input>, line 3: no parse for term.

-Chucky

On Mon, May 30, 2011 at 10:24 AM, Ziad H. Najem <najem AT acm.kuniv.edu> wrote:

Core Maude 2.6 reports the _expression_ (1+2-3) is ambiguous (as shown below)

Shouldn't the gather rules (associativity) resolve the ambiguity?

 - Ziad


-------
Maude> red in INT : 1 + 2 - 3 .
Warning: <standard input>, line 2: ambiguous term, two parses are:
1 + (2 - 3)
-versus-
(1 + 2) - 3

Arbitrarily taking the first as correct.
reduce in INT : 1 + (2 - 3) .
rewrites: 2 in 0ms cpu (0ms real) (~ rewrites/second)
result Zero: 0
------


_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help

_______________________________________________
Maude-help mailing list
Maude-help AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/maude-help