summaryrefslogtreecommitdiff
AgeCommit message (Collapse)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 Li4-3/+65
2017-11-06Typecheck function declarationsDavid Li1-2/+24
2017-11-06License under MPL 2.0David Li8-0/+408
2017-11-06Type check record definitionsDavid Li3-13/+12
2017-11-06Typecheck type aliasesDavid Li1-1/+1
2017-11-06Reimplement checking of variable bindingsDavid Li4-26/+103
2017-11-05Parse empty records/function parameter listsDavid Li1-8/+17
2017-11-05Parse function declarationsDavid Li2-1/+21
2017-11-05Parse type and variable declarationsDavid Li3-27/+105
2017-11-05Check types in bindings, unary operatorsDavid Li4-16/+62
2017-11-05Check types in add expressionsDavid Li1-3/+40
2017-11-05Add stubbed out type checkerDavid Li6-8/+99
2017-11-04Parse let expressionsDavid Li2-0/+38
2017-11-04Parse identifiersDavid Li2-0/+13
2017-11-04Parse strings without escapesDavid Li2-0/+5
2017-11-04Parse logical operatorsDavid Li2-2/+19
2017-11-04Parse comparison operatorsDavid Li2-2/+34
2017-11-04Display a prompt in the REPLDavid Li1-1/+3
2017-11-04Parse unary operatorsDavid Li2-3/+22
2017-11-04Add a simple REPL to show parsingDavid Li1-1/+14
2017-11-04Parse binary operators with precedenceDavid Li3-1/+48
2017-11-04Add location information to ASTDavid Li2-5/+31
2017-11-03Add generated parser to .gitignoreDavid Li1-0/+1
2017-11-03Switch to lalrpop for parsing/lexingDavid Li7-115/+244
2017-11-03Implement skeleton of lexerDavid Li5-0/+214