Re: Mini ML parser (Torben AEgidius Mogensen)
3 May 2001 13:37:40 -0400

          From comp.compilers

Related articles
Mini ML parser << Grzegorz Lisowski (>><>) (2001-04-30)
Re: Mini ML parser (Matthias Blume) (2001-04-30)
Re: Mini ML parser (2001-05-03)
| List of all articles for this month |

From: (Torben AEgidius Mogensen)
Newsgroups: comp.compilers
Date: 3 May 2001 13:37:40 -0400
Organization: Department of Computer Science, U of Copenhagen
References: 01-04-151 01-04-154
Keywords: ML, parse
Posted-Date: 03 May 2001 13:37:40 EDT

Matthias Blume <> 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
( 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 (

Post a followup to this message

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