aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
2024-12-19Rename field access to member accessMichael Williamson
2024-12-19Add TODOMichael Williamson
2024-12-19Type check methods fullyMichael 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-11Compile Patio code for positional structsMichael Williamson
2024-12-11Type check calls to positional structsMichael 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-10Require consistency in positionality of struct fieldsMichael Williamson
2024-12-10Add basic parsing of positional struct fieldsMichael Williamson
2024-12-10Add extend keywordMichael Williamson
2024-06-12Reduce visibility of methodsMichael Williamson
2024-06-12Garbage collect on allocationMichael Williamson
2024-03-30Make LlvmCompiler staticMichael Williamson
2024-03-24Handle options in GC config for custom runtimesMichael Williamson
2024-03-24Support custom runtimes when compilingMichael Williamson
2024-03-24Clarify target dir is for runtimeMichael Williamson
2024-03-24Use profiles when compilingMichael Williamson
2024-03-24Add config for profilesMichael Williamson
2024-03-24Handle project configs without bins or examplesMichael Williamson
2024-03-20Set profile on command lineMichael Williamson
2024-03-20Clarify output path variablesMichael Williamson
2024-03-19Call GC init onceMichael Williamson
2024-03-19Use Python script to build runtimeMichael Williamson
2024-03-19Remove unnecessary malloc importMichael Williamson
2024-03-19Remove Patio alloc-stack instructionMichael Williamson
2024-03-03Add type-level args node for more specific sourceMichael Williamson
2024-03-03Check number of type-level argumentsMichael Williamson
2024-03-03Support calling functions with explicit type-level argsMichael Williamson
2024-03-02Support implicit effect argsMichael Williamson
2024-03-02Handle effect constraints in function subtypingMichael Williamson
2024-03-02Include effect params in constraint solvingMichael Williamson
2024-03-02Introduce effect argMichael Williamson
2024-03-02Implement type substitution for effect unionsMichael Williamson
2024-03-02Add TODOMichael Williamson
2024-03-02Add simple effect subsitutionMichael Williamson
2024-03-02Add type-level params into function body environmentMichael Williamson
2024-03-02Convert to imperative loopMichael Williamson
2024-03-02Extract inferTypeArgType()Michael Williamson
2024-03-02Remove typeLevelArgs field in ConstraintsMichael Williamson
2024-03-02Introduce TypeLevelParamMichael Williamson
2024-03-02Add test for type-checking type paramMichael Williamson
2024-03-02Add EffectParamMichael Williamson
2024-03-02Parse effect paramsMichael Williamson
2024-03-02Add test for parsing type paramMichael Williamson
2024-03-02Add UntypedEffectParamNodeMichael Williamson