git.iko.soy/elk
on be0621b help sign in
elk/compiler/src/Type
1 folder, 7 files
../ Constrain/Start threading docs all the way through to canonical modules Error.hsChange "Ctor" to "Variant" / transition off Reporting.Region and Data.Text Instantiate.hsSwitch Type/ over to Data.Name Occurs.hsMove all the compiler code into the compiler/ directory Solve.hsReturn a non-empty list of errors in Type.Solve and Nitpick.PatternMatches Type.hsUpdate Type/* for changes in AST.Canonical and Reporting.Region Unify.hsAdd a specialized version of (>>) in type unification UnionFind.hsMove all the compiler code into the compiler/ directory