aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
AgeCommit message (Expand)Author
2024-03-02Test subsitution of user-defined effectMichael Williamson
2024-03-02Test substitution of IO and None effectsMichael Williamson
2024-03-02Directly test effect subsitutionMichael Williamson
2024-03-02Add simple effect subsitutionMichael Williamson
2024-03-02Add type-level params into function body environmentMichael Williamson
2024-03-02Introduce TypeLevelParamMichael Williamson
2024-03-02Add test for type-checking type paramMichael Williamson
2024-03-02Parse effect paramsMichael Williamson
2024-03-02Add test for parsing type paramMichael Williamson
2024-03-02Extract UntypedTypeParamNode from UntypedTypeLevelParamNodeMichael Williamson
2024-03-02Use hint for block returnsMichael Williamson
2024-03-02Include type-level params in TypedFunctionSignatureNodeMichael Williamson
2024-03-02Use type level params when type checking function signatureMichael Williamson
2024-02-25Parse type level params in function signatureMichael Williamson
2024-02-12Only include Patio test functions for Patio testsMichael Williamson
2024-02-12Remove reliance on exit code for Patio testsMichael Williamson
2024-02-03Add visibility to mutable data elementsMichael Williamson
2024-02-03Add visibility to PatioDataElementImmutableMichael Williamson
2024-02-02Use runtime type tag as struct tagMichael Williamson
2024-01-31Remove Patio memory-fillMichael Williamson
2024-01-28Name pointer types more consistentlyMichael Williamson
2024-01-28Add PatioDataPtrValueNullMichael Williamson
2024-01-28Add test for serializing Patio data pointer valuesMichael Williamson
2024-01-28Introduce PatioDataPtrValueMichael Williamson
2024-01-28Add memory-fill instruction to PatioMichael Williamson
2024-01-28Add Patio byte-constMichael Williamson
2024-01-28Add memory.fill to WasmMichael Williamson
2024-01-27Add Patio int32 data valueMichael Williamson
2024-01-26Add Patio int32-constMichael Williamson
2024-01-26Add int32 to PatioMichael Williamson
2024-01-26Remove Patio type indexMichael Williamson
2024-01-24Reuse Shid-to-Patio contextsMichael Williamson
2024-01-22Replace Patio instructions for size/offset with operandsMichael Williamson
2024-01-22Add LLVM getelementptr operandMichael Williamson
2024-01-22Add test for serializing Patio int value literalMichael Williamson
2024-01-22Extract PatioIntValueMichael Williamson
2024-01-22Rename const operands to with const suffixMichael Williamson
2024-01-21Remove alloc-heap from PatioMichael Williamson
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 target to destination in IRsMichael Williamson
2024-01-14Support inferring type args in when casesMichael Williamson
2024-01-14Fix test nameMichael Williamson
2024-01-13Update commonSubtype() to produce more specific typesMichael Williamson
2024-01-13Add TypeInfos.subtypes()Michael Williamson
2024-01-13Add test for supertypes of sum variantMichael Williamson
2024-01-13Add missing type to TypeInfos.supertypes()Michael Williamson
2024-01-12Handle type level params when substituting in function typeMichael Williamson
generated by cgit v1.2.3 (git 2.46.0) at 2026-10-21 10:56:58 +0000