git.iko.soy/elk
on 8713bd9 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.hsSwitch to Data.Map.Strict in type inference State.hsSwitch to Data.Map.Strict in type inference Type.hsMove code for instantiating source types into Type.Type Unify.hsUpdate Type.Unify for new AST UnionFind.hsBetter behavior when unifying with yourself