From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p61BuKTB031845
	for <caml-list@sympa-roc.inria.fr>; Fri, 1 Jul 2011 13:56:20 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AikGAI20DU5KfVI0imdsb2JhbAA8AQMShEKUK4NIiyMIFAEBAQoJDQcSBiGIe6Nui2aDCYRAiSECAwaFIIEMBI1MhGaEdoEchgw8gT2CHA
X-IronPort-AV: E=Sophos;i="4.65,457,1304287200"; 
   d="vcf'?scan'208";a="97797295"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 01 Jul 2011 13:56:15 +0200
Received: by wwf10 with SMTP id 10so3825377wwf.9
        for <multiple recipients>; Fri, 01 Jul 2011 04:56:14 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=sender:message-id:date:from:user-agent:mime-version:to:subject
         :references:in-reply-to:x-enigmail-version:content-type;
        bh=sKmzoz1VSDODmBHvhbWD7b7dWa17wdwuS3lwWjiE2kA=;
        b=xpcY9VroEL7BVdqZoAroc7cR5GQRU5KBxVgT7jyZ+fRrA8BcWu66lVKRxDJMZf+p6u
         4InEZFOItAiKgIwMycarskj8PazQx4qgwyC/8+Dx/6zP9p6dTVJujA9oO7sYe2/CAGH0
         gXXmSyb8k/mS4Pjm/HaB5h2dL344mkM81CeL0=
Received: by 10.216.4.212 with SMTP id 62mr1045748wej.79.1309521374914;
        Fri, 01 Jul 2011 04:56:14 -0700 (PDT)
Received: from [195.83.212.239] (chercheurs-239.saclay.inria.fr [195.83.212.239])
        by mx.google.com with ESMTPS id d7sm1589908wek.45.2011.07.01.04.56.13
        (version=SSLv3 cipher=OTHER);
        Fri, 01 Jul 2011 04:56:14 -0700 (PDT)
Sender: Fabrice Le Fessant <fabrissimo@gmail.com>
Message-ID: <4E0DB5DE.8090309@inria.fr>
Date: Fri, 01 Jul 2011 13:56:14 +0200
From: Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110424 Lightning/1.0b2 Thunderbird/3.1.10
MIME-Version: 1.0
To: caml-list@inria.fr
References: <BANLkTim=N1j+7J5L5VpkcKNDXZ1zf6mPcQ@mail.gmail.com>
In-Reply-To: <BANLkTim=N1j+7J5L5VpkcKNDXZ1zf6mPcQ@mail.gmail.com>
X-Enigmail-Version: 1.1.2
Content-Type: multipart/mixed;
 boundary="------------010407000100080802090507"
X-Validation-by: fabrice.le_fessant@inria.fr
Subject: Re: [Caml-list] GC interface question

This is a multi-part message in MIME format.
--------------010407000100080802090507
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

I would not call camlidl_alloc_small() without first initializing
correctly _varg[1] to Val_unit.

Fabrice

On 07/01/2011 11:09 AM, Dmitry Bely wrote:
> Does this fragment violate GC interface rules:
> 
>   Begin_roots_block(_varg, 2)
>     _varg[0] = ((struct camlidl_intf *) this)->caml_object;
>     _varg[1] = camlidl_alloc_small(1, Abstract_tag);
>     Field(_varg[1], 0) = (value) log;
>   End_roots();
>   _vres = caml_callbackN_exn(caml_get_public_method(_varg[0],
> Val_int(1007700946)), 2, _varg);
> 
> It's unsafe to pass _varg to caml_callbackN_exn when it is not
> referenced from local_roots, right?
> 
> - Dmitry Bely
> 

--------------010407000100080802090507
Content-Type: text/x-vcard; charset=utf-8;
 name="fabrice_le_fessant.vcf"
Content-Transfer-Encoding: 7bit
Content-Disposition: attachment;
 filename="fabrice_le_fessant.vcf"

begin:vcard
fn:Fabrice LE FESSANT
n:LE FESSANT;Fabrice
org:INRIA Saclay -- Ile-de-France;P2P & OCaml
adr;quoted-printable:;;Parc Orsay Universit=C3=A9 ;Orsay CEDEX;;91893;France
email;internet:fabrice.le_fessant@inria.fr
title;quoted-printable:Charg=C3=A9 de Recherche
tel;work:+33 1 74 85 42 14
tel;fax:+33 1 74 85 42 49 
url:http://fabrice.lefessant.net/
version:2.1
end:vcard


--------------010407000100080802090507--