git.iko.soy/elk
on eaea367 help sign in
elk/compiler/Type
1 folder, 9 files
../ Constrain/cosmetic: try to make -Wall happier Environment.hscosmetic: try to make -Wall happier ExtraChecks.hsRemove the Type.Alias module Fragment.hsSwitch imports from SourceSyntax to AST Inference.hscosmetic: try to make -Wall happier PrettyPrint.hsremove reprime, many minor cosmetic changes Solve.hscosmetic: try to make -Wall happier State.hsAdd "alias" as a field in tvars and TermN's Type.hscosmetic: try to make -Wall happier Unify.hsGet rid of debugging print that snuck in