k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] How to force all macro-rules to be applied in advance

From: "Park, Daejun" <dpark69 AT illinois.edu>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: [K-user] How to force all macro-rules to be applied in advance
Date: Thu, 6 Feb 2014 18:15:33 +0000
Accept-language: en-US
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi all,

Is there any way (or simple trick) to force all macro-rules to be resolved
before applying other normal-rules?

I got an undesirable behavior since a rule is applied without resolving its
inner macro-rules. Previously, I tackled this problem by separating two
phases--macro expansion and normal rule rewriting--that are written in
totally different K definitions, but now I cannot rely on the approach,
because I need to merge two phases in a single K definition in order to
support 'eval' semantics.

Thanks in advance.

Best,
Daejun

[K-user] How to force all macro-rules to be applied in advance, Park, Daejun, 02/06/2014
- <Possible follow-up(s)>
- [K-user] How to force all macro-rules to be applied in advance, Park, Daejun, 02/06/2014
  - Re: [K-user] How to force all macro-rules to be applied in advance, Traian Florin Şerbănuţă, 02/06/2014
    - Re: [K-user] How to force all macro-rules to be applied in advance, Park, Daejun, 02/07/2014