Andreas Rossberg

The scenario is more like having an abstraction, e.g., a function, to perform the actual switch (and perhaps some house-keeping) but having to use that with continuations of conceptually heterogeneous...

@tlively, switch will occur inside the $yield function, but the continuation passed to $yield must already have a type suitable for switch — in particular, that receives the suspended continuation...

I would also push back strongly on dropping cont.bind. It was needed in at least half the use cases we looked at, and there is no efficient alternative. Moreover, that...

> I'm thinking of the label types. We can make the label types receive the suspended continuation before other values for consistency with switched-to continuations receiving the switched-from continuation before...

I'd expect explicit passing of context parameters to be more expensive, because you usually have extra allocations and indirections, and you have to lose type information and recover it with...

On 13 May 2016 at 23:49, Claude Pache [email protected] wrote: > I have to make some effort in order to not read "!" as "not"... It's C's fault to make...

Which version of OCaml do you have installed? (`ocaml --version`)

Hm, actually, this repo appears to be super out-of-date. We have long abandoned ocamlbuild. Somebody needs to sync with upstream.

Okay, yes, in its current state, the code in this repo would probably require downgrading to OCaml 4 to build.

As far as the core spec (minus the Appendix) is concerned, annotations are just syntax without any prescribed meaning and can appear anywhere — just like custom sections. It's up...