git.iko.soy/elk
on afafd36 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/No more schemes / stop using bags to track pattern bindings 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.hsUpdate a couple Type/ modules for AST shuffle Unify.hsUpdate for max tuple size of 3 in types UnionFind.hsBetter behavior when unifying with yourself