git.iko.soy/elk
on e6b8eb3 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Disallow equivalent representations of the same type Environment.hsDisallow equivalent representations of the same type Inference.hsDisallow equivalent representations of the same type Occurs.hsDisallow equivalent representations of the same type Solve.hsOnly crawl type alias variables in adjustRankContent (and other optimizations) State.hsDisallow equivalent representations of the same type Type.hsUse faster data structure in Type.Solve.generalize Unify.hsDisallow equivalent representations of the same type UnionFind.hsBetter behavior when unifying with yourself