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