From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <monnier.florent@gmail.com>
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 1FEFBBBAF
	for <caml-list@yquem.inria.fr>; Wed, 25 Aug 2010 21:16:40 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuIBABkJdUxKfVIuimdsb2JhbACTJI0SCBUBAQEKCQwHDwUfowyJGIIThlYuiFQBAQMFhTIEigM
X-IronPort-AV: E=Sophos;i="4.56,270,1280700000"; 
   d="scan'208";a="56022989"
Received: from mail-ww0-f46.google.com ([74.125.82.46])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 25 Aug 2010 21:16:39 +0200
Received: by wwi17 with SMTP id 17so487573wwi.3
        for <caml-list@yquem.inria.fr>; Wed, 25 Aug 2010 12:16:39 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:subject:date
         :user-agent:references:in-reply-to:mime-version:message-id
         :content-type:content-transfer-encoding;
        bh=cmeqINlr8XtFXjNFbxs2TeeCchJ7whZzIQy74+1Ao9k=;
        b=m2AeYJ0mJuYvb1GpDAQP4PYPjacK2liWedc1670R+A9Shz+krQ5WBH4cjcGV49cimq
         YQT2eLp5dFDAJI9n0yNDdLiG9TsG+1Q06OKFsrQknv6KwHqu5ah+dzpfWthfkO/J9m1q
         Gup3P+0JTjqJzJeidWaEOCOqnytr9iEuT9VoA=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=from:to:subject:date:user-agent:references:in-reply-to:mime-version
         :message-id:content-type:content-transfer-encoding;
        b=OPSy7MOj+4msK/P7YlRSFw77UD9VzBsfgGFIo+eSohOI1IDRspvHM5nExkZZBLQCxZ
         MBFqiCiCRMDbcAIpjJN9VRigujW0fPSasUct2m5pA0Blq95yRabXKul6Vh8KxrPfuphl
         oG+K7+L2B6YtMkZ83QBJur610b3LmJmQMuH6g=
Received: by 10.227.137.81 with SMTP id v17mr7895352wbt.10.1282763799386;
        Wed, 25 Aug 2010 12:16:39 -0700 (PDT)
Received: from localhost.localnet (pat35-5-78-226-58-147.fbx.proxad.net [78.226.58.147])
        by mx.google.com with ESMTPS id m25sm1463989wbc.19.2010.08.25.12.16.37
        (version=SSLv3 cipher=RC4-MD5);
        Wed, 25 Aug 2010 12:16:38 -0700 (PDT)
From: Florent Monnier <monnier.florent@gmail.com>
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] caml_copy_string
Date: Wed, 25 Aug 2010 21:16:30 +0200
User-Agent: KMail/1.13.3 (Linux/2.6.33.5-desktop586-2mnb; KDE/4.4.3; i686; ; )
References: <AANLkTi=vo41hxuw_uwtCVD6YMHeUBfBR+YYNCxKrCjU0@mail.gmail.com> <D122405E-9F3E-4488-BDC7-B495D020AF86@recoil.org> <201008241035.16215.toots@rastageeks.org>
In-Reply-To: <201008241035.16215.toots@rastageeks.org>
MIME-Version: 1.0
Message-Id: <201008252116.30488.monnier.florent@gmail.com>
Content-Type: Text/Plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable
X-Spam: no; 0.00; anil:01 ocaml:01 runtime:01 ocamlopt:01 48,:98 functioning:98 caml-list:01 caml:02 caml:02 string:02 string:02 leroy's:03 xavier:06 ecrit:06 ecrit:06 

Le mardi 24 ao=FBt 2010 17:35:15, Romain Beauxis a =E9crit :
> Le mardi 24 ao=FBt 2010 10:22:48, Anil Madhavapeddy a =E9crit :
> > That's not quite right; "noalloc" calls do not have the OCaml runtime in
> > a functioning state at all since the instructions to set it up are not
> > emitted by ocamlopt.
> >=20
> > See [1] for Xavier Leroy's explanation on the matter, which I've quoted
> > below:
>=20
> That's right. Therefore, calling caml_copy_string in noalloc mode is
> probably not a good idea..

but no-one told to do so

there was a boxed value provided to the noalloc function,
but this function does not call caml_copy_string at all

=2D-=20
Regards
=46lorent