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 TAA11156; Tue, 29 Jun 2004 19:49:38 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id TAA11145 for ; Tue, 29 Jun 2004 19:49:37 +0200 (MET DST) Received: from alex.baretta.com ([213.255.109.130]) by concorde.inria.fr (8.12.10/8.12.10) with ESMTP id i5THnaSH003699 for ; Tue, 29 Jun 2004 19:49:36 +0200 Received: from baretta.com (localhost [127.0.0.1]) by alex.baretta.com (Postfix) with ESMTP id 02F5E2D5ADA; Tue, 29 Jun 2004 13:50:28 -0400 (EDT) Message-ID: <40E1ABE4.4080909@baretta.com> Date: Tue, 29 Jun 2004 19:50:28 +0200 From: Alex Baretta User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.6) Gecko/20040113 X-Accept-Language: it, en-us, en MIME-Version: 1.0 To: Richard Jones , Ocaml Subject: Re: [Caml-list] marshalling polymorphic variants References: <20040629084537.GA10992@redhat.com> In-Reply-To: <20040629084537.GA10992@redhat.com> Content-Type: text/plain; charset=us-ascii; format=flowed Content-Transfer-Encoding: 7bit X-Miltered: at concorde with ID 40E1ABB0.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; baretta:01 baretta:01 caml-list:01 marshalling:01 2004:99 counted:01 variants:01 alex:01 alex:01 0200,:01 polymorphic:01 marshal:01 henri:03 wrote:03 wrote:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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