git.iko.soy/elk
on 85b2e31 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Get rid of Type.Constrain.Literal Constraint.hsSwitch Type.Constraint to use Elm.Name Inference.hsSwitch to Data.Map.Strict in type inference Instantiate.hsMake Type.Instantiate and Type.Constrain.Pattern more self-contained Occurs.hsImplement occurs check with fewer operations and allocations Solve.hsUpdate for max tuple size of 3 in types State.hsSwitch Text to N.Name in Type.Type and Type.State Type.hsAdd a bunch of type primitives Unify.hsUpdate for max tuple size of 3 in types UnionFind.hsBetter behavior when unifying with yourself