git.iko.soy/elk
on 294f215 help sign in
elk/src/Type
1 folder, 10 files
../ Constrain/Add basic support for the loopback construct Environment.hsMark variables as unused in Type.Environment ExtraChecks.hsProperly preserve type aliases after canonicalization and through type inference Fragment.hsstyle: conform to modern style guide Hint.hsBail out of unification on first failure Inference.hsRefactor ExtraChecks to be clearer PrettyPrint.hsRename compiler/ to src/ Solve.hsBail out of unification on first failure State.hsProperly preserve type aliases after canonicalization and through type inference Type.hsProperly preserve type aliases after canonicalization and through type inference Unify.hsProperly preserve type aliases after canonicalization and through type inference