git.iko.soy/elk
on 696ee0a 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.hsMake Type.State.introduce allocate a bit less State.hsMake Type.State.introduce allocate a bit less Type.hsMove Super type into AST.Types Unify.hsMove Super type into AST.Types UnionFind.hsBetter behavior when unifying with yourself