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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 92D8E7FA4D for ; Fri, 1 Aug 2014 16:12:32 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of rich@annexia.org) identity=pra; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of rich@annexia.org designates 80.68.91.176 as permitted sender) identity=mailfrom; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="rich@annexia.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@furbychan.cocan.org) identity=helo; client-ip=80.68.91.176; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="rich@annexia.org"; x-sender="postmaster@furbychan.cocan.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al8KAE+f21NQRFuw/2dsb2JhbABbgw1SV4InUatLBQEBAQEBAQUBbpxDh08DAgGBCRZ3hAQBBSMPAUYQCxgCAgUTDgICDwUoIROIRgGyFJdxF4EshFAviSEHgnk2gRwFjm6NC4FVkwaDSjwv X-IPAS-Result: Al8KAE+f21NQRFuw/2dsb2JhbABbgw1SV4InUatLBQEBAQEBAQUBbpxDh08DAgGBCRZ3hAQBBSMPAUYQCxgCAgUTDgICDwUoIROIRgGyFJdxF4EshFAviSEHgnk2gRwFjm6NC4FVkwaDSjwv X-IronPort-AV: E=Sophos;i="5.01,780,1400018400"; d="scan'208";a="87932366" Received: from furbychan.cocan.org ([80.68.91.176]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 01 Aug 2014 16:12:31 +0200 Received: from rich by furbychan.cocan.org with local (Exim 4.80) (envelope-from ) id 1XDDZM-0004Hl-Oo; Fri, 01 Aug 2014 15:12:28 +0100 Date: Fri, 1 Aug 2014 15:12:28 +0100 From: "Richard W.M. Jones" To: Kim =?utf-8?B?Tmd1eeG7hW4=?= Cc: caml-list@inria.fr Message-ID: <20140801141228.GC8964@annexia.org> References: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] Bug in camlp4 4.02 ? [ was: cduce on ocaml 4.02 ] On Fri, Aug 01, 2014 at 01:03:19PM +0200, Kim Nguyễn wrote: > Hi Richard, hi everyone, > > > On Thu, Jul 31, 2014 at 4:21 PM, Richard W.M. Jones wrote: > > > > I wonder if anyone has managed to compile cduce with OCaml 4.02? > > > > Currently it fails at: > > > > File "parser/parser.ml", line 2, characters 0-6: > > Error: Unbound constructor Ulexer > > note: for me it "fails" (I kill ocamlopt) before because of a long > forgotten -inline 10000 that makes ocaml generate a large ( >90 MB .s > file on which "as" takes a lot of time, for typing/typer.ml), putting > a saner -inline 100 in Makefile.distribg makes the file compile and I > can stumble on the same camlp4 issue: > > > The post-preprocessor code looks very wrong to me: > > > > let _ = Ulexer ## generated from input "open Ulexer" > > > > let tloc (i, j) = (i, (* let raise = Pervasives.raise *) j) > > > > let nopos = ((-1), (-1)) > > > > It could be a bug in camlp4? > > The following test cases exhibit the problematic behavior of camlp4 (I > don't know if it's just an intended change in behaviour or a bug, I > don't mind filling a bug report in the latter case): > > bug1.ml ----------------------- > #load "pa_extend.cmo";; > > open A > open B > open C > open D > open E > > bug2.ml ----------------------- > > #load "pa_extend.cmo";; > > open A > open B > open C > open D > open E > open F > > $ camlp4 -version > 4.02.0+dev12-2014-07-30 > > $ camlp4o bug1.ml > E > > $ camlp4o bug2.ml > let _ = E > > open F > > > > Note that if I don't go until "open E" the output file is empty FWIW I observe the same thing. Rich. -- Richard Jones Red Hat