aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
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
2023-10-22Have UntypedSumTypeDefinitionNode implement UntypedVariableDeclarationNodeMichael Williamson
2023-10-22Add visibility to UntypedSumTypeDefinitionNodeMichael Williamson
2023-10-22Have UntypedImportNode implement UntypedVariableDeclarationNodeMichael Williamson
2023-10-22Have UntypedStructDefinitionNode implement UntypedVariableDeclarationNodeMichael Williamson
2023-10-22Add DeclaredVariable.fromNode()Michael Williamson
2023-10-22Add visibility for structsMichael Williamson
2023-10-22Add explicit visibilityMichael Williamson
2023-10-22Parse visibility for valsMichael Williamson
2023-10-22Parse visibility of functionsMichael Williamson
2023-10-22Add pub keywordMichael Williamson
2023-10-22Add fn keywordMichael Williamson
2023-10-21Generate stack IR for field access on namespaceMichael Williamson
2023-10-21Generate stack IR for importsMichael Williamson
2023-10-21Add imports as bound variablesMichael Williamson
2023-10-21Add imports to typed namespace nodeMichael Williamson
2023-10-21Export vals from namespace in type checkerMichael Williamson
2023-10-21Make TypeCheckerContext constructor privateMichael Williamson
2023-10-21Order namespacesMichael Williamson
2023-10-21Reorder functionsMichael Williamson
2023-10-21Extract function to parse source filesMichael Williamson
2023-10-21Remove unused type paramMichael Williamson
2023-10-21Support type checking field access on namespaceMichael Williamson
2023-10-20Support import of namespaces in type checkerMichael Williamson