diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-12-16 16:20:27 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-12-16 16:20:27 +0100 |
| commit | 00507cf758cfafa36dc4da372a7e53028fa979a4 (patch) | |
| tree | e9d75bc94e0e8cb8fca9653b365cfccdb39f0066 | |
| parent | 5989fddb67509266a809e2464aa9d81125f65462 (diff) | |
| download | dotty-00507cf758cfafa36dc4da372a7e53028fa979a4.tar.gz dotty-00507cf758cfafa36dc4da372a7e53028fa979a4.tar.bz2 dotty-00507cf758cfafa36dc4da372a7e53028fa979a4.zip | |
Fix in printing RefinedTypes
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 3e3d63a0d..b4221d7eb 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -71,7 +71,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { if (tp.parent.isInstanceOf[WildcardType] || tp.refinedName == nme.WILDCARD) super.refinementNameString(tp) else { - val tsym = tp.member(tp.refinedName).symbol + val tsym = tp.parent.member(tp.refinedName).symbol if (!tsym.exists) super.refinementNameString(tp) else { val name = tsym.originalName |