From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.c.buenzli@gmail.com>
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id B1C73BBAF
	for <caml-list@yquem.inria.fr>; Wed,  3 Feb 2010 14:14:41 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AsYBAKMFaUvRVdvdkGdsb2JhbACDM5dRPQEBAQEJCQwHEwOsEYF2hUSIbwEBAwWBKII+WgSLaw
X-IronPort-AV: E=Sophos;i="4.49,397,1262559600"; 
   d="scan'208";a="55341717"
Received: from mail-ew0-f221.google.com ([209.85.219.221])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Feb 2010 14:14:41 +0100
Received: by ewy21 with SMTP id 21so1641296ewy.22
        for <caml-list@inria.fr>; Wed, 03 Feb 2010 05:14:41 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:sender:received:in-reply-to
         :references:date:x-google-sender-auth:message-id:subject:from:to:cc
         :content-type;
        bh=V5GQc3dR+YzDxE/7uz1iEn/HBmmKYgoSTyPQ7c+apDo=;
        b=ogvMgpAAQys4/PRx92Z8BqzCSazPD4eHhnwfFp0lT+fU4mclqn8+tmq1ZmkfyS2RKJ
         XsmVFzdn16q9uR9ZHF3Tyyvwr6BMzMNLVj6x3QKq4C6TMDN3+yM71F6y0YvN/lbJfEwv
         CwdWrv0iN7JUbmvxfOIl+yTVj6iYKIHg4kikQ=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=mime-version:sender:in-reply-to:references:date
         :x-google-sender-auth:message-id:subject:from:to:cc:content-type;
        b=nAlZAjya8mKGPa1vobjCT4CpPo+nDzS1WX7mJ3hRGMzq48YUII9zcK4IKtPyPuUgZu
         NLdNWZVPmdGIwcEk4JrBVwUGXoDDmbhisuAXZF6lwBWNiJ96HmAF8/v4X+UoSLrvb2/C
         /9cMAv77IBQprRL/hTg00YPu4T71FAtK7HYvA=
MIME-Version: 1.0
Sender: daniel.c.buenzli@gmail.com
Received: by 10.213.102.73 with SMTP id f9mr7251053ebo.12.1265202880798; Wed, 
	03 Feb 2010 05:14:40 -0800 (PST)
In-Reply-To: <4B682A63.8010101@frisch.fr>
References: <91a3da521002020512v758849f0mdac3538abac44161@mail.gmail.com>
	 <4B682A63.8010101@frisch.fr>
Date: Wed, 3 Feb 2010 14:14:40 +0100
X-Google-Sender-Auth: 57a8c1202b39d3df
Message-ID: <91a3da521002030514i36d1c13axd8faa9b41d813c9b@mail.gmail.com>
Subject: Re: [Caml-list] Thread safe heterogenous property lists 
	(dictionaries)
From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: Alain Frisch <alain@frisch.fr>
Cc: caml-list@inria.fr
Content-Type: text/plain; charset=UTF-8
X-Spam: no; 0.00; buenzli:01 fwiw:01 caml-list:01 ids:03 let:03 daniel:04 daniel:04 thread-safe:05 thread:06 dictionaries:09 object:09 end:12 heterogenous:13 thanks:17 U4:82 

> FWIW, a thread-safe way to generate fresh ids is:
>
> let fresh_id () = Oo.id (object end)

Thanks for the tip.

Daniel