js-slang icon indicating copy to clipboard operation
js-slang copied to clipboard

Stepper: renaming happening without reason, leading to bug

Open martin-henz opened this issue 1 year ago • 2 comments

https://share.sourceacademy.org/2vmmx

function rev(xs, result) {
    draw_data(xs, result);
    return is_null(xs)
           ? result
           : rev(tail(xs), pair(head(xs), result));
}

function reverse(xs) {
    return rev(xs, null);
}

reverse(list(1, 2, 3, 4));

gives: Screenshot 2024-12-09 at 10 09 29 PM

with both rev and reverse renamed to reverse_1.

martin-henz avatar Dec 09 '24 14:12 martin-henz

This problem is resolved in the new stepper.

https://github.com/user-attachments/assets/cab348f0-efd6-47cf-bcc2-ea965d69475b

CATISNOTSODIUM avatar Apr 06 '25 06:04 CATISNOTSODIUM

resolved by #1742

martin-henz avatar Apr 07 '25 03:04 martin-henz