Support type literals as compile-time constants.

sdk/lib/_internal/compiler/implementation/ssa/codegen.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.
 
 part of ssa;
 
 class SsaCodeGeneratorTask extends CompilerTask {
 
   final JavaScriptBackend backend;
 
@@ skipping 1820 matching lines @@
       } else if (constant.isSentinel()) {
         // TODO(floitsch): get rid of the code buffer.
         CodeBuffer buffer = new CodeBuffer();
         backend.emitter.writeConstantToBuffer(constant, buffer);
         push(new js.VariableUse(buffer.toString()));
       } else {
         compiler.internalError(
             "The compiler does not know how generate code for "
             "constant $constant");
       }
+    } else if (constant.isType) {

[floitsch, 2012/11/16 13:53:31]

isn't this doing exactly the same thing as the 'else' branch?

[karlklose, 2012/11/19 15:08:58]

Yes. Removed.

+      String name = namer.constantName(constant);
+      js.VariableUse currentIsolateUse =
+          new js.VariableUse(backend.namer.CURRENT_ISOLATE);
+      push(new js.PropertyAccess.field(currentIsolateUse, name));
     } else {
       String name = namer.constantName(constant);
       js.VariableUse currentIsolateUse =
           new js.VariableUse(backend.namer.CURRENT_ISOLATE);
       push(new js.PropertyAccess.field(currentIsolateUse, name));
     }
   }
 
   visitConstant(HConstant node) {
     assert(isGenerateAtUseSite(node));
@@ skipping 1253 matching lines @@
   if (leftType.canBeNull() && rightType.canBeNull()) {
     if (left.isConstantNull() || right.isConstantNull() ||
         (leftType.isPrimitive() && leftType == rightType)) {
       return '==';
     }
     return null;
   } else {
     return '===';
   }
 }