From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6B8207FA4D for ; Sat, 2 Aug 2014 15:11:47 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Kim.Nguyen@lri.fr) identity=pra; client-ip=129.175.212.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="Kim.Nguyen@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Kim.Nguyen@lri.fr) identity=mailfrom; client-ip=129.175.212.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="Kim.Nguyen@lri.fr"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mx1.u-psud.fr) identity=helo; client-ip=129.175.212.64; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Kim.Nguyen@lri.fr"; x-sender="postmaster@mx1.u-psud.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArABAIDi3FOBr9RAnGdsb2JhbABZg19XBMwTh0wBewgWEAEBAQEBCAsJCRQphAQBBAFuCwULCwsiGSITBR0GE4g6CA3GbhePTAcKhEEFnAWHI4tihSlq X-IPAS-Result: ArABAIDi3FOBr9RAnGdsb2JhbABZg19XBMwTh0wBewgWEAEBAQEBCAsJCRQphAQBBAFuCwULCwsiGSITBR0GE4g6CA3GbhePTAcKhEEFnAWHI4tihSlq X-IronPort-AV: E=Sophos;i="5.01,786,1400018400"; d="scan'208";a="73756755" Received: from mx1.u-psud.fr ([129.175.212.64]) by mail3-smtp-sop.national.inria.fr with ESMTP; 02 Aug 2014 15:11:46 +0200 Received: from mx1.u-psud.fr (localhost [127.0.0.1]) by localhost (MTA) with SMTP id 2492A301D10 for ; Sat, 2 Aug 2014 15:11:46 +0200 (CEST) Received: from ext.lri.fr (ext.lri.fr [129.175.15.4]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.u-psud.fr (MTA) with ESMTPS id 38A3A301BE2 for ; Sat, 2 Aug 2014 15:11:45 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by ext.lri.fr (Postfix) with ESMTP id 2019740C2F for ; Sat, 2 Aug 2014 15:11:45 +0200 (CEST) X-Virus-Scanned: Debian amavisd-new at lri.fr Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) by localhost (ext.lri.fr [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id z+ZMlycNcV13 for ; Sat, 2 Aug 2014 15:11:44 +0200 (CEST) Received: from [129.175.15.4] (ext.lri.fr [129.175.15.4]) (using TLSv1 with cipher RC4-SHA (128/128 bits)) (No client certificate requested) by ext.lri.fr (Postfix) with ESMTPSA id AB32840C06 for ; Sat, 2 Aug 2014 15:11:44 +0200 (CEST) Received: by mail-ig0-f176.google.com with SMTP id hn18so3016636igb.9 for ; Sat, 02 Aug 2014 06:11:42 -0700 (PDT) X-Gm-Message-State: ALoCoQm7Gw2vDKiZB0uE9HUThe/843IkcnSlbuW9Xz3pRC4JThciHMfNEhxruH9rmfTvEgLhpt2v X-Received: by 10.50.1.37 with SMTP id 5mr17606855igj.47.1406985102189; Sat, 02 Aug 2014 06:11:42 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.25.200 with HTTP; Sat, 2 Aug 2014 06:11:01 -0700 (PDT) In-Reply-To: <20140802123529.GB21347@annexia.org> References: <20140801141228.GC8964@annexia.org> <20140802123529.GB21347@annexia.org> From: =?UTF-8?B?S2ltIE5ndXnhu4Vu?= Date: Sat, 2 Aug 2014 15:11:01 +0200 Message-ID: To: "Richard W.M. Jones" Cc: "caml-list@inria.fr" Content-Type: text/plain; charset=ISO-8859-1 X-Validation-by: kim.nguyen@lri.fr Subject: Re: [Caml-list] Bug in camlp4 4.02 ? [ was: cduce on ocaml 4.02 ] On Sat, Aug 2, 2014 at 2:35 PM, Richard W.M. Jones wrote: > That's better, but it still fails with 4.02 from git: > > File "runtime/run_dispatch.ml", line 222, characters 41-43: > Failure: "antiquotation not allowed here" > File "runtime/run_dispatch.ml", line 1: > Error: Error while running external preprocessor > > (If you comment out that use of $$ then it fails on an earlier one) Thanks for reporting this. I have created a branch stable-for-ocaml-4.02 in our git (git clone https://git.cduce.org/cduce ) where I'll work on fixing these issues. Issues concerning cduce can be reported on our (recently installed) bug tracker: https://www.cduce.org/redmine/projects/cduce/ Or by private e-mail to me, if you don't want to register an account (we will have our mailing list up and running shortly) Cheers, -- Kim