OLD | NEW |
| (Empty) |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | |
2 // for details. All rights reserved. Use of this source code is governed by a | |
3 // BSD-style license that can be found in the LICENSE file. | |
4 // | |
5 // Unresolved imported symbols are handled differently in production mode and | |
6 // check modes. In this test, the function myFunc is malformed, because | |
7 // lib12.Library13 is not resolved. | |
8 // In checked mode, the assignment type check throws a run time type error. | |
9 // In production, no assignment type checks are performed. | |
10 | |
11 #library("Prefix16NegativeTest.dart"); | |
12 #import("library12.dart", prefix:"lib12"); | |
13 | |
14 typedef lib12.Library13 myFunc(lib12.Library13 param); | |
15 | |
16 isCheckedMode() { | |
17 try { | |
18 var i = 1; | |
19 String s = i; | |
20 return false; | |
21 } catch(var e) { | |
22 return true; | |
23 } | |
24 } | |
25 | |
26 main() { | |
27 { | |
28 bool got_type_error = false; | |
29 try { | |
30 myFunc i = 0; | |
31 } catch (TypeError error) { | |
32 got_type_error = true; | |
33 } | |
34 // Type error in checked mode only. | |
35 Expect.isTrue(got_type_error == isCheckedMode()); | |
36 } | |
37 { | |
38 bool got_type_error = false; | |
39 try { | |
40 // In production mode, malformed myFunc is mapped to (Dynamic) => Dynamic. | |
41 Expect.isTrue(((int x) => x) is myFunc); | |
42 } catch (TypeError error) { | |
43 got_type_error = true; | |
44 } | |
45 // Type error in checked mode only. | |
46 Expect.isTrue(got_type_error == isCheckedMode()); | |
47 } | |
48 } | |
OLD | NEW |