git.iko.soy/elk
on 2e58494 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/cosmetic: shuffle declarations to make it read better Constraint.hsSwitch Type.Constraint to use Elm.Name Inference.hsSwitch to Data.Map.Strict in type inference Instantiate.hsGenerate type constraints for patterns without any type lookups! 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.hsGenerate type constraints for patterns without any type lookups! Unify.hsUpdate for max tuple size of 3 in types UnionFind.hsBetter behavior when unifying with yourself