git.iko.soy/elk
on befbaab help sign in
elk/compiler/Type
1 folder, 10 files
../ Constrain/Enable parsing of basic markdown interpolation Alias.hsAdd a note about what canonicalRealias does 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