dart2js: Support const symbols in the startup emitter.

pkg/compiler/lib/src/js_emitter/startup_emitter/fragment_emitter.dart

 // Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of dart2js.js_emitter.startup_emitter.model_emitter;
 
 /// The name of the property that stores the tear-off getter on a static
 /// function.
 ///
 /// This property is only used when isolates are used.
@@ skipping 1102 matching lines @@
           o[fieldNames[i]] = fields[i];
         }
         return o;
       }''');
       globals.add(new js.Property(js.string(INITIALIZE_EMPTY_INSTANCE),
                                   initializeEmptyInstanceFunction));
     }
 
     globals.add(emitMangledGlobalNames());
 
-    // The [MANGLED_NAMES] table is only relevant for reflection.
-    // TODO(floitsch): verify that this is correct.
-    globals.add(new js.Property(js.string(MANGLED_NAMES),
-                                new js.ObjectInitializer([])));
+    // The [MANGLED_NAMES] table must contain the mapping for const symbols.
+    // Without const symbols, the table is only relevant for reflection and
+    // therefore unused in this emitter.
+    List<js.Property> mangledNamesProperties = <js.Property>[];
+    program.symbolsMap.forEach((js.Name mangledName, String unmangledName) {
+      mangledNamesProperties.add(
+          new js.Property(mangledName, js.string(unmangledName)));
+    });
+    globals.add(new js.Property(
+        js.string(MANGLED_NAMES),
+        new js.ObjectInitializer(mangledNamesProperties)));
 
     globals.add(emitGetTypeFromName());
 
     globals.addAll(emitMetadata(program));
 
     if (program.needsNativeSupport) {
       globals.add(new js.Property(js.string(INTERCEPTORS_BY_TAG),
           new js.LiteralNull()));
       globals.add(new js.Property(js.string(LEAF_TAGS),
           new js.LiteralNull()));
@@ skipping 57 matching lines @@
     }
     statements.add(js.js.statement("setOrUpdateInterceptorsByTag(#);",
         js.objectLiteral(interceptorsByTag)));
     statements.add(js.js.statement("setOrUpdateLeafTags(#);",
         js.objectLiteral(leafTags)));
     statements.add(subclassAssignment);
 
     return new js.Block(statements);
   }
 }