diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-29 16:39:04 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-29 16:39:04 +0100 |
commit | 0225d799c3fa99cad3a97697fbf41ad2a7f91b8b (patch) | |
tree | ff17e4e4acbaa459c814f9ded7567dfe7bc1f57f /src/dotty/tools/dotc/printing | |
parent | a80cf94570cdd7eaa1b7a9a8c82fe7e535688a91 (diff) | |
download | dotty-0225d799c3fa99cad3a97697fbf41ad2a7f91b8b.tar.gz dotty-0225d799c3fa99cad3a97697fbf41ad2a7f91b8b.tar.bz2 dotty-0225d799c3fa99cad3a97697fbf41ad2a7f91b8b.zip |
Implements refined printing of ViewProto
Diffstat (limited to 'src/dotty/tools/dotc/printing')
-rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 6b5eb6fde..ba896c4d3 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -7,6 +7,7 @@ import Contexts.Context, Scopes.Scope, Denotations.Denotation, Annotations.Annot import StdNames.nme import ast.{Trees, untpd} import typer.Namer +import typer.Inferencing.ViewProto import Trees._ import scala.annotation.switch @@ -106,6 +107,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { } return (toTextLocal(tycon) ~ "[" ~ Text(args map argText, ", ") ~ "]").close } + case tp: ViewProto => + return toText(tp.argType) ~ " ?=>? " ~ toText(tp.resultType) case tp @ TypeRef(pre, name) => if (tp.symbol is TypeParam | TypeArgument) { return tp.info match { |