Mark S. Miller
Mark S. Miller
Hi @Jack-Works , What is the status of this?
See also - [Popek and Goldberg virtualization requirements](https://en.wikipedia.org/wiki/Popek_and_Goldberg_virtualization_requirements) (Wikipedia) - [Preserve Host Virtualizability ](https://www.youtube.com/watch?v=z6H1OnI46dY&list=PLzDw4TTug5O3vIAd4IR1Gp5t_46co_dv9) (Less that 6min tc39 presentation. Please watch!) Because a universal Turing machine can emulate any other...
@kriskowal , considering what this modifies, I'm gonna wait for you to do a pass first.
To be closed in favor of a redo based on #2911
Closing in favor of https://github.com/endojs/endo/pull/2914
> Good enough in my book, but it would be lovely to have a `types.test-d.ts` to validate these type signatures get exported as intended and so we don’t regress. There...
See https://github.com/endojs/endo/issues/2418 The platform-compatability-test tests are not marked as required, so solving #2418 does not actually block this PR. But it would be nice to get that fixed first.
> Please consider removing the unnecessary `slice` call as brand check, and improve support for when the new length doesn't match. Done
Converting to Draft because its current form is too messy to consider as a candidate. I'll let you know when it is again ready for review.