git.iko.soy/elk
on 14ef71a help sign in
elk/compiler/Type
1 folder, 9 files
../ Constrain/Fix #630, correctly determine type of as-patterns Environment.hscosmetic: try to make -Wall happier ExtraChecks.hsUpdate changelog and error messages for type aliases in port types Fragment.hsSwitch imports from SourceSyntax to AST Inference.hscosmetic: make "infer" more clear with ErrorT PrettyPrint.hsremove reprime, many minor cosmetic changes Solve.hscosmetic: switch to forM to improve style State.hscosmetic: make names more consistent Type.hsRemove redundant calls to addNames in toSrcType Unify.hsGet rid of debugging print that snuck in