git.iko.soy/elk
on a964796 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Get Type.Constrain.Expression mostly updated 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