| 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 959f8d8994c16a1a6b9212754d698a7f79176a5d..e675506491585597c4cabd8be0733c449b44210c 100644
|
| --- a/lib/compiler/implementation/dart_backend/renamer.dart
|
| +++ b/lib/compiler/implementation/dart_backend/renamer.dart
|
| @@ -10,7 +10,8 @@ void renamePlaceholders(
|
| Compiler compiler,
|
| PlaceholderCollector placeholderCollector,
|
| Map<Node, String> renames,
|
| - Map<LibraryElement, String> imports) {
|
| + Map<LibraryElement, String> imports,
|
| + bool minify) {
|
| final Map<LibraryElement, Map<String, String>> renamed
|
| = new Map<LibraryElement, Map<String, String>>();
|
| final Set<String> usedTopLevelIdentifiers = new Set<String>();
|
| @@ -19,7 +20,7 @@ void renamePlaceholders(
|
| usedTopLevelIdentifiers.add('main'); // Never rename anything to 'main'.
|
|
|
| Generator topLevelGenerator =
|
| - true ? conservativeGenerator : new MinifyingGenerator('ABCD').generate;
|
| + minify ? new MinifyingGenerator('ABCD').generate : conservativeGenerator;
|
| String generateUniqueName(name) {
|
| String newName = topLevelGenerator(
|
| name, usedTopLevelIdentifiers.contains);
|
|
|