Optimizing compiler for Standard ML
MLton is a whole-program optimizing compiler
for Standard ML. MLton generates standalone
executables with excellent runtime performance,
is SML 97 compliant, and has a complete basis
library. MLton has source-level profiling,
a fast C FFI, an interface to the GNU
multiprecision library, and lots of useful
Map of regression directory
SML code for running tests
test-fn.sml defines TestFn
tests/ instantiations of TestFn
simplify/ for simplify
typecheck/ for typecheck
typecheck-test.sml defines str
The principal file here is cd.grm.
c.grm and d.grm are derived from it via cpp and should not be edited.
1. comment out #define DPARSE
2. /lib/cpp -P cd.grm > c.grm
1. uncomment #define DPARSE
2. /lib/cpp -P cd.grm > d.grm
Note: "-P" so that don't get control info (e.g. # 218 "cd.grm").
This directory contains the main IR used by the MLRISC optimizer.
The IR is mainly concerned with control flow and control dependence.
The IR contains the CFG, (post-)dominator tree, control depenence graph,
loop (interval) structure, plus other facets.
This IR is quite different from the cluster datatype, which is used by the basic
MLRISC system. In any case the cluster and the CFG are interc
This is a simple combinator style pretty printer
What's In Here
This directory contains some tools that I've written for generating
What's in Here
This directory contains a simple tool for generating generic map,
What is in this directory
This directory contains the source to 'nowhere'.
This directory contains various for memory aliasing support.
This is made into a separate directory
Browse inside mlton_20100608-2_mipsel.deb