diff options
author | Martin Odersky <odersky@gmail.com> | 2012-01-01 21:48:44 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2012-01-01 21:48:44 +0100 |
commit | f9c73f819ef40293caff08b03f8d816d45fc2b72 (patch) | |
tree | 62b769eda2ee3670f510c0cf01c9d7b1a8573504 | |
parent | 82c793a438c7bd802daf96c8b2012f54fbd737ba (diff) | |
download | scala-f9c73f819ef40293caff08b03f8d816d45fc2b72.tar.gz scala-f9c73f819ef40293caff08b03f8d816d45fc2b72.tar.bz2 scala-f9c73f819ef40293caff08b03f8d816d45fc2b72.zip |
Hardening of adaptoNewRun to survive issues in presentation compiler.
Previously, adaptToNewRun crashed when an object declaration got replaced by a value with the same name, because the module class no longer existed. This caused crashes in the presentation compiler when class files disappeared because of a clean build. The new behavior avoids assertion errors.
-rw-r--r-- | src/compiler/scala/reflect/internal/Types.scala | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/src/compiler/scala/reflect/internal/Types.scala b/src/compiler/scala/reflect/internal/Types.scala index 690f9b7204..a644baf9f9 100644 --- a/src/compiler/scala/reflect/internal/Types.scala +++ b/src/compiler/scala/reflect/internal/Types.scala @@ -4284,10 +4284,14 @@ A type's typeSymbol should never be inspected directly. definitions.RootPackage } else if (sym.isModuleClass) { val sourceModule1 = adaptToNewRun(pre, sym.sourceModule) - val result = sourceModule1.moduleClass - val msg = "sym = %s, sourceModule = %s, sourceModule.moduleClass = %s => sourceModule1 = %s, sourceModule1.moduleClass = %s" - assert(result != NoSymbol, msg.format(sym, sym.sourceModule, sym.sourceModule.moduleClass, sourceModule1, sourceModule1.moduleClass)) - result + var result = sourceModule1.moduleClass + if (result == NoSymbol) result = sourceModule1.initialize.moduleClass + if (result != NoSymbol) result + else { + val msg = "Cannot adapt module class; sym = %s, sourceModule = %s, sourceModule.moduleClass = %s => sourceModule1 = %s, sourceModule1.moduleClass = %s" + debuglog(msg.format(sym, sym.sourceModule, sym.sourceModule.moduleClass, sourceModule1, sourceModule1.moduleClass)) + sym + } } else if ((pre eq NoPrefix) || (pre eq NoType) || sym.isPackageClass) { sym } else { |