From dbb4b3f7923427af4ba6e04f258309421d5ee1ab Mon Sep 17 00:00:00 2001
From: Martin Odersky <odersky@gmail.com>
Date: Thu, 1 Aug 2013 18:21:23 +0200
Subject: 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).
---
 src/dotty/tools/dotc/printing/PlainPrinter.scala | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/dotty/tools/dotc/printing')

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)
     }
-- 
cgit v1.2.3