summaryrefslogtreecommitdiff
path: root/src/semantic
AgeCommit message (Expand)AuthorFilesLines
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