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 MAA06264 for caml-red; Tue, 2 Jan 2001 12:06:58 +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 EAA31400 for ; Sun, 31 Dec 2000 04:08:19 +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 eBV38B504988; Sun, 31 Dec 2000 04:08:11 +0100 (MET) Received: (from ddr@localhost) by verdot.inria.fr (8.9.3/8.9.3) id EAA10610; Sun, 31 Dec 2000 04:08:11 +0100 Date: Sun, 31 Dec 2000 04:08:11 +0100 From: Daniel de Rauglaudre To: Chris Hecker Cc: caml-list@inria.fr Subject: Re: status of some big "important" features? Message-ID: <20001231040811.G2272@verdot.inria.fr> 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> <20001230215303.A2040@verdot.inria.fr> <4.3.2.7.2.20001230175604.00b9c2c0@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.20001230175604.00b9c2c0@shell16.ba.best.com>; from checker@d6.com on Sat, Dec 30, 2000 at 05:58:45PM -0800 Sender: weis@pauillac.inria.fr Hi, On Sat, Dec 30, 2000 at 05:58:45PM -0800, Chris Hecker wrote: > 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? Camlp4 allows to make syntax extensions. We could imagine something to make typing extensions and code generating extensions. But I don't know how to do that, and even if it is possible in a simple way. Do other caml-list readers have an opinion about that? -- Daniel de RAUGLAUDRE daniel.de_rauglaudre@inria.fr http://cristal.inria.fr/~ddr/