From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA03215 for caml-red; Sat, 30 Dec 2000 20:10:51 +0100 (MET) 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 KAA06046 for ; Thu, 28 Dec 2000 10:10:48 +0100 (MET) Received: from verdot.inria.fr (verdot.inria.fr [128.93.11.7]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eBS9Alf20362 for ; Thu, 28 Dec 2000 10:10:47 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id KAA27937 for caml-list@inria.fr; Thu, 28 Dec 2000 10:10:47 +0100 Date: Thu, 28 Dec 2000 10:10:47 +0100 From: Daniel de Rauglaudre To: caml-list@inria.fr Subject: Re: status of some big "important" features? Message-ID: <20001228101047.A27850@verdot.inria.fr> References: <4.3.2.7.2.20001226151428.00b2f680@shell16.ba.best.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Mailer: Mutt 1.0us In-Reply-To: <4.3.2.7.2.20001226151428.00b2f680@shell16.ba.best.com>; from checker@d6.com on Tue, Dec 26, 2000 at 03:47:08PM -0800 Sender: weis@pauillac.inria.fr Hi, On Tue, Dec 26, 2000 at 03:47:08PM -0800, Chris Hecker wrote: > PS. Minor question I thought of the other day...is there any way to > write "nth" for tuples (as opposed to "fst", which is hard-coded to > 2-tuples)? This is related to the overloading and generic questions > above, but it also touches on some introspection issues, since nth > would need to know the "length" of the tuple to either recurse or > loop. I guess I could use camlp4 for this if I really wanted > to...couldn't I? Impossible in Camlp4, it is a typing problem. -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/