[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#812178: marked as done (FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi)

Your message dated Thu, 13 Jul 2017 04:46:24 +0200
with message-id <6fd696e7-38d7-8926-edf5-bcf2d26296ef@debian.org>
and subject line Fixed in 6.16-1
has caused the Debian Bug report #812178,
regarding FTBFS: The implementation hExtlib.ml does not match the interface hExtlib.cmi
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
812178: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=812178
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: matita
Version: 0.99.1-3
Severity: serious

Dear Maintainer,

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.

Regards,

-- System Information:
Debian Release: stretch/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 4.3.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

--- End Message ---
--- Begin Message --- 
Version: 6.16-1

--- End Message ---
Reply to: