aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
AgeCommit message (Expand)Author
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
2023-09-28Pluralise type info collectionMichael Williamson
2023-09-28Support calling struct typesMichael Williamson
2023-09-28Check for namespace name when defining structMichael Williamson
2023-09-28Attach source to all compiler errorsMichael Williamson
2023-09-28Define struct type info earlierMichael Williamson
2023-09-28Check struct type info is presentMichael Williamson
2023-09-28Check field exists on receiver typeMichael Williamson
2023-09-28Check type of receiver in field accessMichael Williamson
2023-09-28Basic type checking for field accessMichael Williamson
2023-09-28Add struct type info during type checkingMichael Williamson
2023-09-28Check structs can have mutually recursive fieldsMichael Williamson
2023-09-28Add struct type to contextMichael Williamson
2023-09-28Type check struct definition fieldsMichael Williamson
2023-09-28Add basic type checking for struct definitionsMichael Williamson
2023-09-27Parse struct definition fieldsMichael Williamson
2023-09-27Parse struct without fieldsMichael Williamson
2023-09-27Parse field accessMichael Williamson
2023-09-27Support ignore targetMichael Williamson
2023-09-26Generate code for zero-element tuple without allocMichael Williamson