Print hashCode of type lambdas under -uniqid

odersky · odersky · commit a7a4b8ea111b · 2017-04-24T19:02:32.000+02:00
That way we can trace where paramrefs come from.
diff --git a/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala b/compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala
@@ -174,7 +174,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
         def paramText(name: Name, bounds: TypeBounds): Text = name.toString ~ toText(bounds)
         changePrec(GlobalPrec) {
           "[" ~ Text((tp.paramNames, tp.paramInfos).zipped.map(paramText), ", ") ~
-          "]" ~ (" => " provided !tp.resultType.isInstanceOf[MethodType]) ~
+          "]" ~ lambdaHash(tp) ~ (" => " provided !tp.resultType.isInstanceOf[MethodType]) ~
           toTextGlobal(tp.resultType)
         }
       case tp: TypeParamRef =>

Original file line number	Diff line number	Diff line change
`@@ -174,7 +174,7 @@ class PlainPrinter(_ctx: Context) extends Printer {`
`174`	`174`	`def paramText(name: Name, bounds: TypeBounds): Text = name.toString ~ toText(bounds)`
`175`	`175`	`changePrec(GlobalPrec) {`
`176`	`176`	`"[" ~ Text((tp.paramNames, tp.paramInfos).zipped.map(paramText), ", ") ~`
`177`		`- "]" ~ (" => " provided !tp.resultType.isInstanceOf[MethodType]) ~`
	`177`	`+ "]" ~ lambdaHash(tp) ~ (" => " provided !tp.resultType.isInstanceOf[MethodType]) ~`
`178`	`178`	`toTextGlobal(tp.resultType)`
`179`	`179`	`}`
`180`	`180`	`case tp: TypeParamRef =>`