Commit Graph

5 Commits

Author SHA1 Message Date
Varun Gandhi
a1716fe2a6 [Diagnostics] Update compiler diagnostics to use less jargon. (#31315)
Fixes rdar://problem/62375243.
2020-04-28 14:11:39 -07:00
Slava Pestov
7eb131eba9 Sema: Remove TypeChecker::DelayedCircularityChecks
Since validateDecl() never calls back into typeCheckDecl(), I think
it's safe to call validateDecl() from circularity checking.
2019-07-16 14:26:54 -04:00
Doug Gregor
40919f900c [Type checker] Don't finalize decls from other source files after an error.
Per feedback from Jordan, this avoids extra work without missing
additional diagnostics from the current source file.
2018-07-26 09:41:07 -07:00
Doug Gregor
6a8d3211aa [Type checker] Move ad-hoc isObjC/isDynamic checking to finalization.
Whenever we visit a declaration via the DeclChecker, add it to the
list of declarations to finalize. This makes sure that we can centralize
the notion of “finalize for SILGen” and that it will be called for
everything in the source file being processed.
2018-07-25 20:55:13 -07:00
John McCall
91ffc9baaa Weaken the circularity re-delay assertion when errors have been emitted.
We don't finalize declarations when there's been an error, which means
we might never assign types to the stored properties/cases of a nominal
type from another file, which means that circularity checking for types
using those types be re-delayed.

Fixes SR-4594.
2017-04-19 01:08:41 -04:00