From 0a16caa5881b312f5cd3817fd4036436ed1d58b5 Mon Sep 17 00:00:00 2001
From: Den Shabalin <den.shabalin@gmail.com>
Date: Fri, 11 Oct 2013 15:55:46 +0200
Subject: use NameTransformer.encode for fresh name prefix sanitization

---
 src/reflect/scala/reflect/internal/util/FreshNameCreator.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/reflect')

diff --git a/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala b/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala
index 8fe4a715f3..c8347cfeaa 100644
--- a/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala
+++ b/src/reflect/scala/reflect/internal/util/FreshNameCreator.scala
@@ -7,6 +7,7 @@ package scala.reflect.internal
 package util
 
 import scala.collection.mutable
+import scala.reflect.NameTransformer
 
 class FreshNameCreator {
   protected var counter = 0
@@ -18,9 +19,8 @@ class FreshNameCreator {
    * call to this function (provided the prefix does not end in a digit).
    */
   def newName(prefix: String): String = {
-    val safePrefix = prefix.replaceAll("""[<>]""", """\$""")
+    val safePrefix = NameTransformer.encode(prefix)
     counters(safePrefix) += 1
-
     safePrefix + counters(safePrefix)
   }
 
-- 
cgit v1.2.3