diff options
| author | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2007-07-16 12:16:33 +0000 |
|---|---|---|
| committer | Gilles Dubochet <gilles.dubochet@epfl.ch> | 2007-07-16 12:16:33 +0000 |
| commit | d8116e7abdec017b939a75e87f0bffb474e2fc43 (patch) | |
| tree | 238240247cd67fd53a12914a216121e40ab6f66f /src/compiler/scala/tools/nsc/Global.scala | |
| parent | 511a3ff39a6c3c228cfb0ef4050087488f237c54 (diff) | |
| download | scala-d8116e7abdec017b939a75e87f0bffb474e2fc43.tar.gz scala-d8116e7abdec017b939a75e87f0bffb474e2fc43.tar.bz2 scala-d8116e7abdec017b939a75e87f0bffb474e2fc43.zip | |
Changed organisation of Scalac's command-line o...
Changed organisation of Scalac's command-line options to split them into
three categories: every-day use, advanced (-X) and private (-Y).
Diffstat (limited to 'src/compiler/scala/tools/nsc/Global.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 477f84e031..805b1e04a6 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -233,8 +233,6 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable if (forMSIL) new loaders.NamespaceLoader(classPath.root) else new loaders.PackageLoader(classPath.root /* getRoot() */) - val migrateMsg = "migration problem when moving from Scala version 1.0 to version 2.0:\n" - // Phases ------------------------------------------------------------ var globalPhase: Phase = NoPhase @@ -546,6 +544,8 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable if (globalPhase.id >= icodePhase.id) writeICode() else if (settings.Xshowtrees.value) nodePrinters.printAll() else treePrinter.printAll() + if (settings.printLate.value && globalPhase.name == "cleanup") + treePrinter.printAll() if (settings.browse contains globalPhase.name) treeBrowser.browse(units) informTime(globalPhase.description, startTime) |