[plt-scheme] Example of typed lexer/parser

From: Paulo J. Matos (pocmatos at gmail.com)
Date: Tue Mar 10 09:14:22 EDT 2009

On Tue, Mar 10, 2009 at 12:33 PM, Sam TH <samth at ccs.neu.edu> wrote:
> On Tue, Mar 10, 2009 at 7:01 AM, Paulo J. Matos <pocmatos at gmail.com> wrote:
>> Hi all,
>> I am trying to type a lexer/parser I have. Are there any examples how
>> there on how to do this?
> The standard way would be to use the `parser-tools' collection, but I
> have not tried to use them with Typed Scheme, and don't know if it
> would work.  If you end up trying this, let me know how it goes.

Yeah, my parser/lexer uses parsers tools, I was just wondering if
there was any example on how to type the lexer and parser (in
particular, type the return value of each rule) but I see from your
message this is not the case.


Paulo Matos

> --
> sam th
> samth at ccs.neu.edu

Paulo Jorge Matos - pocmatos at gmail.com
Webpage: http://www.personal.soton.ac.uk/pocm

Posted on the users mailing list.