git.iko.soy/elk
on 702f99c 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.hscosmetic: make line a bit shorter 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.hsSwitch imports from SourceSyntax to AST State.hsremove reprime, many minor cosmetic changes Type.hsUse canonical names during type inference Unify.hsUse canonical names during type inference