git.iko.soy/elk
on 428b0a1 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.hsKeep a pool stack, not just old and young Occurs.hsDo not expose Description fields / optimize copy and flatten Solve.hsKeep a pool stack, not just old and young State.hsKeep a pool stack, not just old and young Type.hsMove Super type into AST.Types Unify.hsKeep a pool stack, not just old and young UnionFind.hsBetter behavior when unifying with yourself