Restore r1383: Fix method resolution to warn about things that don't exist on the declared type.

frog/world.dart

Index: frog/world.dart
diff --git a/frog/world.dart b/frog/world.dart
index 92e90250e6bb4346dc5d3b6138ffd1e8fad85f54..6457a77b6f2e92f5628fbecc07e711535967695b 100644
--- a/frog/world.dart
+++ b/frog/world.dart
@@ -84,21 +84,21 @@ class World {
   bool seenFatal = false;
 
   // Special types to Dart.
-  Type varType;
+  DefinedType varType;

[jimhug, 2011/11/10 15:47:21]

FYI: This is both cool and a little bit weird to see this combination of changes
to fix the type system - and then to fix type issues in frog caught by the fixes
to the type system...  For now, I'm thinking the cool factor wins.

   // TODO(jimhug): Is this ever not === varType?
-  Type dynamicType;
-
-  Type voidType;
-
-  Type objectType;
-  Type numType;
-  Type intType;
-  Type doubleType;
-  Type boolType;
-  Type stringType;
-  Type listType;
-  Type mapType;
-  Type functionType;
+  DefinedType dynamicType;
+
+  DefinedType voidType;
+
+  DefinedType objectType;
+  DefinedType numType;
+  DefinedType intType;
+  DefinedType doubleType;
+  DefinedType boolType;
+  DefinedType stringType;
+  DefinedType listType;
+  DefinedType mapType;
+  DefinedType functionType;
 
   World(this.files)
     : libraries = {}, _todo = [], _members = {}, _topNames = {},