git.iko.soy/elk
on ff9d643 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.hscosmetic: make "infer" more clear with ErrorT 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.hsPretty print aliases correctly for descriptors Unify.hsGet rid of debugging print that snuck in