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 | |
parent | 5d956bda6ba36bf9cfc9574d758f4043691fa2f6 (diff) | |
download | scala-e2b146bbef7479f8bbd2aed1f461ace30d541899.tar.gz scala-e2b146bbef7479f8bbd2aed1f461ace30d541899.tar.bz2 scala-e2b146bbef7479f8bbd2aed1f461ace30d541899.zip |
- Fixed printed phase name
Diffstat (limited to 'sources')
-rw-r--r-- | sources/scalac/Global.java | 2 | ||||
-rw-r--r-- | sources/scalac/Phase.java | 1 |
2 files changed, 2 insertions, 1 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; diff --git a/sources/scalac/Phase.java b/sources/scalac/Phase.java index 338067d7df..33190960bf 100644 --- a/sources/scalac/Phase.java +++ b/sources/scalac/Phase.java @@ -68,7 +68,6 @@ public abstract class Phase { /** Prints all compilation units. */ public void print(Global global) { TreePrinter printer = global.printer; - printer.beginSection(1, "Trees after phase " + this); for (int i = 0; i < global.units.length; i++) printer.print(global.units[i]); } |