diff options
| author | Martin Odersky <odersky@gmail.com> | 2016-04-03 13:52:36 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2016-04-03 13:53:08 +0200 |
| commit | 079943e3cd18faa034aca3b154314e6f7a94a546 (patch) | |
| tree | b5b365b7f9d6f8c810a99f30a6a935af7e5fe1bc /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | d1ffa3e34610422cc8ec8a90c330cae548fa2ba6 (diff) | |
| download | dotty-079943e3cd18faa034aca3b154314e6f7a94a546.tar.gz dotty-079943e3cd18faa034aca3b154314e6f7a94a546.tar.bz2 dotty-079943e3cd18faa034aca3b154314e6f7a94a546.zip | |
Make erased value type take a TypeRef instead of a ClassSymbol
To address #1198, we need to avoid putting symbols in ErasedValueTypes.
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index e21f12410..55f0b244d 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -157,8 +157,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 ErasedValueType(tycon, underlying) => + return "ErasedValueType(" ~ toText(tycon) ~ ", " ~ toText(underlying) ~ ")" case tp: ClassInfo => return toTextParents(tp.parentsWithArgs) ~ "{...}" case JavaArrayType(elemtp) => |