Re: [Caml-list] Bug in camlp4 4.02 ? [ was: cduce on ocaml 4.02 ]

["Richard W.M. Jones" <rich@annexia.org>]

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 <rich@annexia.org> 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