git.iko.soy/elk
on 5bc3a70 help sign in
elk/src/Type
1 folder, 8 files
../ Constrain/Update type constraint generation for effects Constraint.hsSwitch Type.Constraint to use Elm.Name 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.hsSwitch to max tuple size of 3 in Type.Type / rewrite getVarNames Unify.hsUpdate Type.Unify for new AST UnionFind.hsBetter behavior when unifying with yourself