fix Library*NegativeTests (and a couple Prefix ones by accident)

frog/minfrog

 #!/usr/bin/env node
 //  ********** Library dart:core **************
 //  ********** Natives dart:core **************
 function $throw(e) {
   // If e is not a value, we can use V8's captureStackTrace utility method.
   // TODO(jmesserly): capture the stack trace on other JS engines.
   if (e && (typeof e == 'object') && Error.captureStackTrace) {
     // TODO(jmesserly): this will clobber the e.stack property
     Error.captureStackTrace(e, $throw);
   }
@@ skipping 260 matching lines @@
 }, enumerable: false, configurable: true });
 Object.defineProperty(Object.prototype, "namesInOrder$1", { value: function($0) {
   return this.noSuchMethod("namesInOrder", [$0]);
 }, enumerable: false, configurable: true });
 Object.defineProperty(Object.prototype, "needsConversion$1", { value: function($0) {
   return this.noSuchMethod("needsConversion", [$0]);
 }, enumerable: false, configurable: true });
 Object.defineProperty(Object.prototype, "next$0", { value: function() {
   return this.noSuchMethod("next", []);
 }, enumerable: false, configurable: true });
+Object.defineProperty(Object.prototype, "postResolveChecks$0", { value: function() {
+  return this.noSuchMethod("postResolveChecks", []);
+}, enumerable: false, configurable: true });
 Object.defineProperty(Object.prototype, "provideFieldSyntax$0", { value: function() {
   return this.noSuchMethod("provideFieldSyntax", []);
 }, enumerable: false, configurable: true });
 Object.defineProperty(Object.prototype, "providePropertySyntax$0", { value: function() {
   return this.noSuchMethod("providePropertySyntax", []);
 }, enumerable: false, configurable: true });
 Object.defineProperty(Object.prototype, "removeLast$0", { value: function() {
   return this.noSuchMethod("removeLast", []);
 }, enumerable: false, configurable: true });
 Object.defineProperty(Object.prototype, "replaceFirst$2", { value: function($0, $1) {
@@ skipping 206 matching lines @@
 }
 function _print(obj) {
   if (typeof console == 'object') {
     if (obj) obj = obj.toString();
     console.log(obj);
   } else {
     write(obj);
     write('\n');
   }
 }
-function _map(itemsAndKeys) {
-  var ret = new LinkedHashMapImplementation();
-  for (var i = (0);
-   i < itemsAndKeys.get$length(); ) {
-    ret.$setindex(itemsAndKeys.$index(i++), itemsAndKeys.$index(i++));
-  }
-  return ret;
-}
 function _toDartException(e) {
   function attachStack(dartEx) {
     // TODO(jmesserly): setting the stack property is not a long term solution.
     var stack = e.stack;
     // The stack contains the error message, and the stack is all that is
     // printed (the exception's toString() is never called).  Make the Dart
     // exception's toString() be the dominant message.
     if (typeof stack == 'string') {
       var message = dartEx.toString();
       if (/^(Type|Range)Error:/.test(stack)) {
@@ skipping 1315 matching lines @@
         return this;
       }
 
       // Note: using Function instead of 'eval' to get a clean scope.
       // TODO(jmesserly): evaluate the performance of these stubs.
       var f = 'function(' + a.join(',') + '){return $f(' + p.join(',') + ');}';
       return new Function('$f', 'return ' + f + '').call(null, this);
     
 }
 // ********** Code for top level **************
+function _map(itemsAndKeys) {
+  var ret = new LinkedHashMapImplementation();
+  for (var i = (0);
+   i < itemsAndKeys.get$length(); ) {
+    ret.$setindex(itemsAndKeys.$index(i++), itemsAndKeys.$index(i++));
+  }
+  return ret;
+}
 //  ********** Library node **************
 // ********** Code for Process **************
 function Process(_process) {
   this.SIGSYS = "SIGSYS";
   this.SIGALRM = "SIGALRM";
   this.SIGXCPU = "SIGXCPU";
   this.SIGTSTP = "SIGTSTP";
   this.SIGSEGV = "SIGSEGV";
   this.SIGQUIT = "SIGQUIT";
   this.SIGABRT = "SIGABRT";
@@ skipping 2551 matching lines @@
   }
   for (var i = this.get$bareCount();
    i < this.get$length(); i++) {
     var name = this.getName(i);
     if (name == null) name = ("$" + i);
     result.add$1(new Value($globals.world.varType, name, null, false));
   }
   return new Arguments(this.nodes, result);
 }
 // ********** Code for LibraryImport **************
-function LibraryImport(library, prefix) {
+function LibraryImport(library, prefix, span) {
   this.library = library;
+  this.span = span;
   this.prefix = prefix;
 }
 LibraryImport.prototype.get$prefix = function() { return this.prefix; };
-LibraryImport.prototype.set$prefix = function(value) { return this.prefix = value; };
 LibraryImport.prototype.get$library = function() { return this.library; };
-LibraryImport.prototype.set$library = function(value) { return this.library = value; };
+LibraryImport.prototype.get$span = function() { return this.span; };
+// ********** Code for Member **************
+$inherits(Member, Element);
+function Member(name, declaringType) {
+  this.isGenerated = false;
+  this.declaringType = declaringType;
+  this._provideFieldSyntax = false;
+  this._providePropertySyntax = false;
+  Element.call(this, name, declaringType);
+}
+Member.prototype.get$declaringType = function() { return this.declaringType; };
+Member.prototype.get$isGenerated = function() { return this.isGenerated; };
+Member.prototype.set$isGenerated = function(value) { return this.isGenerated = value; };
+Member.prototype.get$generator = function() { return this.generator; };
+Member.prototype.set$generator = function(value) { return this.generator = value; };
+Member.prototype.get$library = function() {
+  return this.declaringType.get$library();
+}
+Member.prototype.get$isPrivate = function() {
+  return this.name != null && this.name.startsWith("_");
+}
+Member.prototype.get$isConstructor = function() {
+  return false;
+}
+Member.prototype.get$isField = function() {
+  return false;
+}
+Member.prototype.get$isMethod = function() {
+  return false;
+}
+Member.prototype.get$isProperty = function() {
+  return false;
+}
+Member.prototype.get$isAbstract = function() {
+  return false;
+}
+Member.prototype.get$isFinal = function() {
+  return false;
+}
+Member.prototype.get$isConst = function() {
+  return false;
+}
+Member.prototype.get$isFactory = function() {
+  return false;
+}
+Member.prototype.get$isOperator = function() {
+  return this.name.startsWith(":");
+}
+Member.prototype.get$isCallMethod = function() {
+  return this.name == ":call";
+}
+Member.prototype.get$requiresPropertySyntax = function() {
+  return false;
+}
+Member.prototype.get$requiresFieldSyntax = function() {
+  return false;
+}
+Member.prototype.get$isNative = function() {
+  return false;
+}
+Member.prototype.get$constructorName = function() {
+  $globals.world.internalError("can not be a constructor", this.get$span());
+}
+Member.prototype.provideFieldSyntax = function() {
+
+}
+Member.prototype.providePropertySyntax = function() {
+
+}
+Member.prototype.get$initDelegate = function() {
+  $globals.world.internalError("cannot have initializers", this.get$span());
+}
+Member.prototype.set$initDelegate = function(ctor) {
+  $globals.world.internalError("cannot have initializers", this.get$span());
+}
+Member.prototype.computeValue = function() {
+  $globals.world.internalError("cannot have value", this.get$span());
+}
+Member.prototype.get$inferredResult = function() {
+  var t = this.get$returnType();
+  if (t.get$isBool() && (this.get$library().get$isCore() || this.get$library().get$isCoreImpl())) {
+    return $globals.world.nonNullBool;
+  }
+  return t;
+}
+Member.prototype.get$definition = function() {
+  return null;
+}
+Member.prototype.get$parameters = function() {
+  return [];
+}
+Member.prototype.canInvoke = function(context, args) {
+  return this.get$canGet() && new Value(this.get$returnType(), null, null, true).canInvoke(context, ":call", args);
+}
+Member.prototype.invoke = function(context, node, target, args, isDynamic) {
+  var newTarget = this._get(context, node, target, isDynamic);
+  return newTarget.invoke$5(context, ":call", node, args, isDynamic);
+}
+Member.prototype.override = function(other) {
+  if (this.get$isStatic()) {
+    $globals.world.error("static members can not hide parent members", this.get$span(), other.get$span());
+    return false;
+  }
+  else if (other.get$isStatic()) {
+    $globals.world.error("can not override static member", this.get$span(), other.get$span());
+    return false;
+  }
+  return true;
+}
+Member.prototype.get$generatedFactoryName = function() {
+  var prefix = ("" + this.declaringType.get$jsname() + "." + this.get$constructorName() + "$");
+  if (this.name == "") {
+    return ("" + prefix + "factory");
+  }
+  else {
+    return ("" + prefix + this.name + "$factory");
+  }
+}
+Member.prototype.hashCode = function() {
+  var typeCode = this.declaringType == null ? (1) : this.declaringType.hashCode();
+  var nameCode = this.get$isConstructor() ? this.get$constructorName().hashCode() : this.name.hashCode();
+  return (typeCode << (4)) ^ nameCode;
+}
+Member.prototype.$eq = function(other) {
+  return (other instanceof Member) && $eq(this.get$isConstructor(), other.get$isConstructor()) && $eq(this.declaringType, other.get$declaringType()) && (this.get$isConstructor() ? this.get$constructorName() == other.get$constructorName() : this.name == other.get$name());
+}
+Member.prototype._get$3 = Member.prototype._get;
+Member.prototype._get$3$isDynamic = Member.prototype._get;
+Member.prototype._get$4 = Member.prototype._get;
+Member.prototype._set$4 = Member.prototype._set;
+Member.prototype._set$4$isDynamic = Member.prototype._set;
+Member.prototype._set$5 = Member.prototype._set;
+Member.prototype.canInvoke$2 = Member.prototype.canInvoke;
+Member.prototype.computeValue$0 = Member.prototype.computeValue;
+Member.prototype.hashCode$0 = Member.prototype.hashCode;
+Member.prototype.invoke$4 = function($0, $1, $2, $3) {
+  return this.invoke($0, $1, $2, $3, false);
+};
+Member.prototype.invoke$4$isDynamic = Member.prototype.invoke;
+Member.prototype.invoke$5 = Member.prototype.invoke;
+Member.prototype.provideFieldSyntax$0 = Member.prototype.provideFieldSyntax;
+Member.prototype.providePropertySyntax$0 = Member.prototype.providePropertySyntax;
+// ********** Code for AmbiguousMember **************
+$inherits(AmbiguousMember, Member);
+function AmbiguousMember(name, members) {
+  this.members = members;
+  Member.call(this, name, null);
+}
+AmbiguousMember.prototype.get$members = function() { return this.members; };
+AmbiguousMember.prototype.set$members = function(value) { return this.members = value; };
 // ********** Code for Library **************
 $inherits(Library, Element);
 function Library(baseSource) {
   this.baseSource = baseSource;
   this.isWritten = false;
   Element.call(this, null, null);
   this.sourceDir = dirname(this.baseSource.filename);
   this.topType = new DefinedType(null, this, null, true);
   this.types = _map(["", this.topType]);
   this.imports = [];
@@ skipping 31 matching lines @@
 Library.prototype.get$span = function() {
   return new SourceSpan(this.baseSource, (0), (0));
 }
 Library.prototype.makeFullPath = function(filename) {
   if (filename.startsWith("dart:")) return filename;
   if (filename.startsWith("/")) return filename;
   if (filename.startsWith("file:///")) return filename;
   if (filename.startsWith("http://")) return filename;
   return joinPaths(this.sourceDir, filename);
 }
-Library.prototype.addImport = function(fullname, prefix) {
+Library.prototype.addImport = function(fullname, prefix, span) {
   var newLib = $globals.world.getOrAddLibrary(fullname);
-  this.imports.add(new LibraryImport(newLib, prefix));
+  if (newLib.get$isCore()) return;
+  this.imports.add(new LibraryImport(newLib, prefix, span));
   return newLib;
 }
 Library.prototype.addNative = function(fullname) {
   this.natives.add($globals.world.reader.readFile(fullname));
 }
 Library.prototype._findMembers = function(name) {
   if (name.startsWith("_")) {
     return this._privateMembers.$index(name);
   }
   else {
@@ skipping 114 matching lines @@
       return n.get$name();
     })
     );
     return type.name.name + "." + Strings.join(names, ".");
   }
   else {
     return type.name.name;
   }
 }
 Library.prototype.lookup = function(name, span) {
-  var retType = this.findTypeByName(name);
-  var ret = null;
-  if (retType != null) {
-    ret = retType.get$typeMember();
-  }
-  var newRet = this.topType.getMember(name);
-  if (newRet != null) {
-    if (ret != null && $ne(ret, newRet)) {
-      $globals.world.error(("conflicting members for \"" + name + "\""), span, ret.get$span(), newRet.get$span());
-    }
-    else {
-      ret = newRet;
-    }
-  }
-  var $$list = this.imports;
-  for (var $$i = 0;$$i < $$list.get$length(); $$i++) {
-    var imported = $$list.$index($$i);
-    if (imported.get$prefix() == null) {
-      newRet = imported.get$library().get$topType().getMember$1(name);
-      if (newRet != null) {
-        if (ret != null && $ne(ret, newRet)) {
-          $globals.world.error(("conflicting members for \"" + name + "\""), span, ret.get$span(), newRet.get$span());
-        }
-        else {
-          ret = newRet;
-        }
-      }
-    }
-  }
-  return ret;
+  return this._topNames.$index(name);
 }
 Library.prototype.resolve = function() {
   if (this.name == null) {
     this.name = this.baseSource.filename;
     var index = this.name.lastIndexOf("/", this.name.length);
     if (index >= (0)) {
       this.name = this.name.substring(index + (1));
     }
     index = this.name.indexOf(".");
     if (index > (0)) {
       this.name = this.name.substring((0), index);
     }
   }
   this._jsname = this.name.replaceAll(".", "_").replaceAll(":", "_").replaceAll(" ", "_");
   var $$list = this.types.getValues();
   for (var $$i = this.types.getValues().iterator$0(); $$i.hasNext$0(); ) {
     var type = $$i.next$0();
     type.resolve$0();
   }
 }
+Library.prototype._addTopName = function(name, member, localSpan) {
+  var existing = this._topNames.$index(name);
+  if (existing == null) {
+    this._topNames.$setindex(name, member);
+  }
+  else {
+    if ((existing instanceof AmbiguousMember)) {
+      existing.get$members().add$1(member);
+    }
+    else {
+      var newMember = new AmbiguousMember(name, [existing, member]);
+      $globals.world.error(("conflicting members for \"" + name + "\""), existing.get$span(), member.get$span(), localSpan);
+      this._topNames.$setindex(name, newMember);
+    }
+  }
+}
+Library.prototype._addTopNames = function(lib) {
+  var $$list = lib.topType.members.getValues();
+  for (var $$i = lib.topType.members.getValues().iterator$0(); $$i.hasNext$0(); ) {
+    var member = $$i.next$0();
+    if (member.get$isPrivate() && $ne(lib, this)) continue;
+    this._addTopName(member.get$name(), member);
+  }
+  var $$list = lib.types.getValues();
+  for (var $$i = lib.types.getValues().iterator$0(); $$i.hasNext$0(); ) {
+    var type = $$i.next$0();
+    if (!type.get$isTop()) {
+      if ($ne(lib, this) && type.get$typeMember().get$isPrivate()) continue;
+      this._addTopName(type.get$name(), type.get$typeMember());
+    }
+  }
+}
+Library.prototype.postResolveChecks = function() {
+  this._topNames = new HashMapImplementation();
+  this._addTopNames(this);
+  var $$list = this.imports;
+  for (var $$i = 0;$$i < $$list.get$length(); $$i++) {
+    var imported = $$list.$index($$i);
+    if (imported.get$prefix() == null) {
+      this._addTopNames(imported.get$library());
+    }
+    else {
+      this._addTopName(imported.get$prefix(), imported.get$library().get$topType().get$typeMember(), imported.get$span());
+    }
+  }
+}
 Library.prototype.visitSources = function() {
   var visitor = new _LibraryVisitor(this);
   visitor.addSource$1(this.baseSource);
 }
 Library.prototype.toString = function() {
   return this.baseSource.filename;
 }
 Library.prototype.hashCode = function() {
   return this.baseSource.filename.hashCode();
 }
 Library.prototype.$eq = function(other) {
   return (other instanceof Library) && $eq(other.get$baseSource().get$filename(), this.baseSource.filename);
 }
 Library.prototype.findTypeByName$1 = Library.prototype.findTypeByName;
 Library.prototype.hashCode$0 = Library.prototype.hashCode;
+Library.prototype.postResolveChecks$0 = Library.prototype.postResolveChecks;
 Library.prototype.resolve$0 = Library.prototype.resolve;
 Library.prototype.toString$0 = Library.prototype.toString;
 Library.prototype.visitSources$0 = Library.prototype.visitSources;
 // ********** Code for _LibraryVisitor **************
 function _LibraryVisitor(library) {
   this.library = library;
   this.isTop = true;
   this.seenSource = false;
   this.seenResource = false;
   this.seenImport = false;
@@ skipping 83 matching lines @@
       }
       if ($eq(prefix, "")) prefix = null;
       var filename = this.library.makeFullPath(name);
       if (this.library.imports.some((function (li) {
         return $eq(li.get$library().get$baseSource(), filename);
       })
       )) {
         $globals.world.error(("duplicate import of \"" + name + "\""), node.span);
         return;
       }
-      var newLib = this.library.addImport(filename, prefix);
+      var newLib = this.library.addImport(filename, prefix, node.span);
       break;
 
     case "source":
 
       this.seenSource = true;
       name = this.getSingleStringArg(node);
       this.addSourceFromName(name, node.span);
       if (this.seenResource) {
         $globals.world.error("#sources must come before any #resource", node.span);
       }
@@ skipping 137 matching lines @@
 }
 Parameter.prototype.get$isOptional = function() {
   return this.definition != null && this.definition.value != null;
 }
 Parameter.prototype.get$hasDefaultValue = function() {
   return this.definition.value.span.start != this.definition.span.start;
 }
 Parameter.prototype.copyWithNewType$2 = Parameter.prototype.copyWithNewType;
 Parameter.prototype.genValue$2 = Parameter.prototype.genValue;
 Parameter.prototype.resolve$0 = Parameter.prototype.resolve;
-// ********** Code for Member **************
-$inherits(Member, Element);
-function Member(name, declaringType) {
-  this.isGenerated = false;
-  this.declaringType = declaringType;
-  this._provideFieldSyntax = false;
-  this._providePropertySyntax = false;
-  Element.call(this, name, declaringType);
-}
-Member.prototype.get$declaringType = function() { return this.declaringType; };
-Member.prototype.get$isGenerated = function() { return this.isGenerated; };
-Member.prototype.set$isGenerated = function(value) { return this.isGenerated = value; };
-Member.prototype.get$generator = function() { return this.generator; };
-Member.prototype.set$generator = function(value) { return this.generator = value; };
-Member.prototype.get$library = function() {
-  return this.declaringType.get$library();
-}
-Member.prototype.get$isPrivate = function() {
-  return this.name.startsWith("_");
-}
-Member.prototype.get$isConstructor = function() {
-  return false;
-}
-Member.prototype.get$isField = function() {
-  return false;
-}
-Member.prototype.get$isMethod = function() {
-  return false;
-}
-Member.prototype.get$isProperty = function() {
-  return false;
-}
-Member.prototype.get$isAbstract = function() {
-  return false;
-}
-Member.prototype.get$isFinal = function() {
-  return false;
-}
-Member.prototype.get$isConst = function() {
-  return false;
-}
-Member.prototype.get$isFactory = function() {
-  return false;
-}
-Member.prototype.get$isOperator = function() {
-  return this.name.startsWith(":");
-}
-Member.prototype.get$isCallMethod = function() {
-  return this.name == ":call";
-}
-Member.prototype.get$requiresPropertySyntax = function() {
-  return false;
-}
-Member.prototype.get$requiresFieldSyntax = function() {
-  return false;
-}
-Member.prototype.get$isNative = function() {
-  return false;
-}
-Member.prototype.get$constructorName = function() {
-  $globals.world.internalError("can not be a constructor", this.get$span());
-}
-Member.prototype.provideFieldSyntax = function() {
-
-}
-Member.prototype.providePropertySyntax = function() {
-
-}
-Member.prototype.get$initDelegate = function() {
-  $globals.world.internalError("cannot have initializers", this.get$span());
-}
-Member.prototype.set$initDelegate = function(ctor) {
-  $globals.world.internalError("cannot have initializers", this.get$span());
-}
-Member.prototype.computeValue = function() {
-  $globals.world.internalError("cannot have value", this.get$span());
-}
-Member.prototype.get$inferredResult = function() {
-  var t = this.get$returnType();
-  if (t.get$isBool() && (this.get$library().get$isCore() || this.get$library().get$isCoreImpl())) {
-    return $globals.world.nonNullBool;
-  }
-  return t;
-}
-Member.prototype.get$definition = function() {
-  return null;
-}
-Member.prototype.get$parameters = function() {
-  return [];
-}
-Member.prototype.canInvoke = function(context, args) {
-  return this.get$canGet() && new Value(this.get$returnType(), null, null, true).canInvoke(context, ":call", args);
-}
-Member.prototype.invoke = function(context, node, target, args, isDynamic) {
-  var newTarget = this._get(context, node, target, isDynamic);
-  return newTarget.invoke$5(context, ":call", node, args, isDynamic);
-}
-Member.prototype.override = function(other) {
-  if (this.get$isStatic()) {
-    $globals.world.error("static members can not hide parent members", this.get$span(), other.get$span());
-    return false;
-  }
-  else if (other.get$isStatic()) {
-    $globals.world.error("can not override static member", this.get$span(), other.get$span());
-    return false;
-  }
-  return true;
-}
-Member.prototype.get$generatedFactoryName = function() {
-  var prefix = ("" + this.declaringType.get$jsname() + "." + this.get$constructorName() + "$");
-  if (this.name == "") {
-    return ("" + prefix + "factory");
-  }
-  else {
-    return ("" + prefix + this.name + "$factory");
-  }
-}
-Member.prototype.hashCode = function() {
-  var typeCode = this.declaringType == null ? (1) : this.declaringType.hashCode();
-  var nameCode = this.get$isConstructor() ? this.get$constructorName().hashCode() : this.name.hashCode();
-  return (typeCode << (4)) ^ nameCode;
-}
-Member.prototype.$eq = function(other) {
-  return (other instanceof Member) && $eq(this.get$isConstructor(), other.get$isConstructor()) && $eq(this.declaringType, other.get$declaringType()) && (this.get$isConstructor() ? this.get$constructorName() == other.get$constructorName() : this.name == other.get$name());
-}
-Member.prototype._get$3 = Member.prototype._get;
-Member.prototype._get$3$isDynamic = Member.prototype._get;
-Member.prototype._get$4 = Member.prototype._get;
-Member.prototype._set$4 = Member.prototype._set;
-Member.prototype._set$4$isDynamic = Member.prototype._set;
-Member.prototype._set$5 = Member.prototype._set;
-Member.prototype.canInvoke$2 = Member.prototype.canInvoke;
-Member.prototype.computeValue$0 = Member.prototype.computeValue;
-Member.prototype.hashCode$0 = Member.prototype.hashCode;
-Member.prototype.invoke$4 = function($0, $1, $2, $3) {
-  return this.invoke($0, $1, $2, $3, false);
-};
-Member.prototype.invoke$4$isDynamic = Member.prototype.invoke;
-Member.prototype.invoke$5 = Member.prototype.invoke;
-Member.prototype.provideFieldSyntax$0 = Member.prototype.provideFieldSyntax;
-Member.prototype.providePropertySyntax$0 = Member.prototype.providePropertySyntax;
 // ********** Code for TypeMember **************
 $inherits(TypeMember, Member);
 function TypeMember(type) {
   this.type = type;
   Member.call(this, type.name, type.library.topType);
 }
 TypeMember.prototype.get$type = function() { return this.type; };
 TypeMember.prototype.get$span = function() {
-  return this.type.definition.span;
+  return this.type.definition == null ? null : this.type.definition.span;
 }
 TypeMember.prototype.get$isStatic = function() {
   return true;
 }
 TypeMember.prototype.get$returnType = function() {
   return $globals.world.varType;
 }
 TypeMember.prototype.canInvoke = function(context, args) {
   return false;
 }
@@ skipping 7806 matching lines @@
 ListValue.prototype.binop$4 = ListValue.prototype.binop;
 ListValue.prototype.getGlobalValue$0 = ListValue.prototype.getGlobalValue;
 // ********** Code for MapValue **************
 $inherits(MapValue, EvaluatedValue);
 function MapValue(values, isConst, type, span) {
   this.values = values;
   EvaluatedValue.call(this, isConst, type, span);
 }
 MapValue.prototype.get$code = function() {
   var items = new ListValue(this.values, false, $globals.world.listType, this.span);
-  var tp = $globals.world.corelib.topType;
+  var tp = $globals.world.coreimpl.topType;
   var f = this.isConst ? tp.getMember$1("_constMap") : tp.getMember$1("_map");
   var value = f.invoke(null, null, new Value.type$ctor(tp, null), new Arguments(null, [items]), false);
   return value.get$code();
 }
 MapValue.prototype.getGlobalValue = function() {
   return $globals.world.gen.globalForConst(this, this.values);
 }
 MapValue.prototype.binop = function(kind, other, context, node) {
   if (!(other instanceof MapValue)) return Value.prototype.binop.call(this, kind, other, context, node);
   switch (kind) {
@@ skipping 440 matching lines @@
   var library = this.getOrAddLibrary(script);
   this.process();
   return library;
 }
 World.prototype.resolveAll = function() {
   var $$list = this.libraries.getValues();
   for (var $$i = this.libraries.getValues().iterator$0(); $$i.hasNext$0(); ) {
     var lib = $$i.next$0();
     lib.resolve$0();
   }
+  var $$list = this.libraries.getValues();
+  for (var $$i = this.libraries.getValues().iterator$0(); $$i.hasNext$0(); ) {
+    var lib = $$i.next$0();
+    lib.postResolveChecks$0();
+  }
 }
 World.prototype.get$resolveAll = function() {
   return this.resolveAll.bind(this);
 }
 World.prototype.findMainMethod = function(lib) {
   var mainMembers = lib.topType.resolveMember("main");
   var main = null;
   if (mainMembers == null || $eq(mainMembers.get$members().get$length(), (0))) {
     this.fatal("no main method specified");
   }
@@ skipping 585 matching lines @@
   $globals._RED_COLOR = "\x1b[31m";
 }
 var const$0000 = Object.create(EmptyQueueException.prototype, {});
 var const$0001 = Object.create(_DeletedKeySentinel.prototype, {});
 var const$0005 = Object.create(NoMoreElementsException.prototype, {});
 var const$0007 = Object.create(IllegalAccessException.prototype, {});
 var const$0008 = ImmutableList.ImmutableList$from$factory([]);
 var $globals = {};
 $static_init();
 main();