diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-01 18:21:23 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-01 18:21:23 +0200 |
commit | dbb4b3f7923427af4ba6e04f258309421d5ee1ab (patch) | |
tree | c8d47cbae32a0778d0bff3a22117d9d4a7c5ff7f /src/dotty/tools/dotc/printing/PlainPrinter.scala | |
parent | 413f364887d5bde7610adbbc08020e23470b4c8c (diff) | |
download | dotty-dbb4b3f7923427af4ba6e04f258309421d5ee1ab.tar.gz dotty-dbb4b3f7923427af4ba6e04f258309421d5ee1ab.tar.bz2 dotty-dbb4b3f7923427af4ba6e04f258309421d5ee1ab.zip |
Handling typevars in inference.
Fleshed out handling of typevars for type inference. Also added some more methods to typer, for blocks, ifs and assignments. (Closures are still wip).
Diffstat (limited to 'src/dotty/tools/dotc/printing/PlainPrinter.scala')
-rw-r--r-- | src/dotty/tools/dotc/printing/PlainPrinter.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/printing/PlainPrinter.scala b/src/dotty/tools/dotc/printing/PlainPrinter.scala index b903a5ce1..04afa5709 100644 --- a/src/dotty/tools/dotc/printing/PlainPrinter.scala +++ b/src/dotty/tools/dotc/printing/PlainPrinter.scala @@ -137,6 +137,8 @@ class PlainPrinter(_ctx: Context) extends Printer { toText(polyParamName(pt.paramNames(n))) case AnnotatedType(annot, tpe) => toTextLocal(tpe) ~ " " ~ toText(annot) + case tp: TypeVar => + toTextLocal(tp.underlying) case _ => tp.fallbackToText(this) } |