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 JAA17965; Sat, 7 Apr 2001 09:43:14 +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 JAA17954 for ; Sat, 7 Apr 2001 09:43:13 +0200 (MET DST) Received: from mumnunah.cs.mu.OZ.AU (mail-gate.cs.mu.oz.au [198.142.254.221]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f377h6v09218; Sat, 7 Apr 2001 09:43:08 +0200 (MET DST) Received: from murlibobo.cs.mu.OZ.AU (murlibobo.cs.mu.OZ.AU [128.250.29.17]) by mumnunah.cs.mu.OZ.AU with ESMTP id RAA13467; Sat, 7 Apr 2001 17:43:02 +1000 (EST) Received: (from fjh@localhost) by murlibobo.cs.mu.OZ.AU (8.8.5/8.7.3) id RAA16357; Sat, 7 Apr 2001 17:43:00 +1000 (EST) Date: Sat, 7 Apr 2001 17:42:59 +1000 From: Fergus Henderson To: Xavier Leroy Cc: Patrick M Doane , Chris Hecker , caml-list@inria.fr Subject: Re: [Caml-list] variant with tuple arg in pattern match? Message-ID: <20010407174259.A14454@murlibobo.cs.mu.OZ.AU> References: <4.3.2.7.2.20010404034802.0334fae0@shell16.ba.best.com> <20010406155241.D5178@pauillac.inria.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 0.95.1i In-Reply-To: <20010406155241.D5178@pauillac.inria.fr>; from Xavier Leroy on Fri, Apr 06, 2001 at 03:52:41PM +0200 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On 06-Apr-2001, Xavier Leroy wrote: > > Frankly, I think there is no point in maintaining the illusion that > datatype constructors are either nullary (constant) or unary. The > only efficient implementation model is N-ary constructors, so let's > reflect this in the language. Sounds good to me. Now, for consistency, shouldn't you do the same for function arguments? ;-) -- Fergus Henderson | "I have always known that the pursuit | of excellence is a lethal habit" WWW: | -- the last words of T. S. Garp. ------------------- To unsubscribe, mail caml-list-request@inria.fr. Archives: http://caml.inria.fr