Skip to content

Commit db66fd0

Browse files
committed
add a failing case
1 parent 75fdc41 commit db66fd0

File tree

4 files changed

+9
-1
lines changed

4 files changed

+9
-1
lines changed

tests/tests/src/exponentiation_test.mjs

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -36,7 +36,9 @@ eq("File \"exponentiation_test.res\", line 19, characters 5-12", -2147483648, in
3636

3737
eq("File \"exponentiation_test.res\", line 20, characters 5-12", 0, intPow(2, 32));
3838

39-
eq("File \"exponentiation_test.res\", line 22, characters 5-12", 256, four ** four | 0);
39+
eq("File \"exponentiation_test.res\", line 21, characters 5-12", 1, intPow(2147483647, 2));
40+
41+
eq("File \"exponentiation_test.res\", line 23, characters 5-12", 256, four ** four | 0);
4042

4143
Mt.from_pair_suites("Exponentiation_test", suites.contents);
4244

tests/tests/src/exponentiation_test.res

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,7 @@ let () = {
1818
eq(__LOC__, (2 ** 3) ** 2, intPow(intPow(2, 3), 2))
1919
eq(__LOC__, -2 ** 31, intPow(-2, 31))
2020
eq(__LOC__, 2 ** 32, intPow(2, 32))
21+
eq(__LOC__, 2147483647 ** 2, intPow(2147483647, 2))
2122

2223
eq(__LOC__, 4 ** 4, four ** four)
2324
}

tests/tests/src/unified_ops_test.mjs

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -65,6 +65,8 @@ let pow2 = 2 ** 2;
6565

6666
let pow3 = 2n ** 2n;
6767

68+
let pow_overflow = 1;
69+
6870
let int = 3;
6971

7072
export {
@@ -88,5 +90,6 @@ export {
8890
pow1,
8991
pow2,
9092
pow3,
93+
pow_overflow,
9194
}
9295
/* No side effect */

tests/tests/src/unified_ops_test.res

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -24,3 +24,5 @@ let odd = n => n % 2 == 1
2424
let pow1 = 2 ** 2
2525
let pow2 = 2. ** 2.
2626
let pow3 = 2n ** 2n
27+
28+
let pow_overflow = 2147483647 ** 2

0 commit comments

Comments
 (0)