OLD | NEW |
1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 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 | 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 version of two-argument Ackermann-Peter function. | 4 // Dart version of two-argument Ackermann-Peter function. |
5 | 5 |
6 import "package:expect/expect.dart"; | 6 import "package:expect/expect.dart"; |
7 | 7 |
| 8 |
8 main() { | 9 main() { |
9 try { | 10 try { |
10 print("abcdef".substring(1.5, 3.5)); // //# 01: static type warning | 11 print("abcdef".substring(1.5, 3.5)); // //# 01: static type warning |
11 Expect.fail("Should have thrown an exception"); // //# 01: continued | 12 Expect.fail("Should have thrown an exception"); // //# 01: continued |
12 } on TypeError catch (e) { | 13 } on TypeError catch (e) { |
13 // OK. | 14 // OK. |
14 } on ArgumentError catch (e) { | 15 } on ArgumentError catch (e) { |
15 // OK. | 16 // OK. |
16 } | 17 } |
17 } | 18 } |
OLD | NEW |