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 KAA06278; Sat, 17 May 2003 10:24:50 +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 KAA06435 for ; Sat, 17 May 2003 10:24:49 +0200 (MET DST) Received: from mail.exomi.com (mail.exomi.com [217.169.64.72]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h4H8OmT04957 for ; Sat, 17 May 2003 10:24:48 +0200 (MET DST) Received: from exomi.com (unknown [10.0.5.5]) by mail.exomi.com (Postfix) with ESMTP id D7CD25DE2 for ; Sat, 17 May 2003 11:24:47 +0300 (EEST) Date: Sat, 17 May 2003 11:24:46 +0300 Subject: Re: [Caml-list] Sumtypes of records Content-Type: text/plain; charset=US-ASCII; format=flowed Mime-Version: 1.0 (Apple Message framework v552) From: Ville-Pertti Keinonen To: caml-list@inria.fr Content-Transfer-Encoding: 7bit In-Reply-To: <71A9CFA4-883F-11D7-BDA3-000393863F70@exomi.com> Message-Id: <0495144C-8841-11D7-BDA3-000393863F70@exomi.com> X-Mailer: Apple Mail (2.552) X-Spam: no; 0.00; caml-list:01 obj:03 type:07 incidentally:10 weren't:12 write:14 record:15 bar:15 but:16 detail:82 could:20 inevitably:20 myself:22 because:25 com:73 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk > x). Incidentally, if the record weren't indirect, Bar x could be > Obj.magic-compatible with x, but that's just a detail of the > implementation... Correcting myself - that wouldn't work because you also have to be able to write Bar x -> Bar x... So a sum type of a record is inevitably indirect. ------------------- 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