diff options
author | Guillaume Martres <smarter@ubuntu.com> | 2015-03-18 23:55:50 +0100 |
---|---|---|
committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-05-01 13:26:22 +0200 |
commit | f168970f38df1d1ccc2b262f1a77f72cd4ec9f39 (patch) | |
tree | cdea400188d1e08e22b6e255d8d717deed3cdc76 | |
parent | a02ce561ca7078414141dbb326ea235af2e80e4b (diff) | |
download | dotty-f168970f38df1d1ccc2b262f1a77f72cd4ec9f39.tar.gz dotty-f168970f38df1d1ccc2b262f1a77f72cd4ec9f39.tar.bz2 dotty-f168970f38df1d1ccc2b262f1a77f72cd4ec9f39.zip |
RefinedPrinter: Pretty-print ErasedValueType
-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 64c818964..11d451255 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -3,6 +3,7 @@ package printing import core._ import Texts._, Types._, Flags._, Names._, Symbols._, NameOps._, Constants._ +import TypeErasure.ErasedValueType import Contexts.Context, Scopes.Scope, Denotations._, SymDenotations._, Annotations.Annotation import StdNames.nme import ast.{Trees, untpd, tpd} @@ -132,6 +133,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { return toText(tp.info) case ExprType(result) => return "=> " ~ toText(result) + case ErasedValueType(clazz, underlying) => + return "ErasedValueType(" ~ toText(clazz.typeRef) ~ ", " ~ toText(underlying) ~ ")" case tp: ClassInfo => return toTextParents(tp.instantiatedParents) ~ "{...}" case JavaArrayType(elemtp) => |