aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
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-08Clarify that results aren't returned from the functionMichael Williamson
2023-10-08Add missing paragraph tagMichael Williamson
2023-10-08Assign tags to structsMichael Williamson
2023-10-08Support iteration through struct typesMichael Williamson
2023-10-08Retain order of structsMichael Williamson
2023-10-08Extract global context for Patio code genMichael Williamson
2023-10-08Fix typoMichael Williamson
2023-10-01Generate stack IR for when expressionsMichael Williamson
2023-10-01Require when cases to be structsMichael Williamson
2023-10-01Ensure variants are structsMichael Williamson
2023-10-01Add switch instruction to stack IRMichael Williamson
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-01Remove spurious testMichael 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-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-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