Discussion:
Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a
(too old to reply)
Adrian Bunk
2017-07-16 23:40:01 UTC
Permalink
Raw Message
Source: hol-light
Version: 20170109-1
Severity: serious
Tags: buster sid

Some recent change in unstable make hol-light FTBFS:

https://tests.reproducible-builds.org/debian/history/hol-light.html
https://tests.reproducible-builds.org/debian/rb-pkg/unstable/amd64/hol-light.html

...
make
make[2]: Entering directory '/build/1st/hol-light-20170109'
if test `ocamlc -version | cut -c1-3` = "3.0" ; \
then ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" -I `camlp4 -where` pa_j.ml ; \
else if test `ocamlc -version | cut -c1-3` = "3.1" -o `ocamlc -version | cut -c1-4` = "4.00" -o `ocamlc -version | cut -c1-4` = "4.01" -o `ocamlc -version | cut -c1-4` = "4.02" -o `ocamlc -version | cut -c1-4` = "4.03" ; \
then ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \
else ocamlc -safe-string -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo q_MLast.cmo" -I `camlp5 -where` pa_j.ml ; \
fi \
fi
File "pa_j.ml", line 359, characters 46-48:
Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala
but an expression was expected of type MLast.loc * 'a
Makefile:40: recipe for target 'pa_j.cmo' failed
make[2]: *** [pa_j.cmo] Error 2
make[2]: Leaving directory '/build/1st/hol-light-20170109'
debian/rules:31: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
Hendrik Tews
2017-07-17 07:50:02 UTC
Permalink
Raw Message
I blame the new camlp5 version for this. I have to see if
upstream supports camlp5 version 7 already.

Hendrik

Loading...