Fix bug in transformAfter: transform the last denotation in cycle.

DarkDimius · DarkDimius · commit ac7f47035eec · 2015-04-28T11:22:36.000+02:00
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala
@@ -639,12 +639,14 @@ object Denotations {
       var current = symbol.current
       while (current.validFor.firstPhaseId < phase.id && (current.nextInRun.validFor.code > current.validFor.code))
         current = current.nextInRun
-      while ((current.validFor.firstPhaseId >= phase.id) && (current.nextInRun.validFor.code > current.validFor.code)) {
+      var hasNext = true
+      while ((current.validFor.firstPhaseId >= phase.id) && hasNext) {
         val current1: SingleDenotation = f(current.asSymDenotation)
         if (current1 ne current) {
           current1.validFor = current.validFor
           current1.replaceDenotation(current)
         }
+        hasNext = current1.nextInRun.validFor.code > current1.validFor.code
         current = current1.nextInRun
       }
     }

Original file line number	Diff line number	Diff line change
`@@ -639,12 +639,14 @@ object Denotations {`
`639`	`639`	`var current = symbol.current`
`640`	`640`	`while (current.validFor.firstPhaseId < phase.id && (current.nextInRun.validFor.code > current.validFor.code))`
`641`	`641`	`current = current.nextInRun`
`642`		`- while ((current.validFor.firstPhaseId >= phase.id) && (current.nextInRun.validFor.code > current.validFor.code)) {`
	`642`	`+ var hasNext = true`
	`643`	`+ while ((current.validFor.firstPhaseId >= phase.id) && hasNext) {`
`643`	`644`	`val current1: SingleDenotation = f(current.asSymDenotation)`
`644`	`645`	`if (current1 ne current) {`
`645`	`646`	`current1.validFor = current.validFor`
`646`	`647`	`current1.replaceDenotation(current)`
`647`	`648`	`}`
	`649`	`+ hasNext = current1.nextInRun.validFor.code > current1.validFor.code`
`648`	`650`	`current = current1.nextInRun`
`649`	`651`	`}`
`650`	`652`	`}`