git.iko.soy/elk
on 3949a04 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Update a couple Type/ modules for AST shuffle Constraint.hsCut a bunch of helper functions from Type.Constraint 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