Implement parsing and resolving of type-variables.

tests/co19/co19-leg.status

Index: tests/co19/co19-leg.status
diff --git a/tests/co19/co19-leg.status b/tests/co19/co19-leg.status
index 81f463eac4229d3bc421ee480573bb96dbc298e3..7b295b1b9fc98684cec0195b94f7f5bf126dc74e 100644
--- a/tests/co19/co19-leg.status
+++ b/tests/co19/co19-leg.status
@@ -34,6 +34,7 @@ LibTest/core/ReceivePort/*: Fail, OK
 
 
 [ $component == leg ]
+Language/10_Expressions/01_Constants_A17_t03: Skip # Cycle reference. Times out.

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

Please add two newlines. Are you planning on fixing this?

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

Not now.

 # Issues with co19 test suite.
 Language/10_Expressions/07_Maps_A01_t01: Fail, OK # Bad test: an expression statement cannot start with a map literal (specification bug).
 Language/10_Expressions/08_Function_Expressions_A01_t05: Fail, OK # Function declaration takes precedence over function expression.
@@ -239,6 +240,8 @@ LibTest/core/RegExp/Pattern_semantics/firstMatch_NonEmptyClassRanges_A01_t06: Fa
 LibTest/core/String/contains_A01_t02: Fail # Expect.fail('IndexOutOfRangeException expected!')
 
 
+Language/13_Types/4_Interface_Types_A10_t04: Fail # visitIdentifier for typedefs not implemented

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

This should be grouped with ones above.

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

Done.

+Language/09_Generics/09_Generics_A01_t10: Fail

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

Add '# TODO(ahe): Please categorize' and two newlines.

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

Done.

 #
 # The following tests are all semantic tests that we can rely on dartc
 # catching for now.
@@ -419,7 +422,6 @@ Language/08_Interfaces/2_Getters_and_Setters_A07_t03: Fail, OK # @compile-error
 Language/08_Interfaces/2_Getters_and_Setters_A07_t04: Fail, OK # @compile-error
 Language/08_Interfaces/2_Getters_and_Setters_A07_t05: Fail, OK # @compile-error
 Language/08_Interfaces/3_Factories_and_Constructors_A01_t03: Fail, OK # @compile-error
-Language/08_Interfaces/3_Factories_and_Constructors_A01_t04: Fail, OK # @compile-error
 Language/08_Interfaces/3_Factories_and_Constructors_A02_t03: Fail, OK # @compile-error
 Language/08_Interfaces/3_Factories_and_Constructors_A02_t05: Fail, OK # @compile-error
 Language/08_Interfaces/3_Factories_and_Constructors_A02_t07: Fail, OK # @compile-error
@@ -443,16 +445,11 @@ Language/08_Interfaces/3_Factories_and_Constructors_A10_t04: Fail, OK # @compile
 Language/08_Interfaces/3_Factories_and_Constructors_A10_t05: Fail, OK # @compile-error
 Language/08_Interfaces/3_Factories_and_Constructors_A10_t06: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A01_t02: Fail, OK # @compile-error
-Language/08_Interfaces/Interfaces_A01_t03: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t01: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t02: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t03: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t04: Fail, OK # @compile-error
 Language/08_Interfaces/Interfaces_A02_t05: Fail, OK # @compile-error
-Language/09_Generics/09_Generics_A01_t05: Fail, OK # @compile-error
-Language/09_Generics/09_Generics_A01_t08: Fail, OK # @compile-error
-Language/09_Generics/09_Generics_A01_t10: Fail, OK # @compile-error
-Language/09_Generics/09_Generics_A01_t11: Fail, OK # @compile-error
 Language/10_Expressions/01_Constants_A15_t03: Fail, OK # 'const' keyword is not verified in literal maps.
 Language/10_Expressions/01_Constants_A15_t34: Fail, OK # @compile-error
 Language/10_Expressions/02_Null_A04_t01: Fail, OK # @compile-error
@@ -545,4 +542,3 @@ Language/13_Types/3_Type_Declarations/1_Typedef_A06_t02: Fail, OK # @compile-err
 Language/13_Types/3_Type_Declarations/1_Typedef_A06_t03: Fail, OK # @compile-error
 Language/13_Types/3_Type_Declarations/1_Typedef_A06_t04: Fail, OK # @compile-error
 Language/13_Types/7_Type_Void_A01_t02: Fail, OK # @compile-error
-Language/13_Types/7_Type_Void_A01_t09: Fail, OK # @compile-error