Index: sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart |
diff --git a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart |
index 5c2a13e8739a067cc804a9c03c0c5a9772598809..2d4822f412805b9703e0c0d3aa21b9ae569532fc 100644 |
--- a/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart |
+++ b/sdk/lib/_internal/compiler/implementation/dart_backend/renamer.dart |
@@ -142,7 +142,7 @@ void renamePlaceholders( |
if (identical(element.getLibrary(), compiler.coreLibrary)) { |
return originalName; |
} |
- if (library.isPlatformLibrary) { |
+ if (library.isPlatformLibrary && !library.isPrivateLibrary) { |
ngeoffray
2013/01/16 15:40:57
Should it be called InternalLibrary? Private alrea
ahe
2013/01/18 11:03:10
Excellent point.
Johnni Winther
2013/01/21 09:27:54
Good idea. Renamed the concept to 'internal librar
|
assert(element.isTopLevel()); |
final prefix = |
imports.putIfAbsent(library, () => generateUniqueName('p')); |