git.iko.soy/elk
on dfdb2c0 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.hsFix #694, converting types to source types Unify.hsProperly preserve type aliases after canonicalization and through type inference