Modern Compiler Implementation in ML: Basic Techniques

I recommend that you use version 109.31 instead, and use the Tiger modules available on the Modern Compiler Implementation in ML home page.

But if you happen to be using an early-1997 version of SML/NJ, perhaps the following modules will work better.

1. Introduction: slp.sml
2. Lexical Analysis: driver.sml errormsg.sml sources.cm tiger.lex tokens.sig tokens.sml
3. Parsing: errormsg.sml parsetest.sml sources.cm tiger.grm
4. Abstract Syntax: absyn.sml errormsg.sml parse.sml prabsyn.sml sources.cm symbol.sml table.sig table.sml tiger.grm
5. Type Checking: types.sml
6. Activation Records:
7. Translation to Intermediate Representation: printtree.sml temp.sig temp.sml tree.sml
8. Canonical Trees: canon.sml
9. Instruction Selection: assem.sml canon.sml flowgraph.sml graph.sig graph.sml main.sml runtime.c
10. Dataflow Analysis: graph.sml
11. Register Allocation:
    How to use precolored nodes runtime.c
12. Putting It All Together:

• Sample Tiger programs