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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 23023BBAF for ; Mon, 15 Feb 2010 02:37:38 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AukAAII0eEuYToAQkWdsb2JhbACDBZgWFQEBAQEJCwoHEwUYBqxEjjuBMIJQWwQ X-IronPort-AV: E=Sophos;i="4.49,473,1262559600"; d="scan'208";a="44806714" Received: from mailgate7.iss.soton.ac.uk ([152.78.128.16]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 15 Feb 2010 02:37:37 +0100 Received: from mailgate7.iss.soton.ac.uk (localhost.localdomain [127.0.0.1]) by mailgate7.iss.soton.ac.uk (8.13.8/8.13.4) with ESMTP id o1F1bUgT010636; Mon, 15 Feb 2010 01:37:30 GMT Received: from uos-msg00011-si.soton.ac.uk (uos-msg00011-si.soton.ac.uk [152.78.119.34]) by mailgate7.iss.soton.ac.uk (mailgate7.iss.soton.ac.uk [152.78.128.16]) envelope-from with ESMTP id m1E1bU13902058078Q ret-id none; Mon, 15 Feb 2010 01:37:30 +0000 Received: from [152.78.36.4] (152.78.36.4) by smtp.soton.ac.uk (152.78.119.34) with Microsoft SMTP Server (TLS) id 8.1.393.1; Mon, 15 Feb 2010 01:37:29 +0000 Message-ID: <4B78B36A.60905@soton.ac.uk> Date: Mon, 15 Feb 2010 02:37:30 +0000 From: Thomas Fischbacher User-Agent: Mozilla-Thunderbird 2.0.0.22 (X11/20090706) MIME-Version: 1.0 To: "guillaume.yziquel@citycable.ch" Cc: Richard Jones , OCaml List Subject: Re: [Caml-list] Wrapping var_args, or C ... in ocaml? References: <4B781ACC.4040603@citycable.ch> <20100214180650.GA22433@annexia.org> <4B787D32.10505@citycable.ch> <20100214225931.GC24949@annexia.org> <4B78838D.1040208@citycable.ch> <20100214231952.GD24949@annexia.org> <4B78A4A1.5070106@citycable.ch> In-Reply-To: <4B78A4A1.5070106@citycable.ch> Content-Type: text/plain; charset="UTF-8"; format=flowed Content-Transfer-Encoding: quoted-printable X-smtpf-Report: client=relay,white,ipv6; mail=; rcpt= X-UOS-MailScanner-Information: Please contact Serviceline@soton.ac.uk for more information X-UOS-MailScanner-ID: o1F1bUgT010636 X-UOS-MailScanner: Found to be clean X-UOS-MailScanner-From: t.fischbacher@soton.ac.uk X-Spam: no; 0.00; ocaml:01 guillaume:01 0100,:01 guillaume:01 0100,:01 henrik:01 segfault:01 rewriting:01 wrote:01 wrote:01 caml-list:01 python:03 python:03 btw:03 seems:03 Guillaume Yziquel wrote: > Richard Jones a =C3=A9crit : >> On Mon, Feb 15, 2010 at 12:13:17AM +0100, Guillaume Yziquel wrote: >>> Richard Jones a =C3=A9crit : >>>> On Sun, Feb 14, 2010 at 11:46:10PM +0100, Guillaume Yziquel wrote: >> However I'm still confused what you are trying to do here. If you're >> trying to bind the above, maybe look first at PyCaml? >=20 > Well, somehow, PyCaml seems to never have wanted to work with me. >=20 > I tried Art Yerkes' version, Thomas Fishbacher's version, Henrik=20 > Stuart's version, and Yoann Padioleau's merge of these versions. Somehow= =20 > things always seem wrong. I get a segfault with Yoann Padioleau's=20 > version due to the layout of the Python table function (WTF!? BTW). >=20 > So I'm rewriting a Python embedding. ...which is a good idea. Our version of pycaml (i.e. the one included in the nsim package) works in the sense that it does not have memory management bugs, as the one in debian does. However, I think it is not thread-safe from the Python side. Still, it is based on Art Yerkes' old code. I consider a clean re-write a very good idea. Would do it myself, if I had the time... --=20 best regards, Thomas Fischbacher t.fischbacher@soton.ac.uk