git.iko.soy/elk
on 00a3069 help sign in
history ofsrc/Type/Constraint.hs
all commits
28a748bGet rid of Type.Constraint.Category that is not in use anymoreEvan Czaplicki 1966810Rename to CLocal and CForeign / track variable names a bit differentEvan Czaplicki b371450Add additional metadata for TooManyArguments errorEvan Czaplicki 7c33c13Get Type.Constrain.Module workingEvan Czaplicki 8b03cb7Get rid of Type.State and Solver monadEvan Czaplicki afafd36No more schemes / stop using bags to track pattern bindingsEvan Czaplicki 6709d6fRevamp type constraint generationEvan Czaplicki 3949a04Cut a bunch of helper functions from Type.ConstraintEvan Czaplicki 5a63520Switch Type.Constraint to use Elm.NameEvan 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