git.iko.soy/elk
on 5fcbf86 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Revamp type constraint generation Constraint.hsRevamp type constraint generation 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