aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
2023-10-01Correct commentMichael Williamson
2023-10-01Fix javadoc paragraphMichael Williamson
2023-10-01Generate LLVM IR for Patio unreachable instructionMichael Williamson
2023-10-01Add LLVM unreachable instructionMichael Williamson
2023-10-01Generate WASM for Patio unreachable instructionMichael Williamson
2023-10-01Add unreachable WASM instructionMichael Williamson
2023-10-01Add unreachable instruction to PatioMichael Williamson
2023-10-01Compile sum type definition to stack IRMichael Williamson
2023-10-01Fix compilation errorsMichael Williamson
2023-10-01Hoist sum type definitionsMichael Williamson
2023-10-01Narrow type in when case bodiesMichael Williamson
2023-10-01Remove completed TODOMichael 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-01Add basic type checking for when expressionsMichael 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-30Handle dependencies for sum type definitionMichael Williamson
2023-09-30Declare sum typesMichael Williamson
2023-09-30Add SumTypeMichael Williamson
2023-09-30Parse when expressionsMichael Williamson
2023-09-30Parse sum typesMichael Williamson
2023-09-30Add untyped sum type nodeMichael Williamson
2023-09-30Add sumtype keywordMichael 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-28Add TODOMichael Williamson
2023-09-28Generate stack IR for struct definitionMichael 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
2023-09-28Pluralise type info collectionMichael Williamson
2023-09-28Support calling struct typesMichael Williamson
2023-09-28Flip conditionMichael Williamson
2023-09-28Extract receiverTypeToFunctionType()Michael Williamson
2023-09-28Use orElseThrow() instead of get()Michael Williamson
2023-09-28Remove unnecessary Optional.get()Michael Williamson
2023-09-28Use orElseThrow() instead of get()Michael Williamson