Hi, this is another bug in camlp5. To trigger it it is sufficient to compile with ocamlc -pp camlp5o the two following files:
bug.mli: val find: ?test:string -> unit bug.ml: let find ?(test = "hello") = assert false Therefore the bug needs to be re-assigned to camlp5. I will now contact Daniel for another round of bug-fixing. Cheers, C.S.C. On Wed, 2016-01-20 at 21:23 +0100, Mehdi Dogguy wrote: > Hi Enrico, > > On 20/01/2016 11:15, Enrico Tassi wrote: > > On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote: > > > Package: src:matita > > > Version: 0.99.1-3 > > > Severity: serious > > > > > > Dear Maintainer, > > > > This bugs is due to camlp5 and fixed in > > caca3dd0643ec5aae9df4399fa73eb280808ef18 > > > > see https://gforge.inria.fr/projects/camlp5/ > > > > Even using that fix, I get the following failure (while building > matita): > > OCAMLC hExtlib.ml > File "hExtlib.ml", line 463, characters 10-23: > Warning 3: deprecated: String.create > Use Bytes.create instead. > File "hExtlib.ml", line 1: > Error: The implementation hExtlib.ml > does not match the interface hExtlib.cmi: > Values do not match: > val find : ?test:(string -> bool) -> string -> string list > is not included in > val find : ?test:<hidden> -> string -> string list > File "hExtlib.ml", line 530, characters 4-8: Actual > declaration > ../Makefile.common:99: recipe for target 'hExtlib.cmo' failed > make: *** [hExtlib.cmo] Error 2 > > Didn't you get that error? > -- ---------------------------------------------------------------- Prof. Claudio Sacerdoti Coen Doctor in Computer Science, University of Bologna E-mail: clauio.sacerdotic...@unibo.it http://www.cs.unibo.it/~sacerdot ----------------------------------------------------------------
