Error out on compile-time constants if equality is tested on bad types.

frog/leg/compile_time_constants.dart

 // Copyright (c) 2012, 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.
 
 class Constant implements Hashable {
   const Constant();
 
   bool isNull() => false;
   bool isBool() => false;
   bool isTrue() => false;
   bool isFalse() => false;
   bool isInt() => false;
   bool isDouble() => false;
   bool isNum() => false;
   bool isString() => false;
   bool isList() => false;
   bool isMap() => false;
   bool isConstructedObject() => false;
+  /** Returns true if the constant is null, a bool, a number or a string. */
+  bool isPrimitive() => false;
   /** Returns true if the constant is a list, a map or a constructed object. */
   bool isObject() => false;
 
   abstract void writeJsCode(StringBuffer buffer, ConstantHandler handler);
   /**
     * Unless the constant can be emitted multiple times (as for numbers and
     * strings) adds its canonical name to the buffer.
     */
   abstract void writeCanonicalizedJsCode(StringBuffer buffer,
                                          ConstantHandler handler);
   abstract List<Constant> getDependencies();
 }
 
 class PrimitiveConstant extends Constant {
   abstract get value();
   const PrimitiveConstant();
+  bool isPrimitive() => true;
 
   bool operator ==(var other) {
     if (other is !PrimitiveConstant) return false;
     PrimitiveConstant otherPrimitive = other;
     // We use == instead of === so that DartStrings compare correctly.
     return value == otherPrimitive.value;
   }
 
   String toString() => value.toString();
   // Primitive constants don't have dependencies.
@@ skipping 825 matching lines @@
         case "<=":
           folded = const LessEqualOperation().fold(left, right);
           break;
         case ">":
           folded = const GreaterOperation().fold(left, right);
           break;
         case ">=":
           folded = const GreaterEqualOperation().fold(left, right);
           break;
         case "==":
-          folded = const EqualsOperation().fold(left, right);
+          if (left.isPrimitive() && right.isPrimitive()) { 
+            folded = const EqualsOperation().fold(left, right);
+          }
           break;
         case "===":
-          folded = const IdentityOperation().fold(left, right);
+          if (left.isPrimitive() && right.isPrimitive()) { 
+            folded = const IdentityOperation().fold(left, right);
+          }
           break;
         case "!=":
-          BoolConstant areEquals = const EqualsOperation().fold(left, right);
-          if (areEquals === null) {
-            folded = null;
-          } else {
-            folded = areEquals.negate();
+          if (left.isPrimitive() && right.isPrimitive()) { 
+            BoolConstant areEquals = const EqualsOperation().fold(left, right);
+            if (areEquals === null) {
+              folded = null;
+            } else {
+              folded = areEquals.negate();
+            }
           }
           break;
         case "!==":
-          BoolConstant areIdentical =
-              const IdentityOperation().fold(left, right);
-          if (areIdentical === null) {
-            folded = null;
-          } else {
-            folded = areIdentical.negate();
+          if (left.isPrimitive() && right.isPrimitive()) { 
+            BoolConstant areIdentical =
+                const IdentityOperation().fold(left, right);
+            if (areIdentical === null) {
+              folded = null;
+            } else {
+              folded = areIdentical.negate();
+            }
           }
           break;
         default:
           compiler.internalError("Unexpected operator.", node: op);
           break;
       }
       if (folded === null) error(send);
       return folded;
     }
     return super.visitSend(send);
@@ skipping 185 matching lines @@
             fieldValue = compiler.compileVariable(member);
           }
           jsNewArguments.add(fieldValue);
         }
       }
       classElement = classElement.superclass;
     } 
     return jsNewArguments;
   }
 }