Re: Mini ML parser

Matthias Blume <blume@research.bell-labs.com>
30 Apr 2001 22:20:27 -0400

          From comp.compilers
Related articles
Mini ML parser << Grzegorz Lisowski (>><grzegorz.lisowski@interia.pl>) (2001-04-30)
Re: Mini ML parser blume@research.bell-labs.com (Matthias Blume) (2001-04-30)
Re: Mini ML parser torbenm@diku.dk (2001-05-03)
| List of all articles for this month |
From: Matthias Blume <blume@research.bell-labs.com>
Newsgroups: comp.compilers
Date: 30 Apr 2001 22:20:27 -0400
Organization: Lucent Technologies, Bell Labs
References: 01-04-151
Keywords: ML, parse
Posted-Date: 30 Apr 2001 22:20:27 EDT

"<<< Grzegorz Lisowski >>>" wrote:
>
> Anybody have Mini ML parser or sth like that????
> it should only give information about type.


I am currently working on separating the front-end
(parser, type-checker, elaborator) from the SML/NJ
compiler (turning it into its own library). This
should do what you want (once it's ready).


(I am assuming that you mean Standard ML. For the
other ML (i.e., OCaml), you'll have to look elsewhere.)


Matthias




Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.