aboutsummaryrefslogtreecommitdiff
path: root/src/test/java/org
AgeCommit message (Expand)Author
2024-01-12Introduce type arg as distinct from type paramMichael 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-05Check constraints are retained from sum subtypeMichael Williamson
2024-01-05Split tests for solving type constraintsMichael Williamson
2024-01-05Test subtype as free type paramMichael Williamson
2024-01-05Test bound type param as subtypeMichael Williamson
2024-01-05Handle simple subtyping for constructed typesMichael Williamson
2024-01-05Add commonSubtype()Michael Williamson
2024-01-03Add subtyping between sum typesMichael Williamson
2024-01-03Introduce base types for struct types and sum types respectivelyMichael Williamson
2024-01-03Check subtyping when supertype is free type paramMichael Williamson
2024-01-03Test subtyping when supertype is bound type paramMichael Williamson
2024-01-03Explicitly group testsMichael 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-31Add tests for common supertypesMichael Williamson
2023-12-31Disable subtyping for function types with type level paramsMichael Williamson
2023-12-31Use FunctionType builder instead of calling constructor directlyMichael Williamson
2023-12-31Add basic inference of type level argsMichael Williamson
2023-12-29Support constructed sum types as when expressionsMichael Williamson
2023-12-29Check handling of case with wrong type arg in when expressionMichael Williamson
2023-12-29Support constructed struct type as case in when expressionMichael Williamson
2023-12-29Store SumVariant in TypedWhenCaseNodeMichael Williamson
2023-12-29Support subtyping for constructed sum typesMichael Williamson
2023-12-29Support (no-op) type substitution for struct typesMichael Williamson
2023-12-29Add type level params to environment for sum variantsMichael Williamson
2023-12-29Create type constructor for generic sum type definitionsMichael Williamson
2023-12-29Extract matchers for TypeOrConstructorMichael Williamson
2023-12-29Change TypedSumTypeDefinitionNode to have typeOrConstructor()Michael Williamson
2023-12-28Add example tests for i686Michael Williamson
2023-12-28Update example to include GC object headerMichael Williamson
2023-12-28Add Patio example test for alloc-heapMichael Williamson
2023-12-28Add clang flags to support linking on i686Michael Williamson
2023-12-28Set target triple in LLVM IRMichael Williamson
2023-12-28Set target in LlvmCompilerMichael Williamson
2023-12-28Update tmp pathsMichael Williamson
2023-12-28Create separate static method for creating WasmBackend from targetMichael Williamson
2023-12-28Extract PatioToLlvmTestsMichael Williamson
2023-12-27Rename PatioToLlvmTests to PatioToAmd64TestsMichael Williamson
2023-12-27Parameterise LlvmBackend with targetMichael Williamson
2023-12-27Add support for WASI on wasm64Michael Williamson
2023-12-27Fix writing of int data elements for wasm64Michael Williamson
2023-12-27Test loading of data elementsMichael Williamson
2023-12-27Support bool-to-int and int-to-bool on wasm64Michael Williamson
2023-12-27Use appropriate relocation type for memory addressesMichael Williamson
generated by cgit v1.2.3 (git 2.46.0) at 2026-10-21 20:59:18 +0000