
Each directory contains a README file like this one explaining
briefly what the source files do.

Contents:

il.sml		      Tree based intermediate language (IL or TIL).
lil.sml               Linear intermediate language (LIL).

random.sml	      Generates random IL terms for testing.

buildmeaning.sml
meaning-sig.sml	      ADT for semantic objects.
meaning.sml

ilvalidate-sig.sml    Evaluation of (L)IL terms to semantic objects.
tilvalidate.sml	      Evaluation for IL.
lilvalidate.sml	      Evaluation for LIL.

driver.sml            Runs passes of optimizations.
driver-sig.sml        Interface.

top.sml               Top-level functions.

main.sml              Calls Top.run (MLton only)

findfail.sml          Randomly prunes an expression; tries to find
		      small testcases for broken optimizations.

equal.sml	      Command-line tool to test if two expressions
		      have the same meaning.