git.iko.soy/elk
on 854eeaa 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.hsAdd an occurs check to finally resolve #294 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 an occurs check to finally resolve #294 State.hsAdd an occurs check to finally resolve #294 Type.hsStop using `error` when constraining patterns and when instantiating source types Unify.hsAdd an occurs check to finally resolve #294