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.

WIP Red Black tree

Leave DOT output on disk

for examination

Fix missing cleanup of "tree" executable

Fix demo of unbalanced behaviour - use graphviz

Complete 1.01.e.1.c: demo unbalanced behaviour

Update status dates

Complete 1.01.e.1.b: binary tree key->value set/get

Complete 1.01.e.1.a - binary tree member

Complete 1.01.p.2

straight line program interpreter - interp

Rewrite purely functionally

Complete 1.01.p.1

straight line program interpreter - maxargs

Make a basic Makefile for a small OCaml program

Fix missing indentation level

Set upper bound on total estimate

Tabularize all and expand 1st 2 chapters

Begin project plan

Initial commit