GitHub - rossberg/mixml: MixML prototype interpreter

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
Makefile		Makefile
PRETTY_PRINT-sig.sml		PRETTY_PRINT-sig.sml
PrettyPrint.sml		PrettyPrint.sml
README.txt		README.txt
core.mixml		core.mixml
data.mixml		data.mixml
el-aux.sml		el-aux.sml
el-elaboration.sml		el-elaboration.sml
el-lexer.lex		el-lexer.lex
el-lexer.lex.sml		el-lexer.lex.sml
el-main.sml		el-main.sml
el-ops.sml		el-ops.sml
el-parser.grm		el-parser.grm
el-parser.grm.sml		el-parser.grm.sml
el-parser.sml		el-parser.sml
el-pretty.sml		el-pretty.sml
el-print.sml		el-print.sml
el-run.sml		el-run.sml
el-syntax.sml		el-syntax.sml
el-test.sml		el-test.sml
el-trace.sml		el-trace.sml
fib.mixml		fib.mixml
il-checked-evaluation.sml		il-checked-evaluation.sml
il-evaluation.sml		il-evaluation.sml
il-machine.sml		il-machine.sml
il-ops.sml		il-ops.sml
il-print.sml		il-print.sml
il-syntax.sml		il-syntax.sml
il-test.sml		il-test.sml
il-typing.sml		il-typing.sml
il-var.sml		il-var.sml
link.mixml		link.mixml
mixml		mixml
seal.mixml		seal.mixml
sources.cm		sources.cm
sum.mixml		sum.mixml
syntax.pdf		syntax.pdf
todo.txt		todo.txt
wrap-smlnj.sml		wrap-smlnj.sml

Repository files navigation

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.