cleanup errors and fix a couple field negative tests

frog/value.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.
 
 /**
  * Represents a meta-value for code generation.
  */
 class Value {
   /** The [Type] of the [Value]. */
   Type type;
@@ skipping 91 matching lines @@
     }
 
     if (type.isVarOrFunction && name == '\$call') {
       return true;
     }
 
     var member = _tryResolveMember(context, name);
     return member != null && member.canInvoke(context, args);
   }
 
+  // TODO(jimhug): Better type here - currently is union(Member, MemberSet)
   _tryResolveMember(MethodGenerator context, String name) {
     var member = null;
     if (!type.isVar) {
       if (isSuper) {
         return type.getMember(name);
       } else {
         member = type.resolveMember(name);
       }
     }
+
     if (member == null) {
       // TODO(jmesserly): shouldn't look in world except for "var"
       member = context.findMembers(name);
     }
     return member;
   }
 
   _resolveMember(MethodGenerator context, String name, Node node) {
     var member = _tryResolveMember(context, name);
-    if (member == null) {
+    if (member != null) {
+      if (isType && !member.isStatic) {
+        world.error('can not refer to instance member as static', node.span);
+      }
+      return member;
+    } else {
       // TODO(jmesserly): we suppress warnings if someone has overridden
       // noSuchMethod, and we know it will call their version. Is that right?
       if (_tryResolveMember(context, 'noSuchMethod').members.length > 1) {
         return null;
       }
 
       var typeName = type.name == null ? type.library.name : type.name;
       var message = 'can not resolve "$name" on "${typeName}"';
       if (isType) {
         world.error(message, node.span);
       } else {
         world.warning(message, node.span);
       }
       // TODO(jmesserly): isn't this condition always true if we got here?
       if (context.findMembers(name) == null) {
         world.warning('$name is not defined anywhere in the world.', node.span);
       }
+      return null;
     }
-    return member;
   }
 
   checkFirstClass(SourceSpan span) {
     if (isType) {
       world.error('Types are not first class', span);
     }
   }
 
   /** Generate a call to an unknown function type. */
   Value _varCall(MethodGenerator context, Arguments args) {
@@ skipping 431 matching lines @@
       return 1;
     } else if (name != null && other.name == null) {
       return -1;
     } else if (name != null) {
       return name.compareTo(other.name);
     } else {
       return field.name.compareTo(other.field.name);
     }
   }
 }