git.iko.soy/elk
on master help sign in
history ofea77dcf..master
compare
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