aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
AgeCommit message (Expand)Author
2023-10-22Forbid leading zeroes in int literalMichael Williamson
2023-10-22Add proper description of function typeMichael Williamson
2023-10-22Parse function typesMichael Williamson
2023-10-22Parse visibility for sum typeMichael Williamson
2023-10-22Add visibility for structsMichael Williamson
2023-10-22Add explicit visibilityMichael Williamson
2023-10-22Parse visibility for valsMichael Williamson
2023-10-22Parse visibility of functionsMichael Williamson
2023-10-21Generate stack IR for field access on namespaceMichael Williamson
2023-10-21Generate stack IR for importsMichael Williamson
2023-10-21Add imports as bound variablesMichael Williamson
2023-10-21Fix name of matcherMichael Williamson
2023-10-21Add imports to typed namespace nodeMichael Williamson
2023-10-21Use custom matcherMichael Williamson
2023-10-21Support type checking field access on namespaceMichael Williamson
2023-10-20Support import of namespaces in type checkerMichael Williamson
2023-10-20Parse imports in namespaceMichael Williamson
2023-10-08Support Patio switch in WASM code genMichael Williamson
2023-10-08Support Patio switch with reachable default in LLVM code genMichael Williamson
2023-10-08Use LlvmVariableLocal for labelsMichael Williamson
2023-10-08Fix serialization of LLVM switch instructionMichael Williamson
2023-10-08Add LLVM switch instructionMichael Williamson
2023-10-08Add test for Patio switchesMichael Williamson
2023-10-08Generate Patio code for stack IR switch instructionMichael Williamson
2023-10-08Add Patio switch instructionMichael Williamson
2023-10-08Assign tags to structsMichael Williamson
2023-10-08Fix typoMichael Williamson
2023-10-01Generate stack IR for when expressionsMichael Williamson
2023-10-01Ensure variants are structsMichael Williamson
2023-10-01Add switch instruction to stack IRMichael Williamson
2023-10-01Add LLVM unreachable instructionMichael Williamson
2023-10-01Add unreachable instruction to PatioMichael Williamson
2023-10-01Compile sum type definition to stack IRMichael Williamson
2023-10-01Remove spurious testMichael Williamson
2023-10-01Narrow type in when case bodiesMichael Williamson
2023-10-01Check for duplicate casesMichael Williamson
2023-10-01Check variant is validMichael Williamson
2023-10-01Check all variants are handledMichael Williamson
2023-10-01Check when expression is instance of sum typeMichael Williamson
2023-10-01Check type of when expressionMichael Williamson
2023-10-01Add basic type checking for when expressionsMichael Williamson
2023-10-01Extract duplicated typeCheckNamespaceStatement() functionMichael Williamson
2023-10-01Remove alloc-stack instructionMichael Williamson
2023-09-30Add subtyping for sum typesMichael Williamson
2023-09-30Add type info for sum typesMichael Williamson
2023-09-30Use TypeInfos as builder in TypeCheckerContextMichael Williamson
2023-09-30Construct typed node for sum type definitionsMichael Williamson
2023-09-30Add subtyping for bottom typeMichael Williamson
2023-09-30Extract and test isSubType()Michael Williamson
2023-09-30Declare sum typesMichael Williamson