git.iko.soy/elk
on adb93fa help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Expose Type.Type.SuperType since it moved from AST.Type Constraint.hsNo more schemes / stop using bags to track pattern bindings Inference.hsSwitch to Data.Map.Strict in type inference Instantiate.hsRevamp type constraint generation 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.hsExpose Type.Type.SuperType since it moved from AST.Type Unify.hsUpdate for max tuple size of 3 in types UnionFind.hsBetter behavior when unifying with yourself