git.iko.soy/elk
on bfb8eca help sign in
history ofsrc/Type/Constrain/Pattern.hs
all commits
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