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 FAA18885; Sat, 23 Oct 2004 05:39:21 +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 FAA20250 for ; Sat, 23 Oct 2004 05:39:20 +0200 (MET DST) Received: from mail.davidb.org (adsl-64-172-240-129.dsl.sndg02.pacbell.net [64.172.240.129]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id i9N3dIfE012391 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Sat, 23 Oct 2004 05:39:19 +0200 Received: from davidb by mail.davidb.org with local (Exim 4.42 #1 (Debian)) id 1CLCkN-0005yt-F0; Fri, 22 Oct 2004 20:39:15 -0700 Date: Fri, 22 Oct 2004 20:39:15 -0700 From: David Brown To: Jacques Garrigue Cc: n8gray@gmail.com, caml-list@inria.fr Subject: Re: [Caml-list] Single-case union types as strong typedefs Message-ID: <20041023033915.GA22739@old.davidb.org> References: <20041023.123139.106410806.garrigue@kurims.kyoto-u.ac.jp> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20041023.123139.106410806.garrigue@kurims.kyoto-u.ac.jp> User-Agent: Mutt/1.5.6i X-Miltered: at concorde with ID 4179D266.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 caml-list:01 typedefs:01 2004:99 0900,:01 jacques:01 bindings:01 garrigue:01 concrete:02 overhead:03 dave:03 wrote:03 constructor:03 oct:03 argument:03 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Sat, Oct 23, 2004 at 12:31:39PM +0900, Jacques Garrigue wrote: > The problem you describe only occurs when your single constructor has > only one argument. > Indeed, this would be nice to have the overhead compiled away. > I don't remember whether there was a concrete reason not to. Another reason is that is breaks compatibility with existing C bindings, or at least potentially does. Dave ------------------- 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