summaryrefslogtreecommitdiff
path: root/src/semantic
AgeCommit message (Collapse)AuthorFilesLines
2017-11-28Define how to represent functions in environmentDavid Li1-41/+48
2017-11-28Reference-count levelsDavid Li2-21/+28
2017-11-28Distinguish between functions and values in environmentDavid Li1-31/+49
2017-11-26Translate variable referencesDavid Li3-17/+19
2017-11-26Translate variable bindingsDavid Li3-9/+50
2017-11-26Rename ir::Binop to ir::BinOpDavid Li3-5/+6
2017-11-26Thread the current level through the programDavid Li2-15/+20
2017-11-26Translate binop (only num + num)David Li2-2/+11
2017-11-07Parameterize translation on frame typeDavid Li2-12/+39
2017-11-07Stub out analysis in preparation of IR translationDavid Li3-23/+68
2017-11-07Move translation to analysis moduleDavid Li3-248/+250
2017-11-07Add datatypes for IRDavid Li1-0/+23
2017-11-07Add stub of frame moduleDavid Li3-0/+72
2017-11-06Parse and typecheck function callsDavid Li2-3/+47
2017-11-06Typecheck function declarationsDavid Li1-2/+24
2017-11-06License under MPL 2.0David Li4-0/+20
2017-11-06Type check record definitionsDavid Li1-8/+7
2017-11-06Typecheck type aliasesDavid Li1-1/+1
2017-11-06Reimplement checking of variable bindingsDavid Li2-22/+98
2017-11-05Parse type and variable declarationsDavid Li1-12/+13
2017-11-05Check types in bindings, unary operatorsDavid Li3-13/+59
2017-11-05Check types in add expressionsDavid Li1-3/+40
2017-11-05Add stubbed out type checkerDavid Li4-0/+82