Implement parsing and resolving of type-variables.

frog/leg/ssa/builder.dart

Index: frog/leg/ssa/builder.dart
diff --git a/frog/leg/ssa/builder.dart b/frog/leg/ssa/builder.dart
index 2d397ad2f525a5fa0a5e6359c0db55d7d40f8be1..4aa664a1923bd1c63e020ed51396b93f7999de9e 100644
--- a/frog/leg/ssa/builder.dart
+++ b/frog/leg/ssa/builder.dart
@@ -2500,6 +2500,10 @@ class SsaBuilder implements Visitor {
     compiler.unimplemented('SsaBuilder.visitTypedef', node: node);
   }
 
+  visitTypeVariable(TypeVariable node) {
+    compiler.internalError('SsaBuilder.visitTypeVariable');

[ngeoffray, 2012/03/18 13:40:57]

For something like if (a is T) { } the builder would see a type variable right?
If yes, then scratch my first comment on this CL, and you can change this to
unimplemented.

+  }
+
   generateUnimplemented(String reason, [bool isExpression = false]) {
     DartString string = new DartString.literal(reason);
     HInstruction message = graph.addConstantString(string);