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 | |
9 main() { | 8 main() { |
10 try { | 9 try { |
11 print("abcdef".substring(1.5, 3.5)); // //# 01: static type warning | 10 print("abcdef".substring(1.5, 3.5)); // //# 01: static type warning |
12 Expect.fail("Should have thrown an exception"); // //# 01: continued | 11 Expect.fail("Should have thrown an exception"); // //# 01: continued |
13 } on TypeError catch (e) { | 12 } on TypeError catch (e) { |
14 // OK. | 13 // OK. |
15 } on ArgumentError catch (e) { | 14 } on ArgumentError catch (e) { |
16 // OK. | 15 // OK. |
17 } | 16 } |
18 } | 17 } |
OLD | NEW |