aboutsummaryrefslogtreecommitdiff
path: root/src/test/java
AgeCommit message (Expand)Author
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-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-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
2023-10-29Pass partial signature when type checking function bodyMichael Williamson
2023-10-29Make param type optional in typed ASTMichael Williamson
2023-10-29Throw error if function definition is missing param typeMichael Williamson
2023-10-29Parse params without typesMichael Williamson
2023-10-29Add separate type for named params in function typeMichael Williamson
2023-10-29Check use of block returns when inferring return typesMichael Williamson
2023-10-29Infer return type of function expressions properlyMichael Williamson
2023-10-29Support inferring return type from multiple return statementsMichael Williamson
2023-10-29Support inferring return type from single return statementMichael Williamson
2023-10-29Throw error if function reaches end with inferred non-unit typeMichael Williamson
2023-10-29Allow function expression to have implicit unit return typeMichael Williamson
2023-10-29Remove unnecessary variable typeMichael Williamson
2023-10-29Check function definition has return typeMichael Williamson
2023-10-29Make return type optional in typed function signature nodeMichael Williamson
2023-10-29Remove type from typed function signature nodeMichael Williamson
2023-10-29Parse function signatures without return typeMichael Williamson
2023-10-28Compile expressions to stack IRMichael Williamson
2023-10-28Type check function expressionsMichael Williamson
2023-10-28Introduce TypedFunctionBodyNodeMichael Williamson
2023-10-25Clarify declaration vs definitionMichael Williamson
2023-10-25Adding missing suffices to error typesMichael Williamson
2023-10-25Check for duplicate named params in function typeMichael Williamson
2023-10-25Extract tests for type-checking function signaturesMichael Williamson
2023-10-25Introduce TypedFunctionSignatureNodeMichael Williamson
2023-10-25Introduce UntypedFunctionSignatureNodeMichael Williamson
2023-10-25Add test for duplicate param namesMichael Williamson
2023-10-24Type check named params in function typeMichael Williamson
2023-10-24Type check positional params in function typesMichael Williamson
2023-10-24Type-check effect in function typesMichael Williamson
2023-10-24Type check return type of function typeMichael Williamson
2023-10-24Parse function expressionsMichael Williamson
2023-10-22Check type of main functionMichael Williamson
2023-10-22Check main namespace existsMichael Williamson
2023-10-22Check that main function is presentMichael Williamson
2023-10-22Move parser errors into their own packageMichael Williamson
2023-10-22Add function to parse namespace nameMichael Williamson
2023-10-22Support parsing negative zeroMichael Williamson