mixml

mixml copied to clipboard

MixML prototype implementation

Based on: Derek Dreyer, Andreas Rossberg, "Mixin' Up the ML Module System"

(c) 2007-2008 Andreas Rossberg

Requirements

You need a working installation of SML/NJ (including ML-Yacc and ML-Lex).

Building

Just invoke "make".

Usage

Simply invoke ./mixml from the command line. The synopsis is:

mixml [-c|t|v|x|h] [files...]

It will process the files given. If none are given, enters an interactive prompt.

Options are:

-c type-check only -t type-check only, but with tracing messages from the type checker -v evaluate (default) -x evaluate in checked mode (type checks whole program after every step - very slow!) -h print command usage

Language

The file syntax.pdf shows the complete syntax that is currently understood, including the desugaring rules into the bare calculus as presented in the paper. Hopefully, it is sufficiently self-explanatory.

Bugs

I'm sure there are plenty. Please mail [email protected] if you find any.