Francis McCabe
Francis McCabe
Should we not have some validation rules? E.g., a cont_type is only valid if its argument is an index type of a func_type definition?
ok. got it.
Reopening, because the current design introduces an 'annoyance': because cont types are the only type definition that introduces an auxiliary validation requirement like this, it makes validation significantly more difficult:...
Restricting cont types to acyclic will not work: if you use switching, then nearly every continuation will have a recursive type.
Continuing (sic) my complaint: in V8, validating subtype correctness is a separate path in the validator. It is not exercised in cases not involving subtypes. So, I will need to...
Apologies. This is a more readable link: https://webassembly.github.io/js-promise-integration/js-api/#jspi It's a permalink: it will always reflect the current state of the JSPI spec.
## JSPI stands on its own Contrary to > Our main concern is not with JSPI by itself it's that we're unconvinced that side stacks are the way core stack...
I was under the impression that the problem being addressed by some barrier was one of mixing code: in particular, being able to safely mix code generated by a stack...
Opinion: a barrier instruction (whether its a block instruction or a special resume handler) has a architectural deficiency from the perspective of this use case. The issue is that it...
As with distributed computing, we should not attempt to make inter-language and inter-module interoperation 'invisible'. There are simply too many 'gotchas' to be able to do this in all cases....