Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix a confusing initial value in the web REPL JS #5873

Merged
merged 1 commit into from
Oct 2, 2023

Conversation

brian-carroll
Copy link
Contributor

@brian-carroll brian-carroll commented Oct 1, 2023

In #5863 I make result_addr a number, whereas it used to be an object.
I forgot to change the initial value though! It's still an object!
The initial value is always overwritten, so it has no effect on functionality. But the whole point of that PR was code clarity, so let's fix it!

The default git diff isn't really enough to see that this is correct. You might want to "view file" and see the other 2 usages of the field, which treat it as a number.

This fix is not urgent because everything works. But people might look at the source code after I do a talk on it tomorrow and get confused.

@ayazhafiz ayazhafiz merged commit b66756c into main Oct 2, 2023
14 checks passed
@ayazhafiz ayazhafiz deleted the fix-confusing-init-value-in-web-repl branch October 2, 2023 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants