diff options
Diffstat (limited to 'compiler/src/dotty/tools/dotc/util/FreshNameCreator.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/util/FreshNameCreator.scala | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compiler/src/dotty/tools/dotc/util/FreshNameCreator.scala b/compiler/src/dotty/tools/dotc/util/FreshNameCreator.scala index 529e30f05..5dbec3e5a 100644 --- a/compiler/src/dotty/tools/dotc/util/FreshNameCreator.scala +++ b/compiler/src/dotty/tools/dotc/util/FreshNameCreator.scala @@ -4,11 +4,11 @@ package util import scala.collection.mutable import core.Names.TermName -import core.NameExtractors.UniqueNameExtractor +import core.NameKinds.UniqueNameKind import core.StdNames.str abstract class FreshNameCreator { - def newName(prefix: TermName, unique: UniqueNameExtractor): TermName + def newName(prefix: TermName, unique: UniqueNameKind): TermName } object FreshNameCreator { @@ -21,7 +21,7 @@ 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: TermName, unique: UniqueNameExtractor): TermName = { + def newName(prefix: TermName, unique: UniqueNameKind): TermName = { val key = str.sanitize(prefix.toString + unique.separator) counters(key) += 1 val counter = counters(key) |