Daniel Hillerström
Daniel Hillerström
The correct reading of `('a, 'b) continuation` depends on the origin of the continuation. If the continuation was captured "shallowly" then you are correct that `'b` would be instantiated to...
I don't know the context of this patch. What's the motivation? It seems to bundle a bunch of unrelated things together. Specifically, what's the motivation for the `case` change? >...
> > The motivation of the entire PR is to make sure the tests are up-to-date, i.e. that tests which should pass do actually pass, that tests that pass are...
Thanks for the clarification. I see. I think we need to discuss which kind of design to adopt here. Because the change is pervasive.
It should be straightforward to implement `exit` in JS, if it isn't already: ```javascript function exit(x, k) { // Drops the current continuation aka the rest of the program return...
> @dhil is it okay if I take over this RFC to get it across the finish line? Yes absolutely!
Closing and reopening to activate CI.
You are right. I am piggybacking on the generativity of `exn` in OCaml to ensure that identities are globally unique. We can use any other generative type. The reason I...
This issue would become irrelevant once #588 has been realised.
We also need operation types.