Stéphane Glondu <[email protected]> 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
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
Archive: http://lists.debian.org/[email protected]
