aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
AgeCommit message (Expand)Author
2023-11-19Use iterable instead of streamMichael Williamson
2023-11-19Add data-ptr to Patio data layoutsMichael Williamson
2023-11-19Rename addField to addMethodMichael Williamson
2023-11-18Generate stack IR for effect field accessMichael Williamson
2023-11-18Add effect as receiver in stack IRMichael Williamson
2023-11-12Compile try node into stack IRMichael Williamson
2023-11-12Narrow handled effect type in TypedTryNodeMichael Williamson
2023-11-11Add try instructionMichael Williamson
2023-11-11Add builder for DefineFunctionInstructionMichael Williamson
2023-11-11Generate stack IR for effect definitionMichael Williamson
2023-11-11Extract LlvmBackend.link()Michael Williamson
2023-11-11Extract WasmBackend.link()Michael Williamson
2023-11-11Create single runtime target directoryMichael Williamson
2023-11-11Build wasm runtime using mesonMichael Williamson
2023-11-11Use meson instead of CMakeMichael Williamson
2023-11-08Clarify typing around handler methodsMichael Williamson
2023-11-07Use explicit resume typeMichael Williamson
2023-11-07Add define-effect instructionMichael Williamson
2023-11-07Rename effect field to effect methodMichael Williamson
2023-11-07Handle handler method signature properlyMichael Williamson
2023-11-07Rename effect fields to effect methodsMichael Williamson
2023-11-07Generate stack IR for resume statementsMichael Williamson
2023-11-07Fix name of testMichael Williamson
2023-11-07Type check resume statements properlyMichael Williamson
2023-11-07Use type hint when typing expression of return statementsMichael Williamson
2023-11-07Disallow returns in effect handlersMichael Williamson
2023-11-07Add (unsound) basic type-checking for resume statementsMichael Williamson
2023-11-07Allow effects from outer scope in effect handler fieldsMichael Williamson
2023-11-05Rename handlers to handlerFieldsMichael Williamson
2023-11-05Type-check effect handler fieldsMichael Williamson
2023-11-05Introduce FieldInfoMichael Williamson
2023-11-05Add builder for NamespaceTypeInfoMichael Williamson
2023-11-05Throw error if handling field not on effectMichael Williamson
2023-11-05Move error to correct packageMichael Williamson
2023-11-05Clarify test nameMichael Williamson
2023-11-05Throw error if effect field is not handledMichael Williamson
2023-11-05Support accessing fields on effectsMichael Williamson
2023-11-05Add builder for StructTypeInfoMichael Williamson
2023-11-05Check that handled effect is user-defined effectMichael Williamson
2023-11-05Add handled effect to try body effectsMichael Williamson
2023-11-05Add tests for effects in try bodyMichael Williamson
2023-11-05Type check body of try nodeMichael Williamson
2023-11-05Prevent capturing of varMichael Williamson
2023-11-04Rename effect functions to effect fieldsMichael Williamson
2023-11-04Add effect info for user defined effectsMichael Williamson
2023-11-04Create effect type when type checking effect definition nodeMichael Williamson
2023-11-03Implement subtyping for function typesMichael Williamson
2023-11-02Parse unit literalsMichael Williamson
2023-11-02Add type checking for unit literalMichael Williamson
2023-11-02Support type-checking return statements with no expressionMichael Williamson