git.iko.soy/elk
on 1ed37fe help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/Add Strings as a primitive in the compiler Alias.hsChose the best alias when many apply (fixes issue #227) Environment.hsAdd Strings as a primitive in the compiler ExtraChecks.hsProperly perform extraChecks Fragment.hsUse new Located datastructure, add source strings where appropriate Inference.hsStop using `error` when constraining patterns and when instantiating source types PrettyPrint.hsreprime when printing types Solve.hsAdd occurs check and a test to make sure it works State.hsShow realiased types when printing errors and when printing module types Type.hsStop using `error` when constraining patterns and when instantiating source types Unify.hsAdd String as an appendable type