From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pBSGQ6iC012070 for ; Wed, 28 Dec 2011 17:26:06 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvwEAO5B+05QRFuw/2dsb2JhbAApGqxYgQWCM4EOJiiIMAYjlWSfSIUVg2CCN2MElQGSNQ X-IronPort-AV: E=Sophos;i="4.71,422,1320620400"; d="scan'208";a="124912198" Received: from furbychan.cocan.org ([80.68.91.176]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-SHA; 28 Dec 2011 17:26:01 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.72) (envelope-from ) id 1RfwKC-0000kx-Dw for caml-list@inria.fr; Wed, 28 Dec 2011 16:25:56 +0000 Date: Wed, 28 Dec 2011 16:25:56 +0000 From: "Richard W.M. Jones" To: caml-list@inria.fr Message-ID: <20111228162556.GA2806@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.20 (2009-06-14) Subject: [Caml-list] Some simple(?) questions about camlp4 <:quotations< ... >> I'm writing a mini-DSL that'll use camlp4 quotations. In general http://brion.inria.fr/gallium/index.php/Quotation has been very helpful, but I still have a few questions: (1) Is any other syntax available for quotations apart from <:foo< ... >> and the default quotation expander << ... >>? (2) Is there any way to escape >> inside a quotation. In particular some of my quotations will contain C code, and >> is a C operator (right shift). This is not a show-stopper, but it'd be nice to be able to offer a way for C code to contain right shifts, in a way that is easily comprehensible to C programmers. (3) In a custom-defined quotation expander, does the antiquotation syntax $bar$ have any special meaning? I want to use $variable substitutions, so if $ is being treated specially this might cause problems. Rich. -- Richard Jones Red Hat