| // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
| // for details. All rights reserved. Use of this source code is governed by a |
| // BSD-style license that can be found in the LICENSE file. |
| // Dart version of two-argument Ackermann-Peter function. |
| |
| import "package:expect/expect.dart"; |
| |
| main() { |
| try { |
| print("abcdef".substring(1.5, 3.5)); |
| // ^^^ |
| // [analyzer] COMPILE_TIME_ERROR.ARGUMENT_TYPE_NOT_ASSIGNABLE |
| // [cfe] The argument type 'double' can't be assigned to the parameter type 'int'. |
| // ^^^ |
| // [analyzer] COMPILE_TIME_ERROR.ARGUMENT_TYPE_NOT_ASSIGNABLE |
| // [cfe] The argument type 'double' can't be assigned to the parameter type 'int'. |
| Expect.fail("Should have thrown an exception"); |
| } on TypeError catch (e) { |
| // OK. |
| } on ArgumentError catch (e) { |
| // OK. |
| } |
| } |