Control: reassign 812178 camlp5 Control: severity 812178 important Control: found 812178 camlp5/6.14-1 Control: fixed 812178 camlp5/6.14-2
On 21/01/2016 09:25, Mehdi Dogguy wrote: > Trying to build matita with a fixed camlp5 package that includes upstream > fix (caca3dd0643ec5aae9df4399fa73eb280808ef18) fails with the following > error: > > 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 > > I have to admit that the error is quite strange and the cause might not > be a bug in matita but elsewhere. I am assigning the bug to matita as > it is the only package affected by this and until the root cause is > correctly identified. > Bug found and fixed in camlp5. Thus, reassigning to the correct package. -- Mehdi