Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(499)

Side by Side Diff: tests/language/function_type_test.dart

Issue 10891020: Update almost all tests (except co19) to use the new try-catch syntax. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Merge. Created 8 years, 3 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file
2 // for details. All rights reserved. Use of this source code is governed by a 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. 3 // BSD-style license that can be found in the LICENSE file.
4 // Dart test for a function type test that cannot be eliminated at compile time. 4 // Dart test for a function type test that cannot be eliminated at compile time.
5 5
6 isCheckedMode() { 6 isCheckedMode() {
7 try { 7 try {
8 var i = 1; 8 var i = 1;
9 String s = i; 9 String s = i;
10 return false; 10 return false;
11 } catch(var e) { 11 } catch (e) {
12 return true; 12 return true;
13 } 13 }
14 } 14 }
15 15
16 typedef FList(List l); 16 typedef FList(List l);
17 typedef FListInt(List<int> l); 17 typedef FListInt(List<int> l);
18 18
19 FList f() { 19 FList f() {
20 return (List<String> l) => null; // Type of function is a subtype of FList. 20 return (List<String> l) => null; // Type of function is a subtype of FList.
21 } 21 }
22 22
23 main() { 23 main() {
24 bool got_type_error = false; 24 bool got_type_error = false;
25 try { 25 try {
26 // Static result type of f(), i.e. FList, is a subtype of FListInt. 26 // Static result type of f(), i.e. FList, is a subtype of FListInt.
27 // However, run time type of returned function is not a subtype of FListInt. 27 // However, run time type of returned function is not a subtype of FListInt.
28 // Run time type check should not be eliminated. 28 // Run time type check should not be eliminated.
29 FListInt fli = f(); 29 FListInt fli = f();
30 } catch (TypeError error) { 30 } on TypeError catch (error) {
31 got_type_error = true; 31 got_type_error = true;
32 } 32 }
33 // Type error expected in checked mode only. 33 // Type error expected in checked mode only.
34 Expect.isTrue(got_type_error == isCheckedMode()); 34 Expect.isTrue(got_type_error == isCheckedMode());
35 } 35 }
OLDNEW
« no previous file with comments | « tests/language/function_malformed_result_type_test.dart ('k') | tests/language/generic_test.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698