frog isolate fixes: minor changes to the isolate library + architecture.py

frog/world.dart

 // Copyright (c) 2011, 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.
 
 /** The one true [World]. */
 World world;
 
 /**
  * Experimental phase to enable await, only set when using the
  * await/awaitc.dart entrypoint.
@@ skipping 197 matching lines @@
       // resolve conflicts based on priority
       int existingPri = existing.jsnamePriority;
       int namedPri = named.jsnamePriority;
       if (existingPri > namedPri || namedPri == 0) {
         // Either existing was higher priority, or they're both 0 so first one
         // wins.
         _renameJavascriptTopName(named);
       } else if (namedPri > existingPri) {
         // New one takes priority over existing
         _renameJavascriptTopName(existing);
-      } else {
+      } else if ((!_isDomWorker(named) || !_isIsolateWorker(existing))
+          && (!_isDomWorker(existing) || !_isIsolateWorker(named))) {
         // Two conflicting native names or names in corelib. Libraries need
-        // to be fixed.
+        // to be fixed. We exclude the case when isolate defines Worker, so that
+        // corelib doesn't depend on the dom lib.
         world.internalError('conflicting JS name "$name" of same '
             + 'priority $existingPri: (already defined in) '
             + '${existing.span.locationText} with priority $namedPri)',
             named.span, existing.span);
       }
     } else {
       // No one was using the name. Take it for ourselves.
       _topNames[name] = named;
     }
   }
 
+  /** Whether element is the dom definition of Worker. */
+  _isDomWorker(Element e) {
+    return e.library == dom && e.nativeName == 'Worker';
+  }
+
+  /** Whether element is the isolate (corelib) definition of Worker. */
+  _isIsolateWorker(Element e) {
+    return e.library == coreimpl && e.nativeName == 'Worker';
+  }
+
   /** Renames an [Element] that had a name conflict in the generated JS. */
   _renameJavascriptTopName(Element named) {
     named._jsname = '${named.library.jsname}_${named.jsname}';
     final existing = _topNames[named.jsname];
     if (existing != null && existing != named) {
       // If this happens it means the library name wasn't unique enough.
       world.internalError('name mangling failed for "${named.jsname}" '
           + '("${named.jsname}" defined also in ${existing.span.locationText})',
           named.span);
     }
@@ skipping 302 matching lines @@
 
   withTiming(String name, f()) {
     final sw = new Stopwatch();
     sw.start();
     var result = f();
     sw.stop();
     info('$name in ${sw.elapsedInMs()}msec');
     return result;
   }
 }