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 EAA31253; Sat, 28 Jun 2003 04:24:57 +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 EAA31068 for ; Sat, 28 Jun 2003 04:24:55 +0200 (MET DST) Received: from mail.speakeasy.net (mail7.speakeasy.net [216.254.0.207]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h5S2Osf17760 for ; Sat, 28 Jun 2003 04:24:55 +0200 (MET DST) Received: (qmail 10162 invoked from network); 28 Jun 2003 02:24:53 -0000 Received: from unknown (HELO grace.speakeasy.org) ([216.254.0.2]) (envelope-sender ) by mail7.speakeasy.net (qmail-ldap-1.03) with DES-CBC3-SHA encrypted SMTP for ; 28 Jun 2003 02:24:53 -0000 Date: Fri, 27 Jun 2003 19:24:53 -0700 (PDT) From: brogoff@speakeasy.net To: "caml-list@inria.fr" Subject: Re: [Caml-list] syntax of private constructors in CVS version In-Reply-To: <3EFCC0E8.1070407@mitre.org> Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII X-Spam: no; 0.00; brogoff:01 caml-list:01 jacques:01 abstraction:01 speakeasy:01 variants:01 garrigue:01 polymorphic:01 constructors:01 syntax:02 variant:02 module:03 abstract:03 types:03 mean:05 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Yup, private also doesn't work with tuples. Private only works with new record types and sum types that you declared. Think about it. What would it mean to declare some set of polymorphic variant tags as "private"? As Jacques Garrigue said in another message, polymorphic variants are somewhat inimical to abstract types, and private doesn't make much sense without type abstraction. Since one needn't predeclare variant tags or qualify them with module paths, it makes sense that private doesn't apply. -- Brian ------------------- 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