git.iko.soy/elk
on 09076eb help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Use qualified Type.bool so it is a little bit clearer Constraint.hsUse NOINLINE values to reduce allocation of Descriptors in constraint generation Environment.hsUse NOINLINE values to reduce allocation of Descriptors in constraint generation Inference.hsUse NOINLINE values to reduce allocation of Descriptors in constraint generation Occurs.hsDo not expose Description fields / optimize copy and flatten Solve.hscosmetic: move generalize to bottom of Type.Solve module State.hsCreate a newtype for Marks so ranks and marks never get mixed up Type.hsMove Super type into AST.Types Unify.hsMove Super type into AST.Types UnionFind.hsBetter behavior when unifying with yourself