git.iko.soy/elk
on ca62ee6 help sign in
elk/compiler/Type
1 folder, 6 files
../ Constrain/Start adding constraint generation for declarations. Environment.hsAdd pretty printing for type constraints. Fragment.hsMove the Environment.hs and Fragment.hs files down a directory. Solve.hsCreate type pools, have an organized model of state to flow through the State Transformer during constraint solving and variable unification. State.hsCreate type pools, have an organized model of state to flow through the State Transformer during constraint solving and variable unification. Type.hsAdd pretty printing for type constraints. Unify.hsCreate type pools, have an organized model of state to flow through the State Transformer during constraint solving and variable unification.