aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
2023-10-29Use orElseThrow() instead of isPresent()/get()Michael Williamson
2023-10-29Pass partial signature when type checking function bodyMichael Williamson
2023-10-29Make param type optional in typed ASTMichael Williamson
2023-10-29Extract typeCheckTypeExpression()Michael Williamson
2023-10-29Use typeCheckEffect()Michael 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-29Add keyword "effect"Michael Williamson
2023-10-29Infer return type of function expressions properlyMichael Williamson
2023-10-29Support inferring return type from multiple return statementsMichael Williamson
2023-10-29Extract typeCheckFunctionReturnValue()Michael Williamson
2023-10-29Tidy up return type logicMichael 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-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-25Extract typeCheckFunctionBody()Michael Williamson
2023-10-25Remove old TODOMichael Williamson
2023-10-25Adding missing suffices to error typesMichael Williamson
2023-10-25Check for duplicate named params in function typeMichael Williamson
2023-10-25Introduce TypedFunctionSignatureNodeMichael Williamson
2023-10-25Introduce UntypedFunctionSignatureNodeMichael Williamson
2023-10-25Add test for duplicate param namesMichael Williamson
2023-10-25Extract function signature typesMichael 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-22Add whitespaceMichael Williamson
2023-10-22Fix name of Patio backendMichael Williamson
2023-10-22Move parser errors into their own packageMichael Williamson
2023-10-22Parse config immediatelyMichael Williamson
2023-10-22Use namespace name parser in config parserMichael Williamson
2023-10-22Add function to parse namespace nameMichael Williamson
2023-10-22Forbid leading zeroes in int literalMichael Williamson
2023-10-22Add proper description of function typeMichael Williamson
2023-10-22Parse function typesMichael Williamson
2023-10-22Parse visibility for sum typeMichael Williamson
generated by cgit v1.2.3 (git 2.46.0) at 2026-10-22 03:36:28 +0000