v.pref: prevent overriding backend (fix #21758)#24526
Conversation
|
Connected to Huly®: V_0.6-22894 |
|
Is this really a good thing? There are multiple JS types for a reason... the first being that you may want to run the code in a browser, not node. This looks like changes things to only output for node. |
This PR only prevents the manually entered // -backend is "js" by default
v main.v -o main.js
// don't override -backend, as it has been manually entered
v -backend js_browser main.v -o main.jsThe default value was established here (line 1054): |
|
Ah, so opposite of what I thought. Carry on. :-) |
Co-authored-by: Delyan Angelov <delian66@gmail.com>
|
Excellent work. |
Fixes #21758
Related to PR #23797