git.iko.soy/elk
on 24caf2a help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Update Type.Constrain.Literal for new AST Constraint.hsSwitch to Data.Map.Strict in type inference Inference.hsSwitch to Data.Map.Strict in type inference Occurs.hsUpdate Type.Occurs for new AST Solve.hsUpdate Type.Solve for new AST State.hsUpdate Type.State for new AST Type.hsMove code for instantiating source types into Type.Type Unify.hsUpdate Type.Unify for new AST UnionFind.hsBetter behavior when unifying with yourself