frontend icon indicating copy to clipboard operation
frontend copied to clipboard

full JavaScript: error message in Chrome (correct in Firefox)

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

Chrome: chrome

Firefox: firefox

The program: function h() { g(); }

h();

martin-henz avatar Mar 17 '22 16:03 martin-henz

Reopening so that we remember to check the frontend, in Chrome and Firefox, after js-slang is bumped.

martin-henz avatar Mar 18 '22 13:03 martin-henz

@shenyih0ng can you check this and close the issue if possible?

martin-henz avatar Jan 14 '23 10:01 martin-henz