Source: cduce
Version: 0.6.0-5
Severity: serious
Tags: buster sid
https://buildd.debian.org/status/package.php?p=cduce&suite=sid
...
Build types/atoms.cmx
Build types/normal.cmi
Build types/normal.cmx
File "types/normal.ml", line 1:
Error: The implementation types/normal.ml
does not match the interface types/normal.cmi:
...
At position module Make(X1)(X2) : <here>
Values do not match:
val pi1 : (X1.t * '_a) list -> X1.t
is not included in
val pi1 : t -> X1.t
File "types/normal.ml", line 80, characters 6-9: Actual declaration
Makefile.distrib:317: recipe for target 'types/normal.cmx' failed
make[2]: *** [types/normal.cmx] Error 2
