aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
2024-01-21Implement Patio byte-size-of instructionMichael Williamson
2024-01-21Implement Patio byte-offset-of instructionMichael Williamson
2024-01-21Add Patio byte-size-of and byte-offset-of instructionsMichael Williamson
2024-01-21Add Patio type indexMichael Williamson
2024-01-21Rename platformTarget to targetMichael Williamson
2024-01-21Rename target to destination in IRsMichael Williamson
2024-01-14Use more accurate exception typeMichael Williamson
2024-01-14Support inferring type args in when casesMichael Williamson
2024-01-14Simplify narrowing of type-level expression nodesMichael Williamson
2024-01-13Push instance checking into TypeSetTypeLevelValueMichael Williamson
2024-01-13Update TypeSetStructMetaType to match all struct typesMichael Williamson
2024-01-13Update commonSubtype() to produce more specific typesMichael Williamson
2024-01-13Add TypeInfos.subtypes()Michael Williamson
2024-01-13Add missing type to TypeInfos.supertypes()Michael Williamson
2024-01-13Preserve ordering of supertypesMichael Williamson
2024-01-12Handle type level params when substituting in function typeMichael Williamson
2024-01-12Introduce type arg as distinct from type paramMichael Williamson
2024-01-12Add TODOMichael Williamson
2024-01-12Extract TypeSubstitutionMap.from()Michael Williamson
2024-01-12Extract substituteFunctionType()Michael Williamson
2024-01-07Update commonSupertype to handle supertype of sum and its variantsMichael Williamson
2024-01-07Update commonSupertype to consider sum typesMichael Williamson
2024-01-07Pass TypeInfos into commonSupertype()Michael Williamson
2024-01-05Use upper bound in the absence of lower boundsMichael Williamson
2024-01-05Simplify handling of constructed type subtypingMichael Williamson
2024-01-05Check constraints are retained from sum subtypeMichael Williamson
2024-01-05Handle simple subtyping for constructed typesMichael Williamson
2024-01-05Add commonSubtype()Michael Williamson
2024-01-05Add Function scopeMichael Williamson
2024-01-03Add subtyping between sum typesMichael Williamson
2024-01-03Introduce base types for struct types and sum types respectivelyMichael Williamson
2024-01-03Test subtyping when supertype is bound type paramMichael Williamson
2024-01-03Rename StructuredType to ConstructibleTypeMichael Williamson
2024-01-03Introduce specific subtypes for constructed typesMichael Williamson
2024-01-03Rename substitute() to substituteType()Michael Williamson
2023-12-31Store TypeInfos instead of context for type constraintsMichael Williamson
2023-12-31Push generation of type info for constructed typos into TypeInfosMichael Williamson
2023-12-31Add tests for common supertypesMichael Williamson
2023-12-31Remove ReceiverType in favour of using FunctionType directlyMichael Williamson
2023-12-31Disable subtyping for function types with type level paramsMichael Williamson
2023-12-31Add type-level params to FunctionTypeMichael Williamson
2023-12-31Add basic inference of type level argsMichael Williamson
2023-12-31Fix common supertype when first type is BottomMichael Williamson
2023-12-31Remove unnecessary variableMichael Williamson
2023-12-29Support constructed sum types as when expressionsMichael Williamson
2023-12-29Support constructed struct type as case in when expressionMichael Williamson
2023-12-29Store SumVariant in TypedWhenCaseNodeMichael Williamson
2023-12-29Extract isVariantSubtype()Michael Williamson
2023-12-29Remove unnecessary methodsMichael Williamson
2023-12-29Get type info for when expression in single expressionMichael Williamson
generated by cgit v1.2.3 (git 2.46.0) at 2026-10-21 21:14:49 +0000