Add option iter
[tiger.ml.git] / compiler / src / lib / tiger / tiger_semant.ml
2018-09-18  Siraaj KhandkarSwitch Type.unique implementation from ref to Symbol
2018-09-18  Siraaj KhandkarCheck scope of break statements
2018-09-18  Siraaj KhandkarDetect cycles in type declarations
2018-09-17  Siraaj KhandkarImplement (mutually) recursive function definitions
2018-09-17  Siraaj KhandkarRemove some unused bindings
2018-09-17  Siraaj KhandkarFix - check number of arguments in function calls
2018-09-16  Siraaj KhandkarWIP type-checking -- check recursive type defs
2018-09-14  Siraaj KhandkarFix use type of last expression in a sequence
2018-09-14  Siraaj KhandkarFix incorrect environment entry
2018-09-14  Siraaj KhandkarRemove unused code
2018-09-14  Siraaj KhandkarWIP type-checking -- check function declarations
2018-09-14  Siraaj KhandkarAdd TODO for mutual recursion
2018-09-14  Siraaj KhandkarWIP type-checking -- check type declarations
2018-09-14  Siraaj KhandkarWIP type-checking -- check variable declarations
2018-09-13  Siraaj KhandkarWIP type-checking -- check array expressions
2018-09-13  Siraaj KhandkarWIP type-checking -- check record expressions
2018-09-13  Siraaj KhandkarWIP type-checking -- check function call expression
2018-09-13  Siraaj KhandkarWIP type-checking -- check array subscript access
2018-09-13  Siraaj KhandkarWIP type-checking
2018-09-13  Siraaj KhandkarSketch-out Semant module
2018-09-13  Siraaj KhandkarAdd stub for Semant module
This page took 0.102849 seconds and 27 git commands to generate.