git.iko.soy/elk
on d163289 help sign in
elk/src/Type
1 folder, 7 files
../ Constrain/Primarily rename *Pattern and *Decl to just * in a ton of places Environment.hsRename ADT to union Fragment.hsShow proper errors for infinite types again Inference.hsParse more liberally, give errors in validation phase for better messages Solve.hsResolve a bunch of warnings State.hsMake the error message more demanding Type.hsFix problem where added type variable names were trashed Unify.hsFix #1143, properly unify rigid type vars that are supers