git.iko.soy/elk
on 7f27a2f 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.hsCreate a newtype for Marks so ranks and marks never get mixed up 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