git.iko.soy/elk
on f32c040 help sign in
elk/compiler/Type
1 folder, 9 files
../ Constrain/Add "alias" as a field in tvars and TermN's Environment.hsAdd "alias" as a field in tvars and TermN's ExtraChecks.hsRemove the Type.Alias module Fragment.hsSwitch imports from SourceSyntax to AST Inference.hsAdd "alias" as a field in tvars and TermN's PrettyPrint.hsremove reprime, many minor cosmetic changes Solve.hscosmetic: make adjustRank a bit easier to read State.hsAdd "alias" as a field in tvars and TermN's Type.hsAdd "alias" as a field in tvars and TermN's Unify.hsAdd "alias" as a field in tvars and TermN's