Switch Type.unique implementation from ref to Symbol

[tiger.ml.git] / README.md

diff --git a/README.md b/README.md
index 463c385..cae72e2 100644 (file)
--- a/README.md
+++ b/README.md
@@ -5,17 +5,9 @@ A Tiger-compiler implementation in (OCa)ML
 Status
 ------
 
-### Technical issues
-- [-] testing framework
-  - [x] run arbitrary code snippets
-  - [x] check non-failures
-  - [x] check expected output
-  - [-] check expected exceptions
-    - [x] semant stage
-    - [ ] generalized expect `Output ('a option) | Exception of (exn -> bool)`
-  - [x] run all book test case files 
-  - [ ] grid view (cols: lex, pars, semant, etc.; rows: test cases.) 
-- [ ] Travis CI
+![screenshot-tests-head](screenshots/tests-head.jpg)
+...
+![screenshot-tests-tail](screenshots/tests-tail.jpg)
 
 ### Features
 #### Done
@@ -23,10 +15,10 @@ Status
 - [x] ch 2: Lexer
 - [x] ch 3: Parser
 - [x] ch 4: AST
+- [x] ch 5: Semantic Analysis (type checking)
 #### In-progress
-- [-] ch 5: Semantic Analysis (type checking)
-#### TODO (short-term)
 - [ ] ch 6: Activation Records
+#### TODO (short-term)
 - [ ] ch 7: Translation to Intermediate Code
 - [ ] ch 08: Basic Blocks and Traces
 - [ ] ch 09: Instruction Selection
@@ -45,6 +37,22 @@ Status
 #### Maybe
 - [ ] ch 14: Object-Oriented Languages
 
+### Technical issues
+- [-] testing framework
+  - [x] run arbitrary code snippets
+  - [x] check non-failures
+  - [x] check expected output
+  - [-] check expected exceptions
+    - [x] semant stage
+    - [ ] generalized expect `Output ('a option) | Exception of (exn -> bool)`
+  - [x] run all book test case files 
+  - [-] grid view (cols: lex, pars, semant, etc.; rows: test cases.) 
+    - [x] implementation
+    - [ ] refactoring
+  - [ ] test time-outs (motive: cycle non-detection caused an infinite loop)
+    - [ ] parallel test execution
+- [ ] Travis CI
+
 Implementation Notes
 --------------------