| OLD | NEW |
| 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 | 4 |
| 5 import "package:expect/expect.dart"; | 5 import "package:expect/expect.dart"; |
| 6 | 6 |
| 7 // Make sure we use JavaScript semantics when compiling compile-time constants. | 7 // Make sure we use JavaScript semantics when compiling compile-time constants. |
| 8 | 8 |
| 9 const x = 12345678901234567891; | 9 const x = 12345678901234567891; |
| 10 const y = 12345678901234567890; | 10 const y = 12345678901234567890; |
| 11 const z = x - y; | 11 const z = x - y; |
| 12 | 12 |
| 13 const a = 1.0; | 13 const a = 1.0; |
| 14 const b = a << 3; /// 01: compile-time error | 14 const b = a << 3; |
| 15 |
| 16 /// 01: compile-time error |
| 15 | 17 |
| 16 const c = -0.0; | 18 const c = -0.0; |
| 17 const d = c << 1; /// 02: compile-time error | 19 const d = c << 1; |
| 20 |
| 21 /// 02: compile-time error |
| 18 | 22 |
| 19 foo() => 12345678901234567891 - 12345678901234567890; | 23 foo() => 12345678901234567891 - 12345678901234567890; |
| 20 | 24 |
| 21 main() { | 25 main() { |
| 22 Expect.equals(0, z); | 26 Expect.equals(0, z); |
| 23 Expect.equals(0, x - y); | 27 Expect.equals(0, x - y); |
| 24 Expect.equals(0, foo()); | 28 Expect.equals(0, foo()); |
| 25 Expect.isTrue(x is double); | 29 Expect.isTrue(x is double); |
| 26 Expect.isTrue(x is int); | 30 Expect.isTrue(x is int); |
| 27 Expect.equals(8, b); /// 01: continued | 31 Expect.equals(8, b); |
| 28 Expect.equals(8, 1.0 << 3); /// 03: static type warning | 32 |
| 33 /// 01: continued |
| 34 Expect.equals(8, 1.0 << 3); |
| 35 |
| 36 /// 03: static type warning |
| 29 Expect.isTrue(1 == 1.0); | 37 Expect.isTrue(1 == 1.0); |
| 30 Expect.equals(0, d); /// 02: continued | 38 Expect.equals(0, d); |
| 31 Expect.equals(0, -0.0 << 1); /// 04: static type warning | 39 |
| 40 /// 02: continued |
| 41 Expect.equals(0, -0.0 << 1); |
| 42 |
| 43 /// 04: static type warning |
| 32 // Make sure the 1 is not shifted into the 32 bit range. | 44 // Make sure the 1 is not shifted into the 32 bit range. |
| 33 Expect.equals(0, 0x100000000 >> 3); | 45 Expect.equals(0, 0x100000000 >> 3); |
| 34 // The dynamic int-check also allows -0.0. | 46 // The dynamic int-check also allows -0.0. |
| 35 Expect.isTrue((-0.0) is int); | 47 Expect.isTrue((-0.0) is int); |
| 36 } | 48 } |
| OLD | NEW |