Handle type checking of generic compile time constants.

tests/language/language_analyzer.status

Index: tests/language/language_analyzer.status
diff --git a/tests/language/language_analyzer.status b/tests/language/language_analyzer.status
index 6d53ab503bf67811060b38b40f5db76ac5aaec52..a5a63217c116bba9c073fec9f6988028cc99559b 100644
--- a/tests/language/language_analyzer.status
+++ b/tests/language/language_analyzer.status
@@ -199,15 +199,6 @@ checked_null_test: StaticWarning
 checked_setter2_test: StaticWarning
 checked_setter_test: StaticWarning
 closure_type_test: StaticWarning
-compile_time_constant_checked2_test/02: MissingCompileTimeError
-compile_time_constant_checked2_test/03: MissingCompileTimeError
-compile_time_constant_checked2_test/04: MissingCompileTimeError
-compile_time_constant_checked2_test/06: MissingCompileTimeError
-compile_time_constant_checked3_test/02: MissingCompileTimeError
-compile_time_constant_checked3_test/03: MissingCompileTimeError
-compile_time_constant_checked3_test/04: MissingCompileTimeError
-compile_time_constant_checked3_test/06: MissingCompileTimeError
-compile_time_constant_checked_test/02: MissingCompileTimeError
 compile_time_constant_k_test: StaticWarning
 compile_time_constant_o_test: StaticWarning
 const_counter_negative_test: CompileTimeError
@@ -316,7 +307,6 @@ list_test: StaticWarning
 malbounded_type_cast_test: StaticWarning
 malbounded_type_literal_test: StaticWarning
 malformed_type_test: StaticWarning
-malformed2_test/01: MissingCompileTimeError
 map_literal2_negative_test: CompileTimeError
 map_literal3_test: StaticWarning
 map_literal4_test: StaticWarning
@@ -471,3 +461,25 @@ vm/type_cast_vm_test: StaticWarning
 vm/type_vm_test: StaticWarning
 void_type_test: StaticWarning
 
+# This section is for tests that intentionally have incompatible behavior in
+# unchecked and checked mode. For instance tests for type errors in compile
+# time constants, which cause static type warnings in unchecked mode and
+# compile-time errors in checked mode.

[karlklose, 2014/01/29 10:44:23]

File a bug?

[Johnni Winther, 2014/01/30 08:25:23]

Done.

+compile_time_constant_checked2_test/02: MissingCompileTimeError
+compile_time_constant_checked2_test/03: MissingCompileTimeError
+compile_time_constant_checked2_test/04: MissingCompileTimeError
+compile_time_constant_checked2_test/06: MissingCompileTimeError
+compile_time_constant_checked3_test/02: MissingCompileTimeError
+compile_time_constant_checked3_test/03: MissingCompileTimeError
+compile_time_constant_checked3_test/04: MissingCompileTimeError
+compile_time_constant_checked3_test/06: MissingCompileTimeError
+compile_time_constant_checked_test/02: MissingCompileTimeError
+malformed2_test/01: MissingCompileTimeError
+const_constructor2_test/13: MissingCompileTimeError
+const_constructor2_test/14: MissingCompileTimeError
+const_constructor2_test/15: MissingCompileTimeError
+const_constructor2_test/16: MissingCompileTimeError
+const_constructor2_test/17: MissingCompileTimeError
+const_constructor2_test/20: MissingCompileTimeError
+const_constructor2_test/22: MissingCompileTimeError
+const_constructor2_test/24: MissingCompileTimeError