taiga - An implementation of Appel's Tiger language in Rust

Age	Commit message (Collapse)	Author	Files	Lines
2017-11-07	Parameterize translation on frame type	David Li	2	-12/+39

2017-11-07	Stub out analysis in preparation of IR translation	David Li	3	-23/+68

2017-11-07	Move translation to analysis module	David Li	3	-248/+250

2017-11-07	Add datatypes for IR	David Li	1	-0/+23

2017-11-07	Add stub of frame module	David Li	3	-0/+72

2017-11-06	Parse and typecheck function calls	David Li	2	-3/+47

2017-11-06	Typecheck function declarations	David Li	1	-2/+24

2017-11-06	License under MPL 2.0	David Li	4	-0/+20

2017-11-06	Type check record definitions	David Li	1	-8/+7

2017-11-06	Typecheck type aliases	David Li	1	-1/+1

2017-11-06	Reimplement checking of variable bindings	David Li	2	-22/+98

2017-11-05	Parse type and variable declarations	David Li	1	-12/+13

2017-11-05	Check types in bindings, unary operators	David Li	3	-13/+59

2017-11-05	Check types in add expressions	David Li	1	-3/+40

2017-11-05	Add stubbed out type checker	David Li	4	-0/+82