| Index: lib/compiler/implementation/dart_backend/renamer.dart
|
| diff --git a/lib/compiler/implementation/dart_backend/renamer.dart b/lib/compiler/implementation/dart_backend/renamer.dart
|
| index 684a212cea9b2a7edc5dc18e5c2a778c89fdeff9..70c5d4e0c6a07dd3b5a9452c2a63320f40d0f304 100644
|
| --- a/lib/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/lib/compiler/implementation/dart_backend/renamer.dart
|
| @@ -35,16 +35,16 @@ class ConflictingRenamer {
|
| String renamePrivateIdentifier(LibraryElement library, String id) =>
|
| getName(library, id, () => '_${privateNameCounter++}${id}');
|
|
|
| + String generateUniqueName(name) {
|
| + while (usedTopLevelIdentifiers.contains(name)) name = 'p_$name';
|
| + usedTopLevelIdentifiers.add(name);
|
| + return name;
|
| + }
|
| +
|
| String renameElement(Element element) {
|
| assert(element.isTopLevel());
|
| // TODO(smok): Make sure that the new name does not conflict with existing
|
| // local identifiers.
|
| - generateUniqueName(name) {
|
| - while (usedTopLevelIdentifiers.contains(name)) name = 'p_$name';
|
| - usedTopLevelIdentifiers.add(name);
|
| - return name;
|
| - }
|
| -
|
| String originalName = element.name.slowToString();
|
| LibraryElement library = element.getLibrary();
|
| if (library === compiler.coreLibrary) return originalName;
|
|
|