diff options
author | Paul Phillips <paulp@improving.org> | 2012-03-05 09:34:42 -0800 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2012-03-05 09:34:42 -0800 |
commit | ff43292ba3006626b32abc813c0117ef31d36b94 (patch) | |
tree | 7bc7c3d0febe810084f01fc1d64f1171c76eff22 /src | |
parent | 35252961db5da65307b3ba43ea9db76da73ee902 (diff) | |
download | scala-ff43292ba3006626b32abc813c0117ef31d36b94.tar.gz scala-ff43292ba3006626b32abc813c0117ef31d36b94.tar.bz2 scala-ff43292ba3006626b32abc813c0117ef31d36b94.zip |
Fix for phase-based logging.
Diffstat (limited to 'src')
-rw-r--r-- | src/compiler/scala/tools/nsc/Global.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/compiler/scala/tools/nsc/Global.scala b/src/compiler/scala/tools/nsc/Global.scala index 44dc2fe384..552479bc0b 100644 --- a/src/compiler/scala/tools/nsc/Global.scala +++ b/src/compiler/scala/tools/nsc/Global.scala @@ -773,7 +773,7 @@ class Global(var currentSettings: Settings, var reporter: Reporter) extends Symb * where the value compares unequal to the previous phase's value. */ def afterEachPhase[T](op: => T): List[(Phase, T)] = { - phaseDescriptors.map(_.ownPhase).foldLeft(List[(Phase, T)]()) { (res, ph) => + phaseDescriptors.map(_.ownPhase).filterNot(_ eq NoPhase).foldLeft(List[(Phase, T)]()) { (res, ph) => val value = afterPhase(ph)(op) if (res.nonEmpty && res.head._2 == value) res else ((ph, value)) :: res |