k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?

From: Traian Florin Șerbănuță <traian.serbanuta AT info.uaic.ro>
To: "Park, Daejun" <dpark69 AT illinois.edu>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?
Date: Wed, 25 Dec 2013 22:24:44 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

They all generate the same code now. However, they are semantically different:

macro should only be used for desugaring, and should be applied to programs before any evaluation is started.

function should only be used for annotating function declarations

anywhere should be used for rules which we want to apply anywhere, disabling configuration concretization for them.

best wishes,

Traian

anywhere is

2013/12/25 Park, Daejun <dpark69 AT illinois.edu>

Hi,

I have a simple question:
What is the difference between 'macro', 'anywhere', and 'function'?
The generated maude code seems to be same except metadata. Who makes, if any, a difference?

Thanks,
Daejun
_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] Difference between 'macro', 'anywhere', and 'function'?, Park, Daejun, 12/24/2013
- Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Traian Florin Șerbănuță, 12/25/2013
  - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Michael D. Adams, 12/27/2013
    - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Andrei Arusoaie, 12/28/2013
      - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Traian Florin Șerbănuță, 12/28/2013
    - Re: [K-user] Difference between 'macro', 'anywhere', and 'function'?, Rosu, Grigore, 12/28/2013