New scheme for recording positions

Single traverser, also handles lazy trees.

1 files changed, 7 insertions, 16 deletions

diff --git a/src/dotty/tools/dotc/core/pickling/TastyPrinter.scala b/src/dotty/tools/dotc/core/pickling/TastyPrinter.scala
index 94d57e081..751642a51 100644
--- a/src/dotty/tools/dotc/core/pickling/TastyPrinter.scala
+++ b/src/dotty/tools/dotc/core/pickling/TastyPrinter.scala
@@ -102,26 +102,17 @@ class TastyPrinter(bytes: Array[Byte])(implicit ctx: Context) {
       }
     }
   }
-  
+
   class PositionUnpickler extends SectionUnpickler[Unit]("Positions") {
     def unpickle(reader: TastyReader, tastyName: TastyName.Table): Unit = {
       import reader._
-
-      def unpickleOffsets(edge: Edge): Unit = {
-        var lastOffset = 0
-        var lastAddr = 0
-        val length = readNat()
-        println(s"$length offset bytes")
-        val end = currentAddr + length
-        until(end) {
-          lastOffset += readInt()
-          lastAddr += readInt()
-          println(s"$lastOffset: $lastAddr")
-        }
+      var lastOffset = 0
+      var lastAddr = 0
+      while (!isAtEnd) {
+        lastOffset += readInt()
+        lastAddr += readInt()
+        println(s"$lastOffset: $lastAddr")
       }
-      
-      unpickleOffsets(Edge.left)
-      unpickleOffsets(Edge.right)
     }
   }
 }
\ No newline at end of file