diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-13 14:42:32 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-13 14:42:32 +0100 |
commit | 7a482f18a47945e118c3ab44697b8b8bebe4002a (patch) | |
tree | 54d00cdc5e80cd04a184cce43daecd40891f3769 /src/dotty/tools/dotc/printing | |
parent | d778feed547bda33cf823e85a2e0696496df744e (diff) | |
download | dotty-7a482f18a47945e118c3ab44697b8b8bebe4002a.tar.gz dotty-7a482f18a47945e118c3ab44697b8b8bebe4002a.tar.bz2 dotty-7a482f18a47945e118c3ab44697b8b8bebe4002a.zip |
Follow through multople layers of instantiation when printing a typevar
Diffstat (limited to 'src/dotty/tools/dotc/printing')
-rw-r--r-- | src/dotty/tools/dotc/printing/PlainPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala index dbdc0d632..a2e7b21e8 100644 --- a/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -142,7 +142,7 @@ class PlainPrinter(_ctx: Context) extends Printer { toTextLocal(tpe) ~ " " ~ toText(annot) case tp: TypeVar => val suffix = if (tp.isInstantiated) "'" else "?" - toTextLocal(tp.underlying) ~ suffix // debug for now, so that we can see where the TypeVars are. + toTextLocal(tp.stripTypeVar) ~ suffix // debug for now, so that we can see where the TypeVars are. case _ => tp.fallbackToText(this) } |