Ignore LazyRefs in Tasty pickling comparisons

odersky · odersky · commit 4aceaafba85e · 2016-05-03T22:03:35.000+02:00
This came up when tasty-checking Eq.scala.
diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala
@@ -51,6 +51,8 @@ class PlainPrinter(_ctx: Context) extends Printer {
         case tp @ TypeRef(_, tpnme.hkApply) =>
           val tp1 = tp.reduceProjection
           if (tp1 eq tp) tp else homogenize(tp1)
+        case tp: LazyRef =>
+          homogenize(tp.ref)
         case _ =>
           tp
       }

Original file line number	Diff line number	Diff line change
`@@ -51,6 +51,8 @@ class PlainPrinter(_ctx: Context) extends Printer {`
`51`	`51`	`case tp @ TypeRef(_, tpnme.hkApply) =>`
`52`	`52`	`val tp1 = tp.reduceProjection`
`53`	`53`	`if (tp1 eq tp) tp else homogenize(tp1)`
	`54`	`+ case tp: LazyRef =>`
	`55`	`+ homogenize(tp.ref)`
`54`	`56`	`case _ =>`
`55`	`57`	`tp`
`56`	`58`	`}`