From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id OAA03282; Mon, 20 Aug 2001 14:53:59 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id OAA03287 for ; Mon, 20 Aug 2001 14:53:58 +0200 (MET DST) Received: from smtp1.cswv.com (smtp1.cswv.com [4.17.129.17]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f7KCrvD22636 for ; Mon, 20 Aug 2001 14:53:58 +0200 (MET DST) Received: from smtp1.cswv.com ([4.17.129.17]) by smtp1.cswv.com with Microsoft SMTPSVC(5.5.1877.197.19); Mon, 20 Aug 2001 08:54:33 -0400 Received: FROM exchange1.cswv.com BY smtp1.cswv.com ; Mon Aug 20 08:54:33 2001 -0400 Received: by exchange1.cswv.com with Internet Mail Service (5.5.2653.19) id ; Mon, 20 Aug 2001 08:57:10 -0400 Message-ID: From: "Krishnaswami, Neel" To: caml-list@inria.fr Subject: Re: [Caml-list] Segfault in a native code multi-threaded program Date: Mon, 20 Aug 2001 08:57:09 -0400 MIME-Version: 1.0 X-Mailer: Internet Mail Service (5.5.2653.19) Content-Type: text/plain; charset="iso-8859-1" Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk David Mentre [mailto:David.Mentre@inria.fr] wrote: > Brian Rogoff writes: > > > > A more type safe marshaling framework is way up there on my list of > > desired enhancements. I think this will be part of the extensional > > polymorphism enhancements that you can see now in G'Caml. > > In my opinion, they are two different kinds of marshaling > that one could expect: the safe one and the correct one. [...] > > I have probably missed something on the difficulty of marshaling. I > tried to look at the mailing list archive, but did not find out the > relevant messages. Any pointer? Dumb observation. It seems to me that a lot of the simpler marshalling problems -- tree-like structures with no closures -- can be handled using a tool like the Zephyr project's ASDL (abstract syntax description language). http://www.cs.princeton.edu/zephyr/ASDL I believe it has a mode to emit Caml, in addition to SML, Haskell and Java. This ought to be able to handle a lot of cases with no risk of core dumps. Code generation is a pain, of course, but it seems to me to be preferable to core dumps. -- Neel Krishnaswami neelk@cswcasa.com ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr