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

DarkDimius · DarkDimius · commit c1f442583ff3 · 2015-04-28T11:20:59.000+02:00
diff --git a/src/dotty/tools/dotc/core/Denotations.scala b/src/dotty/tools/dotc/core/Denotations.scala
@@ -637,12 +637,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
`@@ -637,12 +637,14 @@ object Denotations {`
`637`	`637`	`var current = symbol.current`
`638`	`638`	`while (current.validFor.firstPhaseId < phase.id && (current.nextInRun.validFor.code > current.validFor.code))`
`639`	`639`	`current = current.nextInRun`
`640`		`- while ((current.validFor.firstPhaseId >= phase.id) && (current.nextInRun.validFor.code > current.validFor.code)) {`
	`640`	`+ var hasNext = true`
	`641`	`+ while ((current.validFor.firstPhaseId >= phase.id) && hasNext) {`
`641`	`642`	`val current1: SingleDenotation = f(current.asSymDenotation)`
`642`	`643`	`if (current1 ne current) {`
`643`	`644`	`current1.validFor = current.validFor`
`644`	`645`	`current1.replaceDenotation(current)`
`645`	`646`	`}`
	`647`	`+ hasNext = current1.nextInRun.validFor.code > current1.validFor.code`
`646`	`648`	`current = current1.nextInRun`
`647`	`649`	`}`
`648`	`650`	`}`