3 A Tiger-compiler implementation in (OCa)ML
8 ![screenshot-tests-semant-done-head](screenshots/tests-semant-done-head.jpg)
10 ![screenshot-tests-semant-done-tail](screenshots/tests-semant-done-tail.jpg)
14 - [x] ch 1: Warm-up AST
18 - [x] ch 5: Semantic Analysis (type checking)
20 - [ ] ch 6: Activation Records
21 #### TODO (short-term)
22 - [ ] ch 7: Translation to Intermediate Code
23 - [ ] ch 08: Basic Blocks and Traces
24 - [ ] ch 09: Instruction Selection
25 - [ ] ch 10: Liveness Analysis
26 - [ ] ch 11: Register Allocation
27 - [ ] ch 12: Putting It All Together
29 - [ ] ch 13: Garbage Collection
30 - [ ] ch 15: Functional Programming Languages
31 - [ ] ch 16: Polymorphic Types
32 - [ ] ch 17: Dataflow Analysis
33 - [ ] ch 18: Loop Optimizations
34 - [ ] ch 19: Static Single-Assignment Form
35 - [ ] ch 20: Pipelining and Scheduling
36 - [ ] ch 21: The Memory Hierarchy
38 - [ ] ch 14: Object-Oriented Languages
41 - [-] testing framework
42 - [x] run arbitrary code snippets
43 - [x] check non-failures
44 - [x] check expected output
45 - [-] check expected exceptions
47 - [ ] generalized expect `Output ('a option) | Exception of (exn -> bool)`
48 - [x] run all book test case files
49 - [-] grid view (cols: lex, pars, semant, etc.; rows: test cases.)
59 #### shift/reduce conflicts
60 ##### grouping consecutive declarations
68 Will most-likely compile to RISC and execute using SPIM (as favored by Appel)