git.iko.soy/elk
on fe1e5d2 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.hsRename ADT to union 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