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 Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 6C35FBC69 for ; Tue, 24 Apr 2007 02:07:52 +0200 (CEST) Received: from hub.hrl.com (hub.hrl.com [208.179.241.200]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l3O07npQ005940 for ; Tue, 24 Apr 2007 02:07:52 +0200 Received: from [192.27.172.110] (dangle.hrl.com [192.27.172.110]) by hpux03.hrl.com (iPlanet Messaging Server 5.2 HotFix 2.10 (built Dec 26 2005)) with ESMTP id <0JGZ00KXK710Q4@hpux03.hrl.com> for caml-list@inria.fr; Mon, 23 Apr 2007 17:07:48 -0700 (PDT) Date: Mon, 23 Apr 2007 17:07:48 -0700 From: Aleksey Nogin Subject: Camlp4 3.10 - antiquotations in keyword position? To: Caml List Reply-To: Caml List , Aleksey Nogin Message-id: <462D4A54.6010700@metaprl.org> Organization: MetaPRL/Mojave Research Group MIME-version: 1.0 Content-type: text/plain; charset=ISO-8859-1; format=flowed Content-transfer-encoding: 7BIT User-Agent: Thunderbird 1.5.0.10 (X11/20070301) X-Miltered: at concorde with ID 462D4A55.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; camlp:01 infix:01 infix:01 expr:01 expr:01 supported:01 expression:02 string:02 string:02 defining:02 lefta:03 lid:03 let:03 let:03 extend:07 In 3.09 we used to allow defining "infix" keywords by using antiquotations in inside the "EXTEND" and "DELETE_RULE" directives as follows: -------------------------------------------------------------- (* * The prefix version of the infix expression *) let prefix_name op = "prefix_" ^ op (* * Add an infix keyword. *) let add_infix (keyword : string) = EXTEND GLOBAL: expr; expr: LEVEL "expr1" ["expr1" LEFTA [ e1 = expr; op = $keyword$; e2 = expr -> <:expr< $lid:prefix_name op$ $e1$ $e2$ >> ]]; END (* * Remove the infix keyword. *) let remove_infix (keyword : string) = DELETE_RULE expr: expr; $keyword$; expr END -------------------------------------------------------------- This does not seem to be supported in 3.10. Is there some other way to achieve a similar effect in 3.10? Thanks! Aleksey