Bug#802264: src:matita: FTBFS with OCaml 4.02.3
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.sacerdoticoen@unibo.it
http://www.cs.unibo.it/~sacerdot
----------------------------------------------------------------
Reply to: