aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
AgeCommit message (Expand)Author
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
2023-09-30Parse when expressionsMichael Williamson
2023-09-30Parse sum typesMichael Williamson
2023-09-28Hoist structsMichael Williamson
2023-09-28Handle definition of struct when checking dependenciesMichael Williamson
2023-09-28Extract FieldsInfoMichael Williamson
2023-09-28Add Patio code gen for struct field accessesMichael Williamson
2023-09-28Generate Patio code for defining structsMichael Williamson
2023-09-28Generate stack IR for struct definitionMichael Williamson
2023-09-28Relax typeMichael Williamson
2023-09-28Store struct type instead of name in typed struct definition nodeMichael Williamson
2023-09-28Add define-struct instructionMichael Williamson
2023-09-28Generate stack IR for field accessesMichael Williamson
2023-09-28Add struct receiver for field loadsMichael Williamson
2023-09-28Create separate notion of receiver for FieldLoadInstructionMichael Williamson