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

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

Issue 12212016: Remove Expect from core library. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 7 years, 10 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 import "package:expect/expect.dart";
7
6 isCheckedMode() { 8 isCheckedMode() {
7 try { 9 try {
8 var i = 1; 10 var i = 1;
9 String s = i; 11 String s = i;
10 return false; 12 return false;
11 } catch (e) { 13 } catch (e) {
12 return true; 14 return true;
13 } 15 }
14 } 16 }
15 17
(...skipping 10 matching lines...) Expand all
26 // Static result type of f(), i.e. FList, is a subtype of FListInt. 28 // 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. 29 // However, run time type of returned function is not a subtype of FListInt.
28 // Run time type check should not be eliminated. 30 // Run time type check should not be eliminated.
29 FListInt fli = f(); 31 FListInt fli = f();
30 } on TypeError catch (error) { 32 } on TypeError catch (error) {
31 got_type_error = true; 33 got_type_error = true;
32 } 34 }
33 // Type error expected in checked mode only. 35 // Type error expected in checked mode only.
34 Expect.isTrue(got_type_error == isCheckedMode()); 36 Expect.isTrue(got_type_error == isCheckedMode());
35 } 37 }
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698