README.txt

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 rossberg@mpi-sws.mpg.de if you find any.