Commits

John McCall committed 8a2ac36836c
In typo-correction, pass down the TypeChecker as the LazyResolver. This should restore the invariant that various places in the AST are looking for, which is that declarations are considered invalid if they don't have certain things set.