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