Jon Harrop wrote:

> Is this the kind of thing you're after:
> 
>   http://okmij.org/ftp/ML/#dynvar

Wait a second...

Evidently, you can do tricks like that once you have some handle on the
continuation (this is how Oleg does it). But as far as I can see, this
will require Delimcc. Isn't that a bytecode-only thing, and also a
non-officially-supported hack on top of the OCaml system?

-- 
best regards,
Thomas Fischbacher
tf@functionality.de