diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-09-30 13:52:38 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-09-30 13:52:38 +0200 |
| commit | ee4e2e0178d0db6494f2a971f5a5b9d3c8f732db (patch) | |
| tree | 473bc87edfd3210b37f8b649c74e6985ff1b8deb /src/dotty/tools/dotc/core/Types.scala | |
| parent | 48a1f089dd34a4554e98bb1edcc08eb7ebaee384 (diff) | |
| download | dotty-ee4e2e0178d0db6494f2a971f5a5b9d3c8f732db.tar.gz dotty-ee4e2e0178d0db6494f2a971f5a5b9d3c8f732db.tar.bz2 dotty-ee4e2e0178d0db6494f2a971f5a5b9d3c8f732db.zip | |
Fix a long sleeper bug
When setting the denotation we did not change the checked period.
This can lead to a situation where a denotation is set to NoDenotation,
yet the checked period is something else. This means in effect the denotation
will vanish at the checked period. This bug caused the junit test failure
about "non-member exception" for sourceFile in DottyBackendInterface.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index c35b9a35a..bce57ae23 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -1380,6 +1380,7 @@ object Types { lastDenotation = denot lastSymbol = denot.symbol + checkedPeriod = Nowhere } private[dotc] def withSym(sym: Symbol, signature: Signature)(implicit ctx: Context): ThisType = |