Bug#802264: src:matita: FTBFS with OCaml 4.02.3
Dear Mehdi,
the most recent camlp5 version in git seems to fix enough bugs to let
the version of matita in Debian compile.
Fingers crossed,
C.S.C.
On Fri, 2016-01-22 at 15:06 +0100, Claudio Sacerdoti Coen wrote:
> 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: