git.iko.soy/elk
on 0765fde 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.hsAdd some SCC annotations for generating type constraints 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