summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2012-08-18 20:35:48 -0400
committerOri Bernstein <ori@eigenstate.org>2012-08-18 20:35:48 -0400
commitaa9f32bf54230b662e811463130bc59ebd9b9b6f (patch)
tree371f761fb1b2a1c0c8060614c57f928ef75aeecd /doc
parentd2abc97bfa136ff2dcdf970457b1434cfd7cc712 (diff)
downloadmc-aa9f32bf54230b662e811463130bc59ebd9b9b6f.tar.gz
Stub in table of contents.
Diffstat (limited to 'doc')
-rw-r--r--doc/compiler.txt19
1 files changed, 16 insertions, 3 deletions
diff --git a/doc/compiler.txt b/doc/compiler.txt
index c2e7094..8a2e440 100644
--- a/doc/compiler.txt
+++ b/doc/compiler.txt
@@ -9,10 +9,23 @@ TABLE OF CONTENTS:
2.1. Lexing
2.2. Parsing
2.3. Type checking
+ 2.4. Generic Specialization
+ 2.5. Serialization
+ 2.6. Usefiles
3. FLATTENING
+ 3.1. Control Flow
+ 3.2. Complex Expressions
4. OPTIMIZATION
+ 4.1. Constant Folding
5. CODE GENERATION
+ 5.1. Instruction Selection
+ 5.2. Register Allocation
6. TUTORIAL: ADDING A STATEMENT
+ 6.1. Stubbing in the node types
+ 6.2. Parsing
+ 6.3. Flattening
+ 6.4. Optimization
+ 6.5. Instruction Selection
1. OVERVIEW:
@@ -96,11 +109,11 @@ TABLE OF CONTENTS:
Type checking is done through unification of types. It's implemented
in parse/infer.c
- 2.4. Speciaization:
+ 2.4. Generic Specialization:
- 2.4. Serialization:
+ 2.5. Serialization:
- 2.5. Use Files:
+ 2.6. Usefiles:
3. FLATTENING: