git.iko.soy/elk
on cac7198 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.hsSwitch to Data.Map.Strict in type inference UnionFind.hsBetter behavior when unifying with yourself