From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q2EL45Ha024007 for ; Wed, 14 Mar 2012 22:04:05 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoUCAP8GYU/RVde2kGdsb2JhbABDhTqfFYhUAYkBCCIBAQEBCQkNBxQEI4IJAQEBAwESAg8dARsSCwEDAQsGBQQBBgMXHQICIQEBEQEFAQoSBhMSEIdjBQucbAqLREyCcYU3P4h0AQULiT+GH4EWBIJekniLLoMbPYQk X-IronPort-AV: E=Sophos;i="4.73,586,1325458800"; d="scan'208";a="136109210" Received: from mail-ey0-f182.google.com ([209.85.215.182]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 14 Mar 2012 22:03:59 +0100 Received: by eaaf13 with SMTP id f13so1856841eaa.27 for ; Wed, 14 Mar 2012 14:03:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=usFAR5cF+Dqyclc7L4KveEWWhE4/EhPIM18DWsjh0sU=; b=X1T1CjWQFnNvCEg0efMiEnTYuv9wxwsIxSlN8oU0YVCf1txCkw+FQW3KN3hTgfdOwV cZOQf6fRKxlD9eTy2lKxtAarKg5LZI0U7ciGswDs3aKzH76MWRsCvE8JPQZZBxy15oVY hK1LXRhtZPq/SsDelq7B1IQJXdOht9kp3XPJB4mBU2SxLez3cvVFxmx5IU07WYUgfiyj 87T1vb48r/4aWk9xh+egLeldh5iqXaOXNmNLMiQuR5Wb/ZMa4KS+s111+m4EwZkRFFYO bJ9tLfMhlzFVDc2AUt2rll56sQPSlvBXHzNQb6Gvq6CFviA2DWowcfYVRxLf0Lg1/A+E kX7w== MIME-Version: 1.0 Received: by 10.14.40.70 with SMTP id e46mr639333eeb.20.1331759039350; Wed, 14 Mar 2012 14:03:59 -0700 (PDT) Received: by 10.213.20.8 with HTTP; Wed, 14 Mar 2012 14:03:59 -0700 (PDT) In-Reply-To: References: Date: Wed, 14 Mar 2012 17:03:59 -0400 Message-ID: From: Edgar Friendly To: Lukasz Stafiniak Cc: Caml Content-Type: multipart/alternative; boundary=bcaec52be6f577885604bb3a50ef Subject: Re: [Caml-list] Tuples (covariant immutable arrays) --bcaec52be6f577885604bb3a50ef Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Batteries has a Cap submodule that provides type-level protection for arrays so they can be Read-only/Write-only/Read-write. The same idea with a variance annotation and just read-only access seems to be what you're looking for, no? 2012/3/14 Lukasz Stafiniak > Hi, > > Does anyone have a Tuple module that exports arrays as immutable and > covariant? > > Thanks, > =C5=81ukasz > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --bcaec52be6f577885604bb3a50ef Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Batteries has a Cap submodule that provides type-level protection for array= s so they can be Read-only/Write-only/Read-write.=C2=A0 The same idea with = a variance annotation and just read-only access seems to be what you're= looking for, no?

2012/3/14 Lukasz Stafiniak <lukstafi@gmail.com>
Hi,

Does anyone have a Tuple module that exports arrays as immutable and covari= ant?

Thanks,
=C5=81ukasz


--
Caml-list mailing list. =C2=A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--bcaec52be6f577885604bb3a50ef--