Support new malformed types semantics.

tests/language/prefix16_test.dart

Index: tests/language/prefix16_test.dart
diff --git a/tests/language/prefix16_test.dart b/tests/language/prefix16_test.dart
index 4fca6b0c0c386aaac1090e0d3ea45e25b0e602cc..43c036f35a0e25195987de057890320ed8f60aaa 100644
--- a/tests/language/prefix16_test.dart
+++ b/tests/language/prefix16_test.dart
@@ -2,11 +2,9 @@
 // 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.
 //
-// Unresolved imported symbols are handled differently in production mode and
-// check modes. In this test, the function myFunc is malformed, because
+// Unresolved imported symbols are treated as dynamic
+// In this test, the function myFunc contains malformed types because
 // lib12.Library13 is not resolved.
-// In checked mode, the assignment type check throws a run time type error.
-// In production, no assignment type checks are performed.
 
 library Prefix16NegativeTest.dart;
 import "package:expect/expect.dart";
@@ -28,6 +26,7 @@ main() {
   {
     bool got_type_error = false;
     try {
+      // Malformed myFunc treated as (dynamic) => dynamic.

[karlklose, 2013/07/19 11:45:40]

Do we have tests for functions with malformed and wellformed parameters?

[Johnni Winther, 2013/07/29 09:59:48]

Extended this test.

       myFunc i = 0;
     } on TypeError catch (error) {
       got_type_error = true;
@@ -38,12 +37,12 @@ main() {
   {
     bool got_type_error = false;
     try {
-      // In production mode, malformed myFunc is mapped to (dynamic) => dynamic.
+      // Malformed myFunc treated as (dynamic) => dynamic.
       Expect.isTrue(((int x) => x) is myFunc);
     } on TypeError catch (error) {
       got_type_error = true;
     }
     // Type error in checked mode only.

[karlklose, 2013/07/19 11:45:40]

Update comment.  You could also fail directly in the catch-block.

[Johnni Winther, 2013/07/29 09:59:48]

Done.

-    Expect.isTrue(got_type_error == isCheckedMode());
+    Expect.isFalse(got_type_error);
   }
 }