k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] Using an external parser

From: Radu Mereuta <headness13 AT gmail.com>
To: Joshua Cranmer <cranmer2 AT illinois.edu>
Cc: k-user AT cs.uiuc.edu
Subject: Re: [K-user] Using an external parser
Date: Mon, 10 Dec 2012 23:25:49 +0200
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hy Joshua,

Could you give as a little bit more details of what you want to do and where is your problem? I don't really understand where you are stuck.

Radu

K Developer.

On Mon, Dec 10, 2012 at 10:35 PM, Joshua Cranmer <cranmer2 AT illinois.edu> wrote:

I have a question about using an external parser with K. I'm using an external parser for my language, but I need to be able to have a semantic step that turns a String (in K terms) to my parsed AST. What do I need to do to get this to work properly?

--
Joshua Cranmer
Source code archæologist

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

[K-user] Using an external parser, Joshua Cranmer, 12/10/2012
- Re: [K-user] Using an external parser, Radu Mereuta, 12/10/2012
  - Re: [K-user] Using an external parser, Joshua Cranmer, 12/10/2012
    - Re: [K-user] Using an external parser, Radu Mereuta, 12/10/2012
      - Re: [K-user] Using an external parser, Joshua Cranmer, 12/10/2012
    - Re: [K-user] Using an external parser, Guth, Dwight, 12/10/2012