From 4c80f8949c816f944ff20f9fe07b842eb6164554 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 5 Mar 2015 17:10:16 +0100 Subject: Tweak to printing Typevars --- src/dotty/tools/dotc/printing/PlainPrinter.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala index 8bc029f32..0bd1d4499 100644 --- a/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -141,7 +141,8 @@ class PlainPrinter(_ctx: Context) extends Printer { toTextLocal(tpe) ~ " " ~ toText(annot) case tp: TypeVar => if (tp.isInstantiated) - toTextLocal(tp.instanceOpt) ~ ("'" provided !ctx.settings.YtestPickler.value) // debug for now, so that we can see where the TypeVars are. + if (ctx.settings.YtestPickler.value) toText(tp.instanceOpt) + else toTextLocal(tp.instanceOpt) // debug for now, so that we can see where the TypeVars are. else { val constr = ctx.typerState.constraint val bounds = -- cgit v1.2.3