WIP type-checking -- check recursive type defs

Add micro test for recursive type def

Add CLI options to execute different test suites

Clean-up missing labels and unused entities

Use the same status symbol for total as for each

Don't execute semant test if parsing fails

this is a hack - need to replace with a general test-dependency framework

Expect syntax error in test49.tig

Implement tests grid-view and backtraces

but messily - needs refactoring

Disambiguate variant label

Don't use long code as test name

Expand status notes

Disable color for skip status indicator

Disable info for non-fail status

Condense status to a more-useful TODO form

Test every book test case

Escape newline in strings

Add a couple of type (in)compatibility test cases

Fix use type of last expression in a sequence

Fix incorrect environment entry

should be a value, not type

Tighten-up test cases: specify where errors are expected

Remove unused code

WIP type-checking -- check function declarations

Add TODO for mutual recursion

WIP type-checking -- check type declarations

Count test cases

WIP type-checking -- check variable declarations

WIP type-checking -- check array expressions

WIP type-checking -- check record expressions

WIP type-checking -- check function call expression

WIP type-checking -- check array subscript access

WIP type-checking

Abandon -classic-display

Sketch-out Semant module

Define the environments (for types and values)

Improve final pass/fail indicator

Add module abbreviations to error module interface

Test for semantic errors

(just 1 of, for now)

Add stub for Translate module

Resurrect 8-queens test

Replace test status lexicon

of OK/ERROR/WARN with Pass/Fail/Skip

Use helper functions for test status indicators

Add stub for Semant module

Add semantic analysis stage to tests

Indicate "OK" for expected errors

Augment testing framework to support examining errors

so we can check for semantic errors later

Define (some) semantic errors

Add map helper to build from list of pairs

Remove label from error raising helper

Explicitly ignore unused fields

Update alignment

Centralize error message construction

Define the canonical map structure for Tiger

with a Red Black tree implementation, adapted from Okasaki.

Refactor test framework

Begin Implementation Notes section

Refer to test errors as failures

Report error count

Break some long lines

Re-use code for name in micro test cases

Refactor testing framework

Indent stringinfied AST

first stab - some rough edges remain

Implement a basic AST printer

Rename "tiger" dir to "compiler"

Fix shift/reduce conflicts introduced by grouping consecutive typ|fun decs

Complete 1.04.p: add semantic actions to parser

FIXME: 2 more shift/reduce conflicts were introduced
       with the rules for consecutive function and type declarations

Output ocamlyacc state table

for debugging conflicts

Reorg Makefile

Update project status

Fix the remaining 12 shift/reduce conflicts

which were due to associativity and precedence conflicts between operators,
previously defined as a single production

Show commands executed by ocamlbuild

Assign precedence and associativity to THEN

reduces shift/reduce conflicts from 25 to 12

Assign precedence and associativity to ELSE

reduces shift/reduce conflicts from 37 to 25

Assign precedence to ASSIGN

reduces shift/reduce conflicts from 49 to 37

Assign precedence and associativity to OF and DO

reduces shift/reduce conflicts from 85 to 49

Disable queens test case from book (temporarily)

because I'm too lazy to enter all the lexing tokens right now. Parsing works.

Add some micro test cases

Ensure make fails after 1st recipe failure

Resolve conflict between 2 rules with subscript notation

though I'm still not quite sure I understand why this is a problem...

Move definition closer to usage location

Remove stand-alone tyfield grammar rule

Combine declaration sub-rules

Remove stand-alone ty grammar rule

Rename seq to exps

Remove stand-alone unit grammar rule

Remove stand-alone fun_call grammar rule

Add (incomplete) test case for queens.tig

Remove stand-alone grammar rule for ID

Fix reduce/reduce conflict

by removing a stand-alone type_id definition, which seems to have conflicted
with id definition

Re-org testing code

Define initial grammar

FIXME: 85 shift/reduce conflicts, 1 reduce/reduce conflict.

Add another test case

Improve test result printing

Use meaningful names of test cases

Add another test case - define recursive function

Fix warnings: 4, 6, 29

4  : fragile pattern-matching:
        using option to mean EOF, not yet sure if will be compatible with
        ocamlyacc - may need to switch to raising exception
6  : label f was omitted
29 : unescaped end-of-line

Enable all warnings

Add test cases

Stop indiscriminate eating

Complete 1.02.p.1: Tiger lexer

Lay down Tiger build skeleton

Implement balanced binary tree and refactor

Was actually done last week; now just made the last few changes to Makefile.