From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA20374; Tue, 29 Jun 2004 23:54:35 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id XAA20363 for ; Tue, 29 Jun 2004 23:54:34 +0200 (MET DST) Received: from mproxy.gmail.com (mproxy.gmail.com [216.239.56.241]) by nez-perce.inria.fr (8.12.10/8.12.10) with SMTP id i5TLsWEV028215 for ; Tue, 29 Jun 2004 23:54:33 +0200 Received: by mproxy.gmail.com with SMTP id w29so1262185cwb for ; Tue, 29 Jun 2004 14:54:31 -0700 (PDT) Received: by 10.11.99.71 with SMTP id w71mr1670065cwb; Tue, 29 Jun 2004 14:54:31 -0700 (PDT) Message-ID: Date: Tue, 29 Jun 2004 23:54:31 +0200 From: henri dubois-ferriere To: Alex Baretta Subject: Re: [Caml-list] marshalling polymorphic variants Cc: Richard Jones , Ocaml In-Reply-To: <40E1ABE4.4080909@baretta.com> Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit References: <20040629084537.GA10992@redhat.com> <40E1ABE4.4080909@baretta.com> X-Miltered: at nez-perce with ID 40E1E518.002 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; henridf:01 caml-list:01 marshalling:01 2004:99 baretta:01 baretta:01 2004:99 counted:01 bug:01 faq:01 faq:01 beginner's:01 beginners:01 bin:01 caml-bugs:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk actually i'm not the kind who tries to subvert the type system ;) the scenario is as follows: an application saves state using some polymorphic variants. later the application has grown and adds more polymorphic variants to the 'vocabulary' of state it might read in. so, i wanted to be sure that the later application could still read the earlier variants in a safe manner. henri On Tue, 29 Jun 2004 19:50:28 +0200, Alex Baretta wrote: > > Richard Jones wrote: > > On Mon, Jun 28, 2004 at 11:02:25PM +0200, henri dubois-ferriere wrote: > > > >>hi, > >>in the simple case below, it is possible to marshal out a ([`A | `B] > >>list), and then read it back as a [> `A | `B | `C] list. > >> > >>can this behavior be counted on , or is it not something an > >>application can assume to always work? > > > > > > Better to use Obj.magic if you're explicitly trying to subvert the > > type system? > > > > Rich. > > > > It's better to use C if you are explicitly trying to subvert the type > system... > > Alex > > > > ------------------- > To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr > Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners