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 MAA15088 for caml-red; Tue, 2 Jan 2001 12:06:38 +0100 (MET) 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 DAA03885 for ; Sun, 31 Dec 2000 03:14:29 +0100 (MET) Received: from mta5.snfc21.pbi.net (mta5.snfc21.pbi.net [206.13.28.241]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id eBV2EOD26309; Sun, 31 Dec 2000 03:14:28 +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 <0G6E00EFVTEWT2@mta5.snfc21.pbi.net>; Sat, 30 Dec 2000 17:56:57 -0800 (PST) Date: Sat, 30 Dec 2000 17:58:45 -0800 From: Chris Hecker Subject: Re: status of some big "important" features? In-reply-to: <20001230215303.A2040@verdot.inria.fr> X-Sender: def6@shell16.ba.best.com To: Daniel de Rauglaudre Cc: caml-list@inria.fr Message-id: <4.3.2.7.2.20001230175604.00b9c2c0@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.20001230112049.00ba2b60@shell16.ba.best.com> <4.3.2.7.2.20001226151428.00b2f680@shell16.ba.best.com> <4.3.2.7.2.20001226151428.00b2f680@shell16.ba.best.com> <20001228101047.A27850@verdot.inria.fr> <4.3.2.7.2.20001230112049.00ba2b60@shell16.ba.best.com> Sender: weis@pauillac.inria.fr >Camlp4 does not know what a type definition is: for it, it is just a >syntax thing. Therefore, in the line "print_member_camlp4 a", Camlp4 >does not know what "a" is: for it, it is just "the identifier a", >that's all. The fact that it is a variable previously defined of type >"foo" is typing. If you want to treat that at Camlp4 time, you have to >write a types inference algorithm. A compiler... Ah, I see. How hard would it be to hook camlp4 (or another "plugin" type thing, but it would be good if it was the same structure as camlp4) into other stages of the compiler, like after type inference? Chris