Skip to content

Commit d859fd5

Browse files
committed
Change the example so the optimisation is still incorrect.
1 parent d47de1d commit d859fd5

File tree

2 files changed

+20
-18
lines changed

2 files changed

+20
-18
lines changed

tests/tests/src/move_ref_assignment.mjs

Lines changed: 13 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,28 +1,32 @@
11
// Generated by ReScript, PLEASE EDIT WITH CARE
22

33

4-
let j = 0;
4+
let j = 1;
55

6-
let k = 1;
6+
let k = {
7+
c: 1
8+
};
79

8-
if (j === 0) {
9-
j = j + 2 | 0;
10-
console.log("j.c");
11-
} else {
12-
j = j + 2 | 0;
10+
function upd() {
11+
k.c = 3;
1312
}
1413

14+
upd();
15+
1516
j = j + 2 | 0;
1617

17-
if (k === 0) {
18-
console.log("k.c");
18+
if (k.c === 1) {
19+
console.log("correct");
20+
} else {
21+
console.log("incorrect");
1922
}
2023

2124
let j$1 = 0;
2225

2326
let k$1 = 0;
2427

2528
export {
29+
upd,
2630
j$1 as j,
2731
k$1 as k,
2832
}

tests/tests/src/move_ref_assignment.res

Lines changed: 7 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,18 @@
11
type t = {mutable c: int}
22

3-
let j = {c: 0}
3+
let j = {c: 1}
44
let k = {c: 1}
55

6-
if j.c == 0 {
7-
j.c = j.c + 2
8-
Console.log("j.c")
9-
} else {
10-
j.c = j.c + 2
11-
}
6+
let upd = () => k.c = 3
127

13-
if k.c == 0 {
8+
if k.c == 1 {
9+
upd()
1410
j.c = j.c + 2
15-
Console.log("k.c")
11+
Console.log("correct")
1612
} else {
13+
upd()
1714
j.c = j.c + 2
15+
Console.log("incorrect")
1816
}
1917

2018
let j = 0

0 commit comments

Comments
 (0)