diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-18 11:23:38 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-22 11:40:20 +0200 |
| commit | 6f4b38cf9d1711ec525219d9b0b8049c95047f38 (patch) | |
| tree | c2aacf8fdd9370bd4c129af5eea53430dc33d770 /src | |
| parent | f03f5b0bea0296564c3f41e4375ead48819254d0 (diff) | |
| download | dotty-6f4b38cf9d1711ec525219d9b0b8049c95047f38.tar.gz dotty-6f4b38cf9d1711ec525219d9b0b8049c95047f38.tar.bz2 dotty-6f4b38cf9d1711ec525219d9b0b8049c95047f38.zip | |
Insert a space between symbol and `:' when printing SelectionProtos
Previously, we'd see something like `? { :+: Int }`, which is confusing.
Now we see instead `? { :+ : Int }`.
Diffstat (limited to 'src')
| -rw-r--r-- | src/dotty/tools/dotc/printing/RefinedPrinter.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/src/dotty/tools/dotc/printing/RefinedPrinter.scala index 2288fe9c0..70fab7e0f 100644 --- a/src/dotty/tools/dotc/printing/RefinedPrinter.scala +++ b/src/dotty/tools/dotc/printing/RefinedPrinter.scala @@ -148,7 +148,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) { case JavaArrayType(elemtp) => return toText(elemtp) ~ "[]" case tp: SelectionProto => - return "?{ " ~ toText(tp.name) ~ ": " ~ toText(tp.memberProto) ~ " }" + return "?{ " ~ toText(tp.name) ~ (" " provided !tp.name.decode.last.isLetterOrDigit) ~ + ": " ~ toText(tp.memberProto) ~ " }" case tp: ViewProto => return toText(tp.argType) ~ " ?=>? " ~ toText(tp.resultType) case tp @ FunProto(args, resultType, _) => |