From 6f4b38cf9d1711ec525219d9b0b8049c95047f38 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Thu, 18 Jun 2015 11:23:38 +0200 Subject: Insert a space between symbol and `:' when printing SelectionProtos Previously, we'd see something like `? { :+: Int }`, which is confusing. Now we see instead `? { :+ : Int }`. --- src/dotty/tools/dotc/printing/RefinedPrinter.scala | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src') 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, _) => -- cgit v1.2.3