on 9593f00 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Do DCE while generating JS. Environment.hsMove all tuple name generation to AST.Helpers Inference.hsStop holding FilePath in AST.Module Solve.hsUse AST.Module.Name.isKernel instead of string matching State.hsAdd SCC annotations throughout type inference Type.hsGet rid of pointless polymorphism in Type representations Unify.hsAdd SCC annotations throughout type inference UnionFind.hsImplement a custom union-find algorithm