git.iko.soy/elk
on a8bfb99 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Update type constraint generation for effects Constraint.hsSwitch Type.Constraint to use Elm.Name Inference.hsSwitch to Data.Map.Strict in type inference Occurs.hsImplement occurs check with fewer operations and allocations Solve.hsUpdate Type.Solve for new AST State.hsUpdate Type.State for new AST Type.hsSwitch to max tuple size of 3 in Type.Type / rewrite getVarNames Unify.hsUpdate Type.Unify for new AST UnionFind.hsBetter behavior when unifying with yourself