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 0B7D4BBAF for ; Tue, 24 Jun 2008 17:43:36 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjoCAGuyYEjAXQImiGdsb2JhbACSbwEBAQ8gn1k X-IronPort-AV: E=Sophos;i="4.27,697,1204498800"; d="scan'208";a="26659235" Received: from discorde.inria.fr ([192.93.2.38]) by mail4-smtp-sop.national.inria.fr with ESMTP; 24 Jun 2008 17:43:35 +0200 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m5OFhX10022181 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Tue, 24 Jun 2008 17:43:35 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQBAOWyYEhbucRElmdsb2JhbACSbwEBAQEJBQgYn1Q X-IronPort-AV: E=Sophos;i="4.27,697,1204498800"; d="scan'208";a="12479098" Received: from post.literal.si ([91.185.196.68]) by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Jun 2008 17:43:32 +0200 Received: from localhost (post.literal.si [91.185.196.68]) by post.literal.si (Postfix) with ESMTP id CAEFD10E49AF for ; Tue, 24 Jun 2008 17:43:31 +0200 (CEST) X-Virus-Scanned: amavisd-new at literal.si Received: from post.literal.si ([91.185.196.68]) by localhost (post.literal.si [91.185.196.68]) (amavisd-new, port 10024) with ESMTP id adf10Rq5hOZy for ; Tue, 24 Jun 2008 17:43:29 +0200 (CEST) Received: from [192.168.1.119] (BSN-77-148-136.static.dsl.siol.net [193.77.148.136]) by post.literal.si (Postfix) with ESMTP id 5274410E49AC for ; Tue, 24 Jun 2008 17:43:29 +0200 (CEST) Message-ID: <48611620.4080006@andrej.com> Date: Tue, 24 Jun 2008 17:43:28 +0200 From: Andrej Bauer Reply-To: Andrej.Bauer@andrej.com User-Agent: Thunderbird 2.0.0.14 (X11/20080505) MIME-Version: 1.0 To: caml-list Subject: Re: [Caml-list] Custom lexer in Camlp4 References: <4860F097.1000701@ed.ac.uk> <1214317779-sup-8964@port-ext16.ensta.fr> <486104FF.1080201@ed.ac.uk> <1214321827-sup-3937@port-ext16.ensta.fr> In-Reply-To: <1214321827-sup-3937@port-ext16.ensta.fr> Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 48611625.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; andrej:01 andrej:01 lexer:01 camlp:01 camlp:01 notation:01 expr:01 expr:01 infix:01 caml-list:01 construct:02 translate:04 context:06 bauer:09 bauer:09 On a related note: how hard would it be to convince camlp4 to translate the Coq-like context notation expr % M to the "open in" construct open M in expr ? Since % is already an infix operator, this shouldn't be too hard. Andrej