git.iko.soy/elk
on 90e4d45 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.hsGet Type.Unify compiling / CPS-convert the code UnionFind.hsBetter behavior when unifying with yourself