git.iko.soy/elk
on 5cf1074 help sign in
elk/src/Type
1 folder, 10 files
../ Constrain/Add support for "perform" keyword Environment.hsMark variables as unused in Type.Environment ExtraChecks.hsCheck type of 'perform' declarations Fragment.hsstyle: conform to modern style guide Hint.hsBail out of unification on first failure Inference.hsCheck type of 'perform' declarations 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