aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
2023-07-19Support fetching of variable declarations without environment builderMichael Williamson
2023-07-18Support capture of free variablesMichael Williamson
2023-07-18Store state of function definition type checking in contextMichael Williamson
2023-07-18Support any order of function definitions in type checkerMichael Williamson
2023-07-17Handle free variables in inner scopesMichael Williamson
2023-07-17Store stack of lexical contextsMichael Williamson
2023-07-17Check that variable is declared and defined in same scopeMichael Williamson
2023-07-16Check that the variable is not already definedMichael Williamson
2023-07-16Require variables to be declared before definitionMichael Williamson
2023-07-16Pass source to TypeCheckerContext::define()Michael Williamson
2023-07-14Support code generation for ifs in LLVM backendMichael Williamson
2023-07-14Add LLVM phi instructionsMichael Williamson
2023-07-14Add LLVM trunc instructionMichael Williamson
2023-07-14Support if instructions in WASM backendMichael Williamson
2023-07-14Fix WASM function type when function has paramsMichael Williamson
2023-07-14Handle writing of WASM block types with one result typeMichael Williamson
2023-07-14Handle params when defining functions in WASM backendMichael Williamson
2023-07-14Handle params when defining functions in LLVM backendMichael Williamson
2023-07-14Convert LlvmCodeGenDefineFunctionTests to use snapshotsMichael Williamson
2023-07-14Handle ifs with multiple conditional branchesMichael Williamson
2023-07-14Compile if expression with single conditional branchMichael Williamson
2023-07-14Add if instructionMichael Williamson
2023-07-14Type if expression properlyMichael Williamson
2023-07-12Add incomplete type-checking for if expressionsMichael Williamson
2023-07-12Extract TypedBlockNode::behaviour()Michael Williamson
2023-07-12Add TypedBlockNodeMichael Williamson
2023-07-09Handle if expression statementMichael Williamson
2023-07-09Add UntypedBlockNodeMichael Williamson
2023-07-09Document behaviour optionsMichael Williamson
2023-07-09Rename "none" behaviour to "continue"Michael Williamson
2023-07-09Add behaviour to untyped function statementsMichael Williamson
2023-07-09Handle block returns properlyMichael Williamson
2023-07-09Add explicit function return statementMichael Williamson
2023-07-09Check function returns correct typeMichael Williamson
2023-07-08Parse if expressionsMichael Williamson
2023-07-08Parse inequalityMichael Williamson
2023-07-08Parse equalityMichael Williamson
2023-07-08Handle precedence when parsing expressionsMichael Williamson
2023-07-08Parse subtractionMichael Williamson
2023-07-08Parse additionMichael Williamson
2023-07-08Add plus symbol to tokeniserMichael Williamson
2023-07-08Support string-add in LLVM backendMichael Williamson
2023-07-08Remove unnecessary top-level entityMichael Williamson
2023-07-08Generate WASM for string addMichael Williamson
2023-07-08Compile string addition into string-add instructionMichael Williamson
2023-07-08Type-check string additionMichael Williamson
2023-07-07Check operand types for binary operationMichael Williamson
2023-07-07Type check int not equalMichael Williamson
2023-07-07Type check int equalsMichael Williamson
2023-07-07Type check integer subtractionMichael Williamson