diff options
| author | paltherr <paltherr@epfl.ch> | 2003-09-06 15:49:41 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2003-09-06 15:49:41 +0000 |
| commit | e2b146bbef7479f8bbd2aed1f461ace30d541899 (patch) | |
| tree | 6b8b379483332274db4868613f028c101db48238 /sources/scalac/Global.java | |
| parent | 5d956bda6ba36bf9cfc9574d758f4043691fa2f6 (diff) | |
| download | scala-e2b146bbef7479f8bbd2aed1f461ace30d541899.tar.gz scala-e2b146bbef7479f8bbd2aed1f461ace30d541899.tar.bz2 scala-e2b146bbef7479f8bbd2aed1f461ace30d541899.zip | |
- Fixed printed phase name
Diffstat (limited to 'sources/scalac/Global.java')
| -rw-r--r-- | sources/scalac/Global.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scalac/Global.java b/sources/scalac/Global.java index a7b8f1e143..4e23f40510 100644 --- a/sources/scalac/Global.java +++ b/sources/scalac/Global.java @@ -293,6 +293,7 @@ public class Global { currentPhase.apply(units); stop(currentPhase.descriptor.taskDescription()); if (currentPhase.descriptor.hasPrintFlag()) { + printer.beginSection(1, "Trees after phase " + currentPhase); // go to next phase to print symbols with their new type boolean next = currentPhase.next != null; if (next) currentPhase = currentPhase.next; @@ -328,6 +329,7 @@ public class Global { currentPhase.apply(new Unit[] {unit}); // !!! pb with Analyzer stop(currentPhase.descriptor.taskDescription()); if (currentPhase.descriptor.hasPrintFlag()) { + printer.beginSection(1, "Trees after phase " + currentPhase); // go to next phase to print symbols with their new type boolean next = currentPhase.next != null; if (next) currentPhase = currentPhase.next; |