From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 2DAF9BBAF for ; Mon, 15 Dec 2008 15:04:54 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.36,224,1228086000"; d="scan'208";a="32669718" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 15 Dec 2008 15:04:54 +0100 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id mBFE4riX002439 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Mon, 15 Dec 2008 15:04:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmUBAJ/yRUmCcUBTgWdsb2JhbACTUwEBCwcECgcRtzOCfg X-IronPort-AV: E=Sophos;i="4.36,224,1228086000"; d="scan'208";a="21290604" Received: from sigma957.cis.mcmaster.ca ([130.113.64.83]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Dec 2008 15:04:52 +0100 Received: from Dura7.UTS.McMaster.CA (dura7.UTS.mcmaster.ca [130.113.196.62]) by sigma957.cis.mcmaster.ca (8.13.7/8.13.7) with ESMTP id mBFE4j4P026226 for ; Mon, 15 Dec 2008 09:04:50 -0500 (EST) Received: from cgpsrv2.cis.mcmaster.ca (univmail.CIS.McMaster.CA [130.113.64.46]) by Dura7.UTS.McMaster.CA (8.13.7/8.13.7) with ESMTP id mBFE4WKA027312 for ; Mon, 15 Dec 2008 09:04:32 -0500 Received: from [173.32.147.100] (account carette@univmail.cis.mcmaster.ca HELO [192.168.1.100]) by cgpsrv2.cis.mcmaster.ca (CommuniGate Pro SMTP 4.3.12) with ESMTPSA id 235850961 for caml-list@inria.fr; Mon, 15 Dec 2008 09:04:32 -0500 Message-ID: <494663F2.7090409@mcmaster.ca> Date: Mon, 15 Dec 2008 09:04:34 -0500 From: Jacques Carette Organization: McMaster University User-Agent: Thunderbird 2.0.0.18 (Windows/20081105) MIME-Version: 1.0 To: OCaml Subject: Using camlp4 in extensions Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-PMX-Version-Mac: 5.4.2.338381, Antispam-Engine: 2.6.0.325393, Antispam-Data: 2008.12.15.134627 X-PerlMx-Spam: Gauge=IIIIIII, Probability=7%, Report='BODY_SIZE_1000_LESS 0, BODY_SIZE_300_399 0, BODY_SIZE_5000_LESS 0, __CT 0, __CTE 0, __CT_TEXT_PLAIN 0, __HAS_MSGID 0, __MIME_TEXT_ONLY 0, __MIME_VERSION 0, __SANE_MSGID 0, __USER_AGENT 0' X-Miltered: at discorde with ID 49466405.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 camlp:01 afaik:01 ifdef:01 syntax:01 lazy:02 mcmaster:02 jacques:03 jacques:03 extension:06 extension:06 definition:07 seem:08 source:12 question:13 Question: is there a way to use a camlp4 extension *inside* the definition of another? AFAIK, extensions are not ordered, so trying to use camlp4 to deal with IFDEF in the source of a syntax extension (like pa_monad) to switch between 3.10 and 3.11 [to deal with the new private and lazy features] does not seem possible. Or have I missed something? Jacques