diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-08-28 22:35:09 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-08-28 22:36:49 +0200 |
| commit | aae91eddee1a90dc5312ce156b772f090001721f (patch) | |
| tree | 6ce2de879d48939ba1914e8e450ff77f45c5c89c /src/dotty/tools/dotc/printing/RefinedPrinter.scala | |
| parent | f7d3f3b12e0f3f69954bfb9980134968abf541f5 (diff) | |
| download | dotty-aae91eddee1a90dc5312ce156b772f090001721f.tar.gz dotty-aae91eddee1a90dc5312ce156b772f090001721f.tar.bz2 dotty-aae91eddee1a90dc5312ce156b772f090001721f.zip | |
Fixes to erasure to make -Ycheck:all work.
Main change: Introduce JavaArrayType as a new type constructor
for Java erased array. Translate all methods of Array class during
erasure to primitive operations on arrays.
Some other small fixes for more localized problems.
Diffstat (limited to 'src/dotty/tools/dotc/printing/RefinedPrinter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 7669b1a3a..0da9b6d54 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -122,6 +122,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { return "=> " ~ toText(result) case tp: ClassInfo => return toTextParents(tp.instantiatedParents) ~ "{...}" + case JavaArrayType(elemtp) => + return toText(elemtp) ~ "[]" case tp: SelectionProto => return toText(RefinedType(WildcardType, tp.name, tp.memberProto)) case tp: ViewProto => |