aboutsummaryrefslogtreecommitdiff
path: root/src/main/java/org/shedlang/compiler/ast
AgeCommit message (Expand)Author
2025-02-09Parse type-level params for function typeMichael Williamson
2025-02-09Use function type parsing for native function declarationsMichael Williamson
2025-02-07Add TODOMichael Williamson
2025-02-07Add basic type checking for native type declarationsMichael Williamson
2025-02-02Type check int multiplicationMichael Williamson
2025-02-02Generate Shid instructions for int multiplyMichael Williamson
2025-02-02Type check relational operations for integersMichael Williamson
2025-02-02Parse greater than or equal expressionsMichael Williamson
2025-02-02Parse greater than expressionsMichael Williamson
2025-02-02Parse less than or equal expressionsMichael Williamson
2025-02-02Parse less than expressionsMichael Williamson
2025-02-02Parse native type declarationsMichael Williamson
2025-01-17Add support for native functionsMichael Williamson
2025-01-12Type check native function declarationsMichael Williamson
2025-01-12Parse native function declarationsMichael Williamson
2024-12-20Add Shid code gen for methods on structsMichael Williamson
2024-12-20Store member kind in type member access nodesMichael Williamson
2024-12-19Rename field access to member accessMichael Williamson
2024-12-19Create method information for methods in structMichael Williamson
2024-12-19Add methods to typed struct definition nodeMichael Williamson
2024-12-19Define methods directly on structMichael Williamson
2024-12-11Parse methods in extend inline nodeMichael Williamson
2024-12-11Parse empty inline extendMichael Williamson
2024-12-11Move field positionality from struct field to structMichael Williamson
2024-12-10Preserve positionality of struct fields when typing structMichael Williamson
2024-12-10Add basic parsing of positional struct fieldsMichael Williamson
2024-03-03Add type-level args node for more specific sourceMichael Williamson
2024-03-02Introduce TypeLevelParamMichael Williamson
2024-03-02Add UntypedEffectParamNodeMichael Williamson
2024-03-02Extract UntypedTypeParamNode from UntypedTypeLevelParamNodeMichael Williamson
2024-03-02Include type-level params in TypedFunctionSignatureNodeMichael Williamson
2024-03-02Use type level params when type checking function signatureMichael Williamson
2024-02-25Parse type level params in function signatureMichael Williamson
2024-01-03Introduce base types for struct types and sum types respectivelyMichael Williamson
2023-12-31Add type-level params to FunctionTypeMichael Williamson
2023-12-29Store SumVariant in TypedWhenCaseNodeMichael Williamson
2023-12-29Create type constructor for generic sum type definitionsMichael Williamson
2023-12-29Change TypedSumTypeDefinitionNode to have typeOrConstructor()Michael Williamson
2023-12-26Support constructed struct type constructorsMichael Williamson
2023-12-26Parse absent type-level argsMichael Williamson
2023-12-23Add basic type checking for constructed typesMichael Williamson
2023-12-23Create type constructor for structs with type paramsMichael Williamson
2023-12-23Parse constructed typesMichael Williamson
2023-12-23Parse type level params for sum typesMichael Williamson
2023-12-23Parse struct type level paramsMichael Williamson
2023-12-20Extract and test namespace linearisationMichael Williamson
2023-12-13Use Shid bound variables to generate Patio variablesMichael Williamson
2023-12-03Store handled effect in typed break nodeMichael Williamson
2023-12-03Use break statements to determine type of try expressionMichael Williamson
2023-12-02Type check break statementsMichael Williamson