git.iko.soy/elk
on 9715180 help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/remove reprime, many minor cosmetic changes Alias.hsDummy implementations until everything else works Environment.hsFilter unused modules ExtraChecks.hsTake steps to allow higher kinded polymorphism Fragment.hsSwitch imports from SourceSyntax to AST Inference.hsCanonicalize values and ADTs before type inference PrettyPrint.hsremove reprime, many minor cosmetic changes Solve.hscosmetic: make adjustRank a bit easier to read State.hsremove reprime, many minor cosmetic changes Type.hsUse canonical names during type inference Unify.hsUse canonical names during type inference