git.iko.soy/elk
on d3fa290 help sign in
elk/src/Type
1 folder, 9 files
../ Constrain/Update type constraint generators for new Reporting.Annotation Constraint.hsNo more schemes / stop using bags to track pattern bindings Inference.hsSwitch to Data.Map.Strict in type inference Instantiate.hsRevamp type constraint generation Occurs.hsUpdate some uses of UF for the shorter names Solve.hsUpdate for max tuple size of 3 in types State.hsSwitch Text to N.Name in Type.Type and Type.State Type.hsUpdate some uses of UF for the shorter names Unify.hsGet Type.Unify compiling / CPS-convert the code UnionFind.hsUse shorter names in UnionFind