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 HAA25261; Sat, 6 Oct 2001 07:18:27 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 HAA25266 for ; Sat, 6 Oct 2001 07:18:27 +0200 (MET DST) Received: from genghis (66-108-39-180.nyc.rr.com [66.108.39.180]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f965IPX17900 for ; Sat, 6 Oct 2001 07:18:26 +0200 (MET DST) Received: from jd (helo=localhost) by genghis with local-esmtp (Exim 3.32 #1 (Debian)) id 15pk1h-0001mL-00 for ; Sat, 06 Oct 2001 01:29:29 -0400 Date: Sat, 6 Oct 2001 01:29:29 -0400 (EDT) From: jd marrow Reply-To: jd@psoftware.org To: caml-list@inria.fr Subject: [Caml-list] [Q] camlp4 help (fwd) Message-ID: MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk i'm trying to use camlp4 to extend ocaml so that i can write something like: foo ident0 = or (my preference) let foo ident0 = where "foo" is a new keyword and is a list of identifiers. i'd then like to: (1) declare a value named ident0 in the current module, and (2) wrap subsequent functional values matching those described in the identifier list with special code... can you point me to any camlp4 code that does something which is [even remotely] similar? or tell me why my thinking here is completely off? (i've been an ocaml user for a short while, but am completely new to camlp4...) thanks much, jdm jean-david marrow / jd (at) psoftware (dot) org ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr