Implement parsing and resolving of type-variables.

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 98 matching lines @@
   static final NO_CONTINUE_TARGET = const MessageKind(
       'continue statement not inside loop');
   static final EXISTING_LABEL = const MessageKind(
       'original declaration of duplicate label #{1}');
   static final DUPLICATE_LABEL = const MessageKind(
       'duplicate declaration of label #{1}');
   static final UNUSED_LABEL = const MessageKind(
       'unused label #{1}');
   static final INVALID_CONTINUE = const MessageKind(
       'target of continue is not a loop or switch case');
+  static final TYPE_VARIABLE_AS_CONSTRUCTOR = const MessageKind(
+      'cannot use type variable as constructor');
   static final INVALID_BREAK = const MessageKind(
       'target of break is not a statement');
   static final INVALID_USE_OF_SUPER = const MessageKind(
       'super not allowed here');
   static final INVALID_CASE_DEFAULT = const MessageKind(
       'default only allowed on last case of a switch');
 
   static final NOT_A_COMPILE_TIME_CONSTANT = const MessageKind(
       'not a compile-time constant');
   static final CYCLIC_COMPILE_TIME_CONSTANTS = const MessageKind(
       'cycle in the compile-time constant computation');
 
   static final KEY_NOT_A_STRING_LITERAL = const MessageKind(
       'map-literal key not a string literal');
 
   static final NO_SUCH_LIBRARY_MEMBER = const MessageKind(
       '#{1} has no member named #{2}');
 
   static final CANNOT_INSTANTIATE_INTERFACE = const MessageKind(
       "cannot instantiate interface '#{1}'");
 
   static final CANNOT_INSTANTIATE_TYPEDEF = const MessageKind(
       "cannot instantiate typedef '#{1}'");
 
   static final NO_DEFAULT_CLASS = const MessageKind(
       "no default class on enclosing interface '#{1}'");
 
+  static final CYCLIC_TYPE_VARIABLE = const MessageKind(
+      "cyclic reference to type variable #{1}");
+  static final TYPE_NAME_EXPECTED = const MessageKind(
+      "class or interface name exptected");
   toString() => template;
 }
 
 class Message {
   final kind;
   final List arguments;
   String message;
 
   Message(this.kind, this.arguments);
 
@@ skipping 47 matching lines @@
   String toString() => message.toString();
 }
 
 class CompileTimeConstantError {
   final Message message;
   CompileTimeConstantError.message(this.message);
   CompileTimeConstantError(MessageKind kind, List<Type> arguments)
     : message = new Message(kind, arguments);
   String toString() => message.toString();
 }