aboutsummaryrefslogtreecommitdiff
path: root/src/main/java/org
AgeCommit message (Expand)Author
2023-11-20Mark mutability of variables up-frontMichael Williamson
2023-11-20Store whether bound variable is mutable or notMichael Williamson
2023-11-20Introduce explicit notion of a BoundVariableMichael Williamson
2023-11-19Extract isMutable() methodsMichael Williamson
2023-11-19Filter exported variables solely by visibilityMichael Williamson
2023-11-19Allow capture of vars in effect handler methods in type checkerMichael Williamson
2023-11-19Parse try expression as branching expressionMichael Williamson
2023-11-19Require explicit exit behaviour of handler methodsMichael Williamson
2023-11-19Implement basic effect handling in the runtimeMichael Williamson
2023-11-19Don't use result of popping effect handlerMichael Williamson
2023-11-19Fix assignment of allocated effectMichael Williamson
2023-11-19Generate Patio code for try statementsMichael Williamson
2023-11-19Extract declaration to constantMichael Williamson
2023-11-19Extract declaration to constantMichael Williamson
2023-11-19Generate Patio code for accessing effect methodMichael Williamson
2023-11-19Check for consistency in compilation unit elementsMichael Williamson
2023-11-19Add runtime sourceMichael Williamson
2023-11-19Add CheckReturnValue annotationMichael Williamson
2023-11-19Generate Patio code for defining an effectMichael Williamson
2023-11-19Add accessor for user defined effect infosMichael Williamson
2023-11-19Add accessor for effect tagsMichael Williamson
2023-11-19Generate effect tagsMichael Williamson
2023-11-19Rename tags to structTagsMichael Williamson
2023-11-19Implement FieldsInfo.fieldIndex() with FieldInfo.fieldIndex()Michael Williamson
2023-11-19Add field index to FieldInfoMichael Williamson
2023-11-19Remove unused codeMichael Williamson
2023-11-19Use iterable instead of streamMichael Williamson
2023-11-19Call valueStream() instead of entryStream()Michael Williamson
2023-11-19Make FieldsInfo iterableMichael Williamson
2023-11-19Add methodType() to UserDefinedEffectInfoMichael 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 TODOMichael Williamson
2023-11-07Add TODOMichael Williamson
2023-11-07Add define-effect instructionMichael Williamson
2023-11-07Rename effect field to effect methodMichael Williamson