git.iko.soy/elk
on bcae123 help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/Move the `markdown` function to the text library Alias.hsChose the best alias when many apply (fixes issue #227) Environment.hsStop using `error` when constraining patterns and when instantiating source types 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.hsFix accidental creation of rigid variables when type-checking mixed record types when a type alias is given