git.iko.soy/elk
on 6e2f87e help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Update a couple Type/ modules for AST shuffle Constraint.hsSwitch Type.Constraint to use Elm.Name Inference.hsSwitch to Data.Map.Strict in type inference Instantiate.hsUpdate a couple Type/ modules for AST shuffle Occurs.hsImplement occurs check with fewer operations and allocations Solve.hsUpdate for max tuple size of 3 in types State.hsSwitch Text to N.Name in Type.Type and Type.State Type.hsUpdate a couple Type/ modules for AST shuffle Unify.hsUpdate for max tuple size of 3 in types UnionFind.hsBetter behavior when unifying with yourself