Implement parsing and resolving of type-variables.

frog/leg/typechecker.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 TypeCheckerTask extends CompilerTask {
   TypeCheckerTask(Compiler compiler) : super(compiler);
   String get name() => "Type checker";
 
   static final bool LOG_FAILURES = false;
 
@@ skipping 11 matching lines @@
       }
     });
   }
 }
 
 interface Type {
   SourceString get name();
   Element get element();
 }
 
+class TypeVariableType {

[ahe, 2012/03/16 13:37:11]

implements Type

[karlklose, 2012/03/16 14:58:47]

Done.

+  final SourceString name;
+  Element element;
+  TypeVariableType(this.name, [this.element]);

[ngeoffray, 2012/03/15 11:47:40]

How about moving these classes in another place? The typechecker is something
optional, but not these classes.

[karlklose, 2012/03/16 14:58:47]

I'll do that in another CL.

+}
+
 /**
  * A statement type tracks whether a statement returns or may return.
  */
 class StatementType implements Type {
   final String stringName;
   Element get element() => null;
 
   SourceString get name() => new SourceString(stringName);
 
   const StatementType(this.stringName);
@@ skipping 541 matching lines @@
     // TODO(ahe): Why wasn't this resolved by the resolver?
     Type type = lookupType(identifier.source, compiler, types);
     if (type === null) {
       // The type name cannot be resolved, but the resolver
       // already gave a warning, so we continue checking.
       return types.dynamicType;
     }
     return type;
   }
 
+  visitTypeVariable(TypeVariable node) {
+    return types.dynamicType;
+  }
+
   Type visitVariableDefinitions(VariableDefinitions node) {
     Type type = analyzeWithDefault(node.type, types.dynamicType);
     if (type == types.voidType) {
       reportTypeWarning(node.type, MessageKind.VOID_VARIABLE);
       type = types.dynamicType;
     }
     for (Link<Node> link = node.definitions.nodes; !link.isEmpty();
          link = link.tail) {
       Node initialization = link.head;
       compiler.ensure(initialization is Identifier
@@ skipping 92 matching lines @@
   }
 
   visitCatchBlock(CatchBlock node) {
     fail(node);
   }
 
   visitTypedef(Typedef node) {
     fail(node);
   }
 }