Bug#467563: camlp5 strict mode?

[Hendrik Tews <tews@os.inf.tu-dresden.de>]

Stéphane Glondu <glondu@debian.org> writes:

   There are other reverse build-dependencies: matita, ssreflect,
   geneweb... and maybe others (transitively). Someone has to test.

ulex0.8 does not build with a strict camlp5:

    ocamlc -a -o pa_ulex.cma -pp 'camlp5o pa_extend.cmo q_MLast.cmo' -I +camlp5 cset.ml ulex.mli ulex.ml pa_ulex.ml
    File "pa_ulex.ml", line 152, characters 17-22:
    Error: This expression has type (MLast.patt * 'a option * MLast.expr) list
           but an expression was expected of type
             (MLast.patt * MLast.expr option Ploc.vala * MLast.expr) list


matita depends on ulex0.8. Does this fact already rule out the
option of supporting strict camlp5 only? 


ledit, geneweb and coq build without problems with strict camlp5.

Bye,

Hendrik