diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-02-15 11:01:11 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-02-17 18:39:36 +0100 |
| commit | 6324a75d39e4eab8a405dafd19480a0dbd4841ad (patch) | |
| tree | d030479ba9211bcccc3ff6d6492bdfea7a89b96c /src/dotty/tools/dotc/core/Denotations.scala | |
| parent | f3ba2dc0c69b31e3fa839f3c13c664ed6c143371 (diff) | |
| download | dotty-6324a75d39e4eab8a405dafd19480a0dbd4841ad.tar.gz dotty-6324a75d39e4eab8a405dafd19480a0dbd4841ad.tar.bz2 dotty-6324a75d39e4eab8a405dafd19480a0dbd4841ad.zip | |
Add diagnostic why a symbol is stale.
Diffstat (limited to 'src/dotty/tools/dotc/core/Denotations.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Denotations.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala index 2af3f463d..0f32d7ff3 100644 --- a/src/dotty/tools/dotc/core/Denotations.scala +++ b/src/dotty/tools/dotc/core/Denotations.scala @@ -590,7 +590,10 @@ object Denotations { } while (d ne denot) this case _ => - if (coveredInterval.containsPhaseId(ctx.phaseId)) staleSymbolError + if (coveredInterval.containsPhaseId(ctx.phaseId)) { + if (ctx.settings.debug.value) ctx.traceInvalid(this) + staleSymbolError + } else NoDenotation } |