k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[K-user] Using an external parser

From: Joshua Cranmer <cranmer2 AT illinois.edu>
To: k-user AT cs.uiuc.edu
Subject: [K-user] Using an external parser
Date: Mon, 10 Dec 2012 14:35:55 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

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] 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