git.iko.soy/elk
on 8a89c86 help sign in
8a89c86Shuffle the optimized AST to make code gen easierEvan Czaplicki 022925aTrack custom kernel tokens more preciselyEvan Czaplicki 77f542dTrack an index for each constructorEvan Czaplicki 2c1b2e8Update Nitpick.TopLevelTypes / fit main into Opt.Graph more nicelyEvan Czaplicki 8e73b5bCreate Optimize.Module for creating object graphsEvan Czaplicki 966edcdStart tracking field name countsEvan Czaplicki 57490fdGet Optimize.Port working againEvan Czaplicki d93de65Add Elm.Name.value NOINLINE constantEvan Czaplicki 9b18f28Hook up decision tree in optimize phaseEvan Czaplicki 2da8c0dBegin reviving the optimize phaseEvan Czaplicki 086880cUpdate pattern matches for less caching in canonical ASTEvan Czaplicki 3c00750Stop tracking uses and destructors in canonical ASTEvan Czaplicki 76d3d24Rename A.drop to A.toValueEvan Czaplicki 5c0adddAdd more NOINLINE namesEvan Czaplicki ddb7c79Switch canonicalization to CPS / gather usage counts for variablesEvan Czaplicki e41ae10Update exhaustiveness checks for more explicit Can.PatternEvan Czaplicki bac53deAdd info on alternate ctors to every pattern in canonicalizationEvan Czaplicki ea5c662Add a note about (a, List a) for non-empty listsEvan Czaplicki 7c33c13Get Type.Constrain.Module workingEvan Czaplicki 8b03cb7Get rid of Type.State and Solver monadEvan Czaplicki d3fa290Update some uses of UF for the shorter namesEvan Czaplicki 1be6293Use shorter names in UnionFindEvan Czaplicki 1aa236aUpdate validation for new Reporting.AnnotationEvan Czaplicki 179fad8Update type constraint generators for new Reporting.AnnotationEvan Czaplicki 2e0bedaUpdate canonicalizer for Reporting.Annotation simplificationEvan Czaplicki 212b602Update parser for Reporting.Annotation simplificationEvan Czaplicki 86148e8Simplify Reporting.Annotation to match simpler uses elsewhereEvan Czaplicki 90e4d45Get Type.Unify compiling / CPS-convert the codeEvan Czaplicki adb93faExpose Type.Type.SuperType since it moved from AST.TypeEvan Czaplicki afafd36No more schemes / stop using bags to track pattern bindingsEvan Czaplicki 5fcbf86Improve duplicate tracking a bit.Evan Czaplicki 6709d6fRevamp type constraint generationEvan Czaplicki a964796Shuffle canonicalization code to simplify type constraint generationEvan Czaplicki ea793f5Add Index.indexedForA for convenienceEvan Czaplicki 4386e4dGet Type.Constrain.Expression mostly updatedEvan Czaplicki 63fb3d0Ensure that free type variables are computed only onceEvan Czaplicki d9985bcAdd Data.Index.next so outsiders can iterate if necessaryEvan Czaplicki ea77dcfUpdate for AST shuffleEvan Czaplicki 3949a04Cut a bunch of helper functions from Type.ConstraintEvan Czaplicki 6e2f87eUpdate a couple Type/ modules for AST shuffleEvan Czaplicki e34add9Update validate for AST shuffleEvan Czaplicki 8867611Update canonicalize for AST shuffleEvan Czaplicki 9d6d260Update parser for AST shuffleEvan Czaplicki 77a954dShuffle all AST/ files aroundEvan Czaplicki 85b2e31Remove AST.Literal stuff from validation phaseEvan Czaplicki a4e2560Get rid of Type.Constrain.LiteralEvan Czaplicki e28d01eAdd a bunch of type primitivesEvan Czaplicki 4a6c4a0Make Type.Instantiate and Type.Constrain.Pattern more self-containedEvan Czaplicki a794af5Make separate structure for PCtor argsEvan Czaplicki 800c03fUpdate to use Data.IndexEvan Czaplicki