06:29
<annevk>
raphaellouis: I suspect as with your last idea, defining a holistic model that prevents exfiltration as well as allows for updates will be rather involved; on top of that you have the problem of getting people excited to adopt this model as it would presumably introduce quite some complexity for web developers (also, please see https://heyguys.cc/)
17:22
<annevk>
Domenic: ParseText isn't implemented standalone in JS engines? That is, part of it might be implemented as part of attempting to run the script? Hmm...
17:23
<Domenic>
Yeah, I'm not sure on the exact boundaries. I also know V8 has some spec mismatches for early errors specifically where we turn them into runtime errors, but SpiderMonkey is better...
17:24
<annevk>
Yeah this would make that rather observable
17:27
<Domenic>
So a concrete example, I'm told, is (a, a) => a. This is an early error but not a parse error.
17:27
<Domenic>
We should pick and test what behavior we want for that code in ORB, I guess. I'm not sure which direction matters, but it's something to check interop on...
17:30
<annevk>
Domenic: created an issue to track and copied you and usual suspects