From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <milanst@gmail.com>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 19EC27EE5B
	for <caml-list@sympa.inria.fr>; Wed, 14 May 2014 20:12:42 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  milanst@gmail.com) identity=pra; client-ip=209.85.223.177;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="milanst@gmail.com";
  x-sender="milanst@gmail.com"; x-conformance=sidf_compatible
Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of
  milanst@gmail.com designates 209.85.223.177 as permitted
  sender) identity=mailfrom; client-ip=209.85.223.177;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="milanst@gmail.com";
  x-sender="milanst@gmail.com"; x-conformance=sidf_compatible;
  x-record-type="v=spf1"
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ie0-f177.google.com) identity=helo;
  client-ip=209.85.223.177;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="milanst@gmail.com";
  x-sender="postmaster@mail-ie0-f177.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnwBABOxc1PRVd+xlGdsb2JhbABZhC2CaMMHAYEdCBYOAQEBAQcLCwkSKoIlAQEFIx0BGx0BAwwGBQsDCgICJgICIQEBEQEFARwGEwiIJAEDEaBBjBFRgw2aAQoZJw1khVYRAQUMgR6LD4FiMweCdYFLAQOXXoFzjSqDeRgphQIh
X-IPAS-Result: AnwBABOxc1PRVd+xlGdsb2JhbABZhC2CaMMHAYEdCBYOAQEBAQcLCwkSKoIlAQEFIx0BGx0BAwwGBQsDCgICJgICIQEBEQEFARwGEwiIJAEDEaBBjBFRgw2aAQoZJw1khVYRAQUMgR6LD4FiMweCdYFLAQOXXoFzjSqDeRgphQIh
X-IronPort-AV: E=Sophos;i="4.97,1053,1389740400"; 
   d="scan'208";a="61874370"
Received: from mail-ie0-f177.google.com ([209.85.223.177])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 May 2014 20:12:41 +0200
Received: by mail-ie0-f177.google.com with SMTP id rp18so2226656iec.22
        for <caml-list@inria.fr>; Wed, 14 May 2014 11:12:40 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:in-reply-to:references:from:date:message-id:subject:to
         :cc:content-type:content-transfer-encoding;
        bh=JZGmH3FoHQFhOVWQiUj0exJUTWtcBnriKEVDb2z5tzE=;
        b=zWvNzK9rVIsySCQkACakjlwy9lT2AhoGIzMJO4GVUd8ppWb5mbNIO/I6mCE9tIqGkl
         VKDyGSLqVL0aET1bpRL6wNett4YCmvfXh5Dd3faCYylJ3zd3Gdk3lgzuqRtfZ66mKEYQ
         qtAeoe6G1qvXMnkghQj0OUUQURkDfEesQmOlQ2W4KJVV/YPbRpvcuxWV/lKikvJ+N0le
         uS+CdePIhuYje6AUWWxua0DDAbr7mbEZVGNgYaRMkN3SGfOwt9hpjaUR0ZANFMz4mD/2
         rrwrf+ynsLK181AmKethQmNlTlDTYRGrXPnm+JaLl33bVBbF5liZ3N0OzdRWJfHzB9F5
         PJ/Q==
X-Received: by 10.42.204.197 with SMTP id fn5mr3223638icb.95.1400091159938;
 Wed, 14 May 2014 11:12:39 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.64.141.114 with HTTP; Wed, 14 May 2014 11:11:59 -0700 (PDT)
In-Reply-To: <CANhEzE7rvy1dbEADy1bV5AhJWt4oBrt_2Gt3ks-Bmd-6mmDM3g@mail.gmail.com>
References: <CAKR7PS92EjrW60hD3+MCUpaog1abdSsByi-H+RCg1iOWrcT_NQ@mail.gmail.com>
 <CANhEzE7V9HKj9Y_yqbR72o0hKg-HvvvBRDyEo9BRTxB3LbcP9w@mail.gmail.com>
 <CANhEzE5=XeqJGGRAcnheQAL--BYhQM-BSh2+qA6YObDC7703jg@mail.gmail.com>
 <CAKR7PS_U4trQ0yhJ5vXyqKHNLS8SsayOOEG_32DP=SAQQv55xA@mail.gmail.com> <CANhEzE7rvy1dbEADy1bV5AhJWt4oBrt_2Gt3ks-Bmd-6mmDM3g@mail.gmail.com>
From: =?UTF-8?Q?Milan_Stanojevi=C4=87?= <milanst@gmail.com>
Date: Wed, 14 May 2014 14:11:59 -0400
Message-ID: <CAKR7PS8mE6rrA-mjRyNX4BcFusRaOvcvxw0q3NR1zu5aEUPEHw@mail.gmail.com>
To: Jeremie Dimino <jdimino@janestreet.com>
Cc: Caml List <caml-list@inria.fr>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] open extensible types representation

On Tue, May 13, 2014 at 12:57 PM, Jeremie Dimino <jdimino@janestreet.com> w=
rote:
> On Tue, May 13, 2014 at 5:39 PM, Milan Stanojevi=C4=87 <milanst@gmail.com=
> wrote:
>>
>> How are these unique identifiers created?
>
>
> They are created at runtime by incrementing a global counter, using the s=
ame
> function as for objects.
>
>>
>> Is matching done by doing binary search on them?
>
>
> No, the ordering is not known at compile time.

So matching is a linear search?