git.iko.soy/elk
on 40aafc6 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.hsStop attempting to rigidify when popping scheme pool 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