English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Native delimited continuations for bytecode OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-03-01 (11:41)
From: oleg@p...
Subject: Re: [Caml-list] Native delimited continuations for bytecode OCaml


[I'm not sure if this messages makes it to the caml-list. Sorry]

Till Varoquaux wrote:
> Can your code be used for unlimited continuation? I am currently
> using code that looks somewhat like this:
>   [capture continuation and Marshall it out]
>   [Upon startup of the application, resume from the saved state]

Hmm, I have written code to test this interesting application. Alas,
when I run it and was writing the captured continuation, I got a

Fatal error: exception Invalid_argument("output_value: abstract value

I guess the marshalling function isn't happy about abstract values. I
really don't know which particular value it is complaining about: the
values used by the low-level C code are actually tuples and
integers. But there are a lot of abstract values in the delimcc OCaml
code, introduced to hide the representation.