k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] owise equivalent in K

From: Abdul Dakkak <abduld AT wolfram.com>
To: k-user <k-user AT cs.uiuc.edu>
Subject: [K-user] owise equivalent in K
Date: Mon, 22 Apr 2013 15:19:55 -0500 (CDT)
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

What's the equivalent statement for maude's owise tag in K? I am trying to
implement branch jumps using:

syntax Stmt ::= Id ":" Stmt
syntax K ::= Branch(Id)
rule <k> (Branch(I:Id) ~> I : S) => S ...</k> // rule 1
rule <k> (Branch(I:Id) ~> S1) => Branch(I) ...</k> [owise] // rule 2

currently the above goes in an infinite loop because rule 2 shadows rule 1.
Is there a way around that.

thanks

-adk-

[K-user] owise equivalent in K, Abdul Dakkak, 04/22/2013
- Re: [K-user] owise equivalent in K, Traian Florin Șerbănuță, 04/22/2013