git.iko.soy/elk
on 55420d4 help sign in
elk/src/Type
1 folder, 10 files
../ Constrain/Add support for "perform" keyword Environment.hsTrack dealiasing more precisely 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.hsTrack dealiasing more precisely Unify.hsProperly preserve type aliases after canonicalization and through type inference