git.iko.soy/elk
on c49ac3a help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Update type constraint generation for effects 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