From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 0BE60BBBB for ; Thu, 2 Mar 2006 00:51:59 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k21Npwrg017699 for ; Thu, 2 Mar 2006 00:51:58 +0100 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA08435 for ; Thu, 2 Mar 2006 00:51:57 +0100 (MET) Received: from rabbit.math.nagoya-u.ac.jp (rabbit.math.nagoya-u.ac.jp [133.6.130.5]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id k21Nptfu017683 for ; Thu, 2 Mar 2006 00:51:56 +0100 Received: from localhost (moose-172 [172.16.254.3]) by rabbit.math.nagoya-u.ac.jp (8.12.11/3.7W) with ESMTP id k21NpprX018584; Thu, 2 Mar 2006 08:51:51 +0900 (JST) Date: Thu, 02 Mar 2006 08:51:48 +0900 (JST) Message-Id: <20060302.085148.70476851.garrigue@math.nagoya-u.ac.jp> To: oleg@pobox.com Cc: caml-list@inria.fr Subject: Re: [Caml-list] Native delimited continuations for bytecode OCaml From: Jacques Garrigue In-Reply-To: <20060301113720.8158BA9D0@Adric.metnet.navy.mil> References: <9d3ec8300603010126q4086821cp976b082f1b2b7885@mail.gmail.com> <20060301113720.8158BA9D0@Adric.metnet.navy.mil> X-Mailer: Mew version 4.2 on Emacs 21.3 / Mule 5.0 (SAKAKI) Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 4406339E.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at concorde with ID 4406339B.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 delimited:01 bytecode:01 ocaml:01 oleg:01 alas:01 marshalling:01 low-level:01 integers:01 ocaml:01 abstract:01 abstract:01 exception:01 typing:01 define:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 From: oleg@pobox.com > Hmm, I have written code to test this interesting application. Alas, > when I run it and was writing the captured continuation, I got a > problem: > > Fatal error: exception Invalid_argument("output_value: abstract value > (Custom)") > > 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. The above message is a bit confusing. "abstract" here is unrelated to typing and representation hiding, it just says that the marshaller encountered a custom C value. Note that, as it is custom, it might be possible to define a custom marshaller for it. Jacques Garrigue