summaryrefslogtreecommitdiff
path: root/src/semantic/translate.rs
AgeCommit message (Collapse)AuthorFilesLines
2017-11-26Translate variable referencesDavid Li1-1/+1
2017-11-26Translate variable bindingsDavid Li1-0/+14
2017-11-26Rename ir::Binop to ir::BinOpDavid Li1-2/+3
2017-11-26Thread the current level through the programDavid Li1-2/+3
2017-11-26Translate binop (only num + num)David Li1-0/+9
2017-11-07Parameterize translation on frame typeDavid Li1-6/+30
2017-11-07Stub out analysis in preparation of IR translationDavid Li1-0/+27
2017-11-07Move translation to analysis moduleDavid Li1-248/+0
2017-11-06Parse and typecheck function callsDavid Li1-3/+46
2017-11-06Typecheck function declarationsDavid Li1-2/+24
2017-11-06License under MPL 2.0David Li1-0/+5
2017-11-06Type check record definitionsDavid Li1-8/+7
2017-11-06Typecheck type aliasesDavid Li1-1/+1
2017-11-06Reimplement checking of variable bindingsDavid Li1-21/+81
2017-11-05Parse type and variable declarationsDavid Li1-12/+13
2017-11-05Check types in bindings, unary operatorsDavid Li1-12/+54
2017-11-05Check types in add expressionsDavid Li1-3/+40
2017-11-05Add stubbed out type checkerDavid Li1-0/+39