git.iko.soy/elk
on e41ae10 help sign in
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 a0ee1f5Stop recognizing locally defined binopsEvan Czaplicki 64038dcUpdate canonicalization for dissolution of AST.LiteralEvan Czaplicki 6f43061Update parsers for dissolution of AST.LiteralEvan Czaplicki 232f7dcDissolve AST.Literal, be explicit in Source, Canonical, patterns, etc.Evan Czaplicki 7c09ac2Introduce Data.Index to try to reduce off-by-one errorsEvan Czaplicki 1762552No environment necessary when constraining patternsEvan Czaplicki 2e58494cosmetic: shuffle declarations to make it read betterEvan Czaplicki ad7ff0bCheck in intermediate forms of error tracking codeEvan Czaplicki 9bdfe2bGenerate type constraints for patterns without any type lookups!Evan Czaplicki 1aaf793Update for max tuple size of 3 in typesEvan Czaplicki f3ae567Switch Text to N.Name in Type.Type and Type.StateEvan Czaplicki 27cee06Store canonical types with pattern lookup tableEvan Czaplicki a8bfb99Implement occurs check with fewer operations and allocationsEvan Czaplicki 5bc3a70Switch to max tuple size of 3 in Type.Type / rewrite getVarNamesEvan Czaplicki 45aaf56Limit tuple size to 3 in AST.TypeEvan Czaplicki