|Mini ML parser << Grzegorz Lisowski (>><firstname.lastname@example.org>) (2001-04-30)|
|Re: Mini ML parser email@example.com (Matthias Blume) (2001-04-30)|
|Re: Mini ML parser firstname.lastname@example.org (2001-05-03)|
|From:||email@example.com (Torben AEgidius Mogensen)|
|Date:||3 May 2001 13:37:40 -0400|
|Organization:||Department of Computer Science, U of Copenhagen|
|Posted-Date:||03 May 2001 13:37:40 EDT|
Matthias Blume <firstname.lastname@example.org> writes:
>"<<< 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).
Another possibility is the ML kit
(http://www.it-c.dk/research/mlkit/). It is a very modular and fairly
well documented implementation of Standard ML intended for
experimentation about implementation strategies etc. It implements the
full 1997 standard, including the module language. It is, of course,
itself written in Standard ML.
Torben Mogensen (email@example.com)
Return to the
Search the comp.compilers archives again.