Change switch to give errors when cases don't follow the newest syntax.

lib/compiler/implementation/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;
   bool isFunction() => 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;
 
   bool isNaN() => false;
 
+  abstract DartType computeType(ConstantHandler handler);

[ngeoffray, 2012/09/06 09:28:55]

Please take a Compiler here instead of the ConstantHandler. All the other
computeType methods take a Compiler.

[Lasse Reichstein Nielsen, 2012/09/06 12:03:36]

Good point. I was trying to not make Constant depend on Compiler, but since I
extract the compiler in most of the implementations anyway, it's not really
working.

[Lasse Reichstein Nielsen, 2012/09/11 12:20:23]

Done by someone else. Yey.

+
   abstract void _writeJsCode(CodeBuffer 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(CodeBuffer buffer,
                                           ConstantHandler handler);
   abstract List<Constant> getDependencies();
 }
 
@@ skipping 50 matching lines @@
 }
 
 class NullConstant extends PrimitiveConstant {
   /** The value a Dart null is compiled to in JavaScript. */
   static const String JsNull = "null";
 
   factory NullConstant() => const NullConstant._internal();
   const NullConstant._internal();
   bool isNull() => true;
   get value => null;
+  DartType computeType(ConstantHandler handler) {
+    return handler.compiler.nullClass.computeType(handler.compiler);
+  }
 
   void _writeJsCode(CodeBuffer buffer, ConstantHandler handler) {
     buffer.add(JsNull);
   }
 
   // The magic constant has no meaning. It is just a random value.
   int hashCode() => 785965825;
   DartString toDartString() => const LiteralDartString("null");
 }
 
@@ skipping 19 matching lines @@
       case 9: return const IntConstant._internal(9);
       case 10: return const IntConstant._internal(10);
       case -1: return const IntConstant._internal(-1);
       case -2: return const IntConstant._internal(-2);
       default: return new IntConstant._internal(value);
     }
   }
   const IntConstant._internal(this.value);
   bool isInt() => true;
 
+  DartType computeType(ConstantHandler handler) {
+    return handler.compiler.intClass.computeType(handler.compiler);
+  }
+
   void _writeJsCode(CodeBuffer buffer, ConstantHandler handler) {
     buffer.add("$value");
   }
 
   // We have to override the equality operator so that ints and doubles are
   // treated as separate constants.
   // The is [:!IntConstant:] check at the beginning of the function makes sure
   // that we compare only equal to integer constants.
   bool operator ==(var other) {
     if (other is !IntConstant) return false;
@@ skipping 19 matching lines @@
     } else if (value == 1.0) {
       return const DoubleConstant._internal(1.0);
     } else {
       return new DoubleConstant._internal(value);
     }
   }
   const DoubleConstant._internal(this.value);
   bool isDouble() => true;
   bool isNaN() => value.isNaN();
 
+  DartType computeType(ConstantHandler handler) {
+    return handler.compiler.doubleClass.computeType(handler.compiler);
+  }
+
+
   void _writeJsCode(CodeBuffer buffer, ConstantHandler handler) {
     if (value.isNaN()) {
       buffer.add("(0/0)");
     } else if (value == double.INFINITY) {
       buffer.add("(1/0)");
     } else if (value == -double.INFINITY) {
       buffer.add("(-1/0)");
     } else {
       buffer.add("$value");
     }
@@ skipping 16 matching lines @@
   DartString toDartString() => new DartString.literal(value.toString());
 }
 
 class BoolConstant extends PrimitiveConstant {
   factory BoolConstant(value) {
     return value ? new TrueConstant() : new FalseConstant();
   }
   const BoolConstant._internal();
   bool isBool() => true;
 
+  DartType computeType(ConstantHandler handler) {
+    return handler.compiler.boolClass.computeType(handler.compiler);
+  }
+
   BoolConstant unaryFold(String op) {
     if (op == "!") return new BoolConstant(!value);
     return null;
   }
 
   abstract BoolConstant negate();
 }
 
 class TrueConstant extends BoolConstant {
   final bool value = true;
@@ skipping 41 matching lines @@
   final Node node;
 
   StringConstant(this.value, this.node) {
     // TODO(floitsch): cache StringConstants.
     // TODO(floitsch): compute hashcode without calling toString() on the
     // DartString.
     _hashCode = value.slowToString().hashCode();
   }
   bool isString() => true;
 
+  DartType computeType(ConstantHandler handler) {
+    return handler.compiler.stringClass.computeType(handler.compiler);
+  }
+
   void _writeJsCode(CodeBuffer buffer, ConstantHandler handler) {
     buffer.add("'");
     ConstantHandler.writeEscapedString(value, buffer, (reason) {
       handler.compiler.reportError(node, reason);
     });
     buffer.add("'");
   }
 
   bool operator ==(var other) {
     if (other is !StringConstant) return false;
     StringConstant otherString = other;
     return (_hashCode == otherString._hashCode) && (value == otherString.value);
   }
 
   int hashCode() => _hashCode;
   DartString toDartString() => value;
   int get length => value.length;
 }
 
 class ObjectConstant extends Constant {
   final DartType type;
 
   ObjectConstant(this.type);
   bool isObject() => true;
 
-  // TODO(1603): The class should be marked as abstract, but the VM doesn't
-  // currently allow this.
   abstract int hashCode();
 
+  DartType computeType(ConstantHandler handler) => type;
+
   void _writeCanonicalizedJsCode(CodeBuffer buffer, ConstantHandler handler) {
     String name = handler.getNameForConstant(this);
     buffer.add(handler.compiler.namer.isolatePropertiesAccessForConstant(name));
   }
 }
 
 class ListConstant extends ObjectConstant {
   final List<Constant> entries;
   int _hashCode;
 
@@ skipping 899 matching lines @@
       Constant fieldValue = fieldValues[field];
       if (fieldValue === null) {
         // Use the default value.
         fieldValue = compiler.compileVariable(field);
       }
       jsNewArguments.add(fieldValue);
     });
     return jsNewArguments;
   }
 }