git.iko.soy/elk
on 3e8eb7b 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.hsJust focus on effect modules, ignore foreign effects for now 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