From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2EMIOjx025775
	for <caml-list@sympa-roc.inria.fr>; Wed, 14 Mar 2012 23:18:25 +0100
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AqIBAEEYYU/RVaC2kGdsb2JhbABDtiUIIgEBAQEJCQ0HFAQjggoBAQQSAhMZATgBAwwBBQULAzgiEgEFARwGNYdonF4KjwGFNIkzAQULkHQElVaHe4ZOPYFXgk0
X-IronPort-AV: E=Sophos;i="4.73,586,1325458800"; 
   d="scan'208";a="149427175"
Received: from mail-gy0-f182.google.com ([209.85.160.182])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Mar 2012 23:18:24 +0100
Received: by ghrr20 with SMTP id r20so3568826ghr.27
        for <caml-list@inria.fr>; Wed, 14 Mar 2012 15:18:23 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=mime-version:sender:in-reply-to:references:from:date
         :x-google-sender-auth:message-id:subject:to:cc:content-type;
        bh=dYRTzdXEQLyRoVVwOwhp2k9jIDwZyjEYpd3ARyACNms=;
        b=Q2sKeHVZLK+HWrwY7aJ1NJ6dhqpjLOPqXdCENoWZohemnAxOZIwv85e1LEZV2y/xbJ
         snZAAwXxSWfbIyX/Uz9CEKwGoAUIbE4BA0M5ePsH6A9f1qX+tRjxBmrd4CVKfCxKNSoK
         6krLIiYWw0jCduutrcqKGmUpS7+hnemo715wJTEGzzxqGJ6So0EMjy78qS2JOJ28fBXJ
         0mKxdAU7k2L3VWUfDO2FZGRO7+9SpLmUhbp2XsFXkNlCSEc3Uj6f1G/NVqGhTPTYoOQk
         GQQ9gT+e5BxAys+PiYFBzg8/2wUnyw4qhMMaqriyjN1CHB/uGi2YggeLDJ2Kzd4Ye3VX
         YSlA==
Received: by 10.182.15.70 with SMTP id v6mr5485594obc.13.1331763503397; Wed,
 14 Mar 2012 15:18:23 -0700 (PDT)
MIME-Version: 1.0
Sender: dapilki@gmail.com
Received: by 10.182.29.226 with HTTP; Wed, 14 Mar 2012 15:18:03 -0700 (PDT)
In-Reply-To: <CAL-jcAmWU=u=cmSrKbmwTEZbD1LkY48u0rexr=2Pd_f+wBRgSA@mail.gmail.com>
References: <CAJMfKEXFrotb4t+MA4fHcYDuHeSATn1EHZFFRzGSu=EVzXVjfg@mail.gmail.com>
 <CAL-jcAnLOTWkSt3nUu4M4TMBr4JhLSS6W7B7+Fi4VCFY2XPu3g@mail.gmail.com>
 <CAJMfKEXbbFrRu1pFY_dWE3iN6F0sb=i-4OViMVRBbOr0v+ka+g@mail.gmail.com> <CAL-jcAmWU=u=cmSrKbmwTEZbD1LkY48u0rexr=2Pd_f+wBRgSA@mail.gmail.com>
From: Alexandre Pilkiewicz <alexandre.pilkiewicz@polytechnique.org>
Date: Wed, 14 Mar 2012 18:18:03 -0400
X-Google-Sender-Auth: 7wryowdVoIlaDXEvOm1kZmyDhQU
Message-ID: <CAH2fdNYnBnWGnyMMjQ2kg4tSYOmU51ZTQvx_dBQ=2926fPU_wQ@mail.gmail.com>
To: Edgar Friendly <thelema314@gmail.com>
Cc: Lukasz Stafiniak <lukstafi@gmail.com>, Caml <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Subject: Re: [Caml-list] Tuples (covariant immutable arrays)

type +'a t = (int -> 'a) * int

let get (a: 'a t) i = (fst a) i
let length (a: 'a t) = snd a

let of_array (a: 'a array) : 'a t =
  let a' = Array.copy a in
  (Array.get a', Array.length a')


should be enough