git.iko.soy/elk
on 7dfbc30 help sign in
history ofsrc/Type/Constrain/Pattern.hs
all commits
77f542dTrack an index for each constructorEvan Czaplicki bac53deAdd info on alternate ctors to every pattern in canonicalizationEvan Czaplicki 8b03cb7Get rid of Type.State and Solver monadEvan Czaplicki 179fad8Update type constraint generators for new Reporting.AnnotationEvan Czaplicki afafd36No more schemes / stop using bags to track pattern bindingsEvan Czaplicki 6709d6fRevamp type constraint generationEvan Czaplicki 4386e4dGet Type.Constrain.Expression mostly updatedEvan Czaplicki 6e2f87eUpdate a couple Type/ modules for AST shuffleEvan Czaplicki 4a6c4a0Make Type.Instantiate and Type.Constrain.Pattern more self-containedEvan Czaplicki 1762552No environment necessary when constraining patternsEvan Czaplicki 2e58494cosmetic: shuffle declarations to make it read betterEvan Czaplicki 9bdfe2bGenerate type constraints for patterns without any type lookups!Evan Czaplicki ed26ecaSwitch to Data.Map.Strict in type inferenceEvan Czaplicki 3e23ef2Use NOINLINE values to reduce allocation of Descriptors in constraint generationEvan Czaplicki dbe6c75Move constraint primitives into Type.ConstraintEvan Czaplicki 52e43bbDisallow equivalent representations of the same typeEvan Czaplicki d5b0b43Name changes for simpler Type representationEvan Czaplicki b09bb00Upgrade Type code from String to TextEvan Czaplicki 8506ed8Assume arguments match the type annotationsEvan Czaplicki 3b23d86Rename Environment to Env in type inferencerEvan Czaplicki afb08b8Move Type.Fragment into Type.Constrain.PatternEvan Czaplicki 3bd0d85Primarily rename *Pattern and *Decl to just * in a ton of placesEvan Czaplicki a28acb2Better model of types in Type.TypeEvan Czaplicki c9f3911Remove a bunch of Control.Applicative imports since we're only GHC 7.10 nowEvan Czaplicki 6fbbd1bAlways provide a specialized hint when unification failsEvan Czaplicki c62bea9Show proper errors for infinite types againEvan Czaplicki 2dadd1fAllow hints on type constraints, leading to improved error messagesEvan Czaplicki ee3b209Error reporting overhaul (BIG)Evan Czaplicki 914e047Rename compiler/ to src/Evan Czaplicki 9c61b17rename src/ to compiler/ because the runtime/ directory is going to be top-levelEvan Czaplicki bb5d079Remove redundant -W flags from source codeEvan Czaplicki 9cda2b2rename compiler/ to src/Evan Czaplicki