From 0efd6b93cf45be4cb211093185fef2923f53ef67 Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Mon, 27 Mar 2017 17:33:11 +0200 Subject: Fix PrefixNameExtractor mkString --- compiler/src/dotty/tools/dotc/core/NameExtractors.scala | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/compiler/src/dotty/tools/dotc/core/NameExtractors.scala b/compiler/src/dotty/tools/dotc/core/NameExtractors.scala index ec7f00d32..ae7d65829 100644 --- a/compiler/src/dotty/tools/dotc/core/NameExtractors.scala +++ b/compiler/src/dotty/tools/dotc/core/NameExtractors.scala @@ -6,6 +6,7 @@ import NameOps._ import StdNames._ import util.DotClass import tasty.TastyFormat._ +import Decorators._ object NameExtractors { @@ -43,7 +44,8 @@ object NameExtractors { } class PrefixNameExtractor(tag: Int, prefix: String, infoString: String) extends ClassifiedNameExtractor(tag, infoString) { - def mkString(underlying: TermName, info: ThisInfo) = prefix ++ underlying + def mkString(underlying: TermName, info: ThisInfo) = + underlying.mapLast(n => termName(prefix + n)).toString } class SuffixNameExtractor(tag: Int, suffix: String, infoString: String) extends ClassifiedNameExtractor(tag, infoString) { -- cgit v1.2.3