diff options
| author | Martin Odersky <odersky@gmail.com> | 2007-05-29 14:17:05 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2007-05-29 14:17:05 +0000 |
| commit | 8397c7b73c2930229eae509e089550b0c3020ce2 (patch) | |
| tree | 2d5101381353b7b2448708459339230a2a28c445 /src/compiler/scala/tools/nsc/Global.scala | |
| parent | 6018a932ce3ffc259914ee442f5ea3983439e0f1 (diff) | |
| download | scala-8397c7b73c2930229eae509e089550b0c3020ce2.tar.gz scala-8397c7b73c2930229eae509e089550b0c3020ce2.tar.bz2 scala-8397c7b73c2930229eae509e089550b0c3020ce2.zip | |
fixed bugs 1143, 1136, 1102
Diffstat (limited to 'src/compiler/scala/tools/nsc/Global.scala')
| -rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 31e4f162a3..9d76ab531c 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -497,8 +497,10 @@ class Global(var settings: Settings, var reporter: Reporter) extends SymbolTable phase = globalPhase globalPhase.run if (settings.print contains globalPhase.name) - if (globalPhase.id >= icodePhase.id) writeICode() + if (globalPhase.id >= icodePhase.id) writeICode() + else if (settings.Xshowtrees.value) nodePrinters.printAll() else treePrinter.printAll() + if (settings.browse contains globalPhase.name) treeBrowser.browse(units) informTime(globalPhase.description, startTime) globalPhase = globalPhase.next |