Support static/global field initializations.

frog/leg/warnings.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.
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static final GENERIC = const MessageKind('#{1}');
 
@@ skipping 47 matching lines @@
       'field #{1} is initialized more than once');
   static final ALREADY_INITIALIZED = const MessageKind(
       '#{1} was already initialized here');
   static final INIT_STATIC_FIELD = const MessageKind(
       'cannot initialize static field #{1}');
   static final NOT_A_FIELD = const MessageKind(
       '#{1} is not a field');
   static final INVALID_FOR_IN = const MessageKind(
       'Invalid for-in variable declaration.');
 
+  static final NOT_A_COMPILE_TIME_CONSTANT = const MessageKind(
+      '#{1} cannot be used as compile-time constant.');
+
   toString() => template;
 }
 
 class Message {
   final kind;
   final List arguments;
   String message;
 
   Message(this.kind, this.arguments);
 
@@ skipping 30 matching lines @@
   String toString() => message.toString();
 }
 
 class ResolutionWarning {
   final Message message;
   ResolutionWarning.message(this.message);
   ResolutionWarning(MessageKind kind, List<Type> arguments)
     : message = new Message(kind, arguments);
   String toString() => message.toString();
 }
+
+class CompileTimeConstantError {

[ngeoffray, 2012/01/16 15:22:35]

I would remove this. This looks like a ResolutionError.

[floitsch, 2012/01/18 12:56:19]

as discussed: keeping it, since there are CTC errors the resolver cannot catch.

+  final Message message;
+  CompileTimeConstantError.message(this.message);
+  CompileTimeConstantError(MessageKind kind, List<Type> arguments)
+    : message = new Message(kind, arguments);
+  String toString() => message.toString();  
+}