From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id F341BBC57 for ; Tue, 31 Aug 2010 09:39:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am8EADdOfEyNTDBjgWdsb2JhbACgaxUBARYiIr1WhTcEigk X-IronPort-AV: E=Sophos;i="4.56,297,1280700000"; d="scan'208";a="56211897" Received: from os.inf.tu-dresden.de ([141.76.48.99]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 31 Aug 2010 09:39:58 +0200 Received: from [2002:8d4c:3001:48:222:68ff:fe19:71d] (helo=blau.inf.tu-dresden.de) by os.inf.tu-dresden.de with esmtpsa (TLSv1:AES256-SHA:256) (Exim 4.72) id 1OqLRl-0006Qb-FM for caml-list@inria.fr; Tue, 31 Aug 2010 09:39:57 +0200 Received: from tews by blau.inf.tu-dresden.de with local (Exim 4.72) (envelope-from ) id 1OqLRk-0002FV-T3 for caml-list@inria.fr; Tue, 31 Aug 2010 09:39:56 +0200 From: Hendrik Tews MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Message-ID: <19580.45516.666334.202997@blau.inf.tu-dresden.de> Date: Tue, 31 Aug 2010 09:39:56 +0200 To: caml-list@inria.fr Subject: quotations inside comments? X-Mailer: VM 8.1.0 under 23.2.1 (i486-pc-linux-gnu) X-Spam: no; 0.00; hendrik:01 tews:01 tews:01 camlp:01 camlp:01 -impl:01 lexing:01 lexing:01 parsers:01 lexers:01 syntax:01 hendrik:01 tu-dresden:01 parsing:01 parsing:01 Hi, why does camlp4 parse quotations inside comments? Eg echo "(* << *)" | camlp4o -impl - gives File "-", line 1, characters 3-9 (end at line 2, character 0): Quotation not terminated Quotation parsing/lexing seems to be controlled by context.quotations. How can I switch this off? Wouldn't it make more sense to have quotations and antiquotation parsing/lexing switched off in freshly created parsers/lexers and switch them only on when a syntax extension with quotations is installed (eg, inside Camlp4QuotationCommon.Make)? Bye, Hendrik