aboutsummaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Expand)Author
2024-12-10Require consistency in positionality of struct fieldsMichael Williamson
2024-12-10Add basic parsing of positional struct fieldsMichael Williamson
2024-12-10Add disabled example for struct positional fieldsMichael Williamson
2024-12-10Add disabled test for extensionsMichael Williamson
2024-12-10Allow INCLUDE_WIP_TESTS to be set to 0 to disable WIP testsMichael 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-02Test subsitution of user-defined effectMichael Williamson
2024-03-02Test substitution of IO and None effectsMichael Williamson
2024-03-02Directly test effect subsitutionMichael 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
2024-03-02Extract UntypedTypeParamNode from UntypedTypeLevelParamNodeMichael Williamson
2024-03-02Use hint for block returnsMichael Williamson
2024-03-02Include type-level params in inferred function typeMichael 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
generated by cgit v1.2.3 (git 2.46.0) at 2026-11-02 23:12:33 +0000