From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.0 required=5.0 tests=DNS_FROM_SECURITYSAGE autolearn=disabled version=3.1.3 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 62E18BB84 for ; Thu, 30 Oct 2008 22:47:09 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEADLICUnVuiYS/2dsb2JhbADMT4NR X-IronPort-AV: E=Sophos;i="4.33,518,1220220000"; d="scan'208";a="18698486" Received: from solaria.dimino.org ([213.186.38.18]) by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Oct 2008 22:47:09 +0100 Received: by solaria.dimino.org (Postfix, from userid 1000) id 9A8F38004D; Thu, 30 Oct 2008 22:46:52 +0100 (CET) To: "David Allsopp" Cc: "OCaml List" Subject: Re: [Caml-list] Private types References: <340C8DB35D244173AE527238DB359A19@countertenor> From: =?utf-8?B?SsOpcsOpbWll?= Dimino X-Operating-System: Debian GNU/Linux Kernel 2.6.27 (x86_64) Date: Thu, 30 Oct 2008 22:47:07 +0100 In-Reply-To: <340C8DB35D244173AE527238DB359A19@countertenor> (David Allsopp's message of "Thu\, 30 Oct 2008 21\:18\:31 +0100") Message-ID: <87bpx14uxw.fsf@aurora.crans.org> User-Agent: Gnus/5.11 (Gnus v5.11) Emacs/22.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; mutable:01 caml-list:01 immutable:01 int:01 writes:01 data:02 string:02 string:02 types:05 types:05 probably:07 example:10 should:13 type:14 but:14 "David Allsopp" writes: > I thought that the point of private types was that you could > deconstruct them... so values of type M.t are valid wherever an int > is used but not the converse. It should probably be ok for immutable data but not for mutable ones. One example is using String.set on a private string. J=C3=A9r=C3=A9mie