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 WAA31404 for caml-red; Sat, 30 Dec 2000 22:42:54 +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 VAA01676 for ; Sat, 30 Dec 2000 21:09:30 +0100 (MET) Received: from mta5.snfc21.pbi.net (mta5.snfc21.pbi.net [206.13.28.241]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id eBUK9T528727; Sat, 30 Dec 2000 21:09:29 +0100 (MET) Received: from checkerlap.d6.com ([64.160.54.95]) by mta5.snfc21.pbi.net (Sun Internet Mail Server sims.3.5.2000.01.05.12.18.p9) with ESMTP id <0G6E00L50BGF23@mta5.snfc21.pbi.net>; Sat, 30 Dec 2000 11:29:04 -0800 (PST) Date: Sat, 30 Dec 2000 11:30:57 -0800 From: Chris Hecker Subject: Re: status of some big "important" features? In-reply-to: <20001228101047.A27850@verdot.inria.fr> X-Sender: def6@shell16.ba.best.com To: Daniel de Rauglaudre , caml-list@inria.fr Message-id: <4.3.2.7.2.20001230112049.00ba2b60@shell16.ba.best.com> MIME-version: 1.0 X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Content-type: text/plain; charset="us-ascii" References: <4.3.2.7.2.20001226151428.00b2f680@shell16.ba.best.com> <4.3.2.7.2.20001226151428.00b2f680@shell16.ba.best.com> Sender: weis@pauillac.inria.fr >> 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)? >Impossible in Camlp4, it is a typing problem. Oh, I thought camlp4 had the types available to it. I must have misunderstood the docs. Hmm. So similarly, you couldn't write an introspection thing like this in camlp4: type foo = {bar:float; baz:int };; let a = {bar = 1.;baz = 1};; print_members_camlp4 a;; Where print_members_camlp4 is hooked by camlp4 to iterate over the members of whatever record was passed to it (or error at compile time if it's not a record)? That's not possible? Chris