aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
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-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-07Set ReturnTypeState in PartialFunctionSignatureMichael 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-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-05Type check body of try nodeMichael Williamson
2023-11-05Prevent capturing of varMichael Williamson
2023-11-04Add typed try nodeMichael Williamson
2023-11-04Use new reversed() method on ListMichael 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-03Update UserDefinedEffect to be consistent with StructType et alMichael Williamson
2023-11-03Implement subtyping for function typesMichael Williamson
2023-11-03Add user defined effects to type systemMichael 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
2023-11-02Add typed unit nodeMichael Williamson
2023-11-02Parse return statements without expressionMichael Williamson
2023-11-02Allow resume statements without expressionMichael Williamson
2023-11-02Parse resume statementsMichael Williamson
2023-11-02Parse try expressionsMichael Williamson
2023-11-02Add resume keywordMichael Williamson
2023-11-01Handle behaviour of if expressions properlyMichael Williamson
2023-10-31Parse effect functionsMichael Williamson
2023-10-31Parse effect visibilityMichael Williamson
2023-10-31Parse empty effect definitionsMichael Williamson
2023-10-31Add keyword handleMichael Williamson
2023-10-31Add try keywordMichael Williamson
2023-10-29Remove unsafe functionsMichael Williamson
2023-10-29Throw appropriate error when param type cannot be inferredMichael Williamson
2023-10-29Infer named param types from hintMichael Williamson
2023-10-29Infer type of positional param from hintMichael Williamson
2023-10-29Pass hint when type checking expressionMichael Williamson