aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/util/FreshNameCreator.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/dotty/tools/dotc/util/FreshNameCreator.scala')
-rw-r--r--src/dotty/tools/dotc/util/FreshNameCreator.scala10
1 files changed, 3 insertions, 7 deletions
diff --git a/src/dotty/tools/dotc/util/FreshNameCreator.scala b/src/dotty/tools/dotc/util/FreshNameCreator.scala
index d0c007d94..cc39008ed 100644
--- a/src/dotty/tools/dotc/util/FreshNameCreator.scala
+++ b/src/dotty/tools/dotc/util/FreshNameCreator.scala
@@ -24,15 +24,11 @@ object FreshNameCreator {
* that the returned name has never been returned by a previous
* call to this function (provided the prefix does not end in a digit).
*/
- def newName(prefix: String): String = {
+ def newName(prefix: String = ""): String = {
val safePrefix = prefix.replaceAll("""[<>]""", """\$""")
counters(safePrefix) += 1
-
- safePrefix + counters(safePrefix)
- }
- def newName(): String = {
- counter += 1
- "$" + counter + "$"
+ val counter = counters(safePrefix)
+ if (prefix.isEmpty) "$" + counter + "$" else safePrefix + counter
}
}
}