aboutsummaryrefslogtreecommitdiff
path: root/src/main/java
AgeCommit message (Expand)Author
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
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
2024-02-11Create separate lib for patio runtimeMichael Williamson
2024-02-03Allow any int type in Patio switchMichael Williamson
2024-02-03Add visibility to mutable data elementsMichael Williamson
2024-02-03Add TODOMichael Williamson
2024-02-03Add visibility to PatioDataElementImmutableMichael Williamson
2024-02-02Store effect handler methods directlyMichael Williamson
2024-02-02Use runtime type tags as effect tags in effect handlerMichael Williamson
2024-02-02Fix use of type constantsMichael Williamson
generated by cgit v1.2.3 (git 2.46.0) at 2026-11-02 06:38:59 +0000