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

[Adrian Bunk <bunk@debian.org>]

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