Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/o/ocaml-visitors/ocaml-visitors_20210608-1_all.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/ocaml-visitors-20210608-18mft02xp/ocaml-visitors_20210608-1_all.buildinfo Get source package info: ocaml-visitors=20210608-1 Source URL: http://snapshot.notset.fr/mr/package/ocaml-visitors/20210608-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=autoconf=2.71-2 automake=1:1.16.5-1.1 autopoint=0.21-4 autotools-dev=20180224.1+nmu1 base-files=12 base-passwd=3.5.52 bash=5.1-6 binutils=2.37.50.20220106-2 binutils-common=2.37.50.20220106-2 binutils-x86-64-linux-gnu=2.37.50.20220106-2 bsdextrautils=2.37.2-6 bsdutils=1:2.37.2-6 build-essential=12.9 bzip2=1.0.8-5 coreutils=8.32-4.1 cpp=4:11.2.0-2 cpp-11=11.2.0-14 dash=0.5.11+git20210903+057cd650a4ed-3 debconf=1.5.79 debhelper=13.6 debianutils=5.5-1 dh-autoreconf=20 dh-ocaml=1.1.3 dh-strip-nondeterminism=1.13.0-1 diffutils=1:3.7-5 dpkg=1.21.1 dpkg-dev=1.21.1 dwz=0.14-1 file=1:5.41-2 findutils=4.8.0-1 fontconfig-config=2.13.1-4.2 fonts-dejavu-core=2.37-2 fonts-lmodern=2.004.5-6.1 g++=4:11.2.0-2 g++-11=11.2.0-14 gcc=4:11.2.0-2 gcc-11=11.2.0-14 gcc-11-base=11.2.0-14 gettext=0.21-4 gettext-base=0.21-4 grep=3.7-1 groff-base=1.22.4-8 gzip=1.10-4 hostname=3.23 init-system-helpers=1.61 intltool-debian=0.35.0+20060710.5 latexmk=1:4.76-1 libacl1=2.3.1-1 libapache-pom-java=18-1 libarchive-zip-perl=1.68-1 libasan6=11.2.0-14 libatomic1=11.2.0-14 libattr1=1:2.5.1-1 libaudit-common=1:3.0.6-1 libaudit1=1:3.0.6-1+b1 libbinutils=2.37.50.20220106-2 libblkid1=2.37.2-6 libbrotli1=1.0.9-2+b3 libbsd0=0.11.3-1 libbz2-1.0=1.0.8-5 libc-bin=2.33-3 libc-dev-bin=2.33-3 libc6=2.33-3 libc6-dev=2.33-3 libcairo2=1.16.0-5 libcap-ng0=0.7.9-2.2+b1 libcap2=1:2.44-1 libcc1-0=11.2.0-14 libcom-err2=1.46.5-2 libcommons-logging-java=1.2-2 libcommons-parent-java=43-1 libcrypt-dev=1:4.4.27-1 libcrypt1=1:4.4.27-1 libctf-nobfd0=2.37.50.20220106-2 libctf0=2.37.50.20220106-2 libdb5.3=5.3.28+dfsg1-0.8 libdebconfclient0=0.261 libdebhelper-perl=13.6 libdpkg-perl=1.21.1 libelf1=0.186-1 libexpat1=2.4.3-1 libffi8=3.4.2-4 libfile-stripnondeterminism-perl=1.13.0-1 libfindlib-ocaml=1.9.1-1+b1 libfontbox-java=1:1.8.16-2 libfontconfig1=2.13.1-4.2 libfontenc1=1:1.1.4-1 libfreetype6=2.11.1+dfsg-1 libgcc-11-dev=11.2.0-14 libgcc-s1=11.2.0-14 libgcrypt20=1.9.4-5 libgdbm-compat4=1.22-1 libgdbm6=1.22-1 libglib2.0-0=2.70.2-1 libgmp10=2:6.2.1+dfsg-3 libgomp1=11.2.0-14 libgpg-error0=1.43-3 libgraphite2-3=1.3.14-1 libgssapi-krb5-2=1.18.3-7 libharfbuzz0b=2.7.4-1 libice6=2:1.0.10-1 libicu67=67.1-7 libisl23=0.24-2 libitm1=11.2.0-14 libk5crypto3=1.18.3-7 libkeyutils1=1.6.1-2 libkpathsea6=2021.20210626.59705-1 libkrb5-3=1.18.3-7 libkrb5support0=1.18.3-7 liblsan0=11.2.0-14 liblz4-1=1.9.3-2 liblzma5=5.2.5-2 libmagic-mgc=1:5.41-2 libmagic1=1:5.41-2 libmd0=1.0.4-1 libmount1=2.37.2-6 libmpc3=1.2.1-1 libmpdec3=2.5.1-2 libmpfr6=4.1.0-3 libncurses-dev=6.3-2 libncurses5-dev=6.3-2 libncurses6=6.3-2 libncursesw6=6.3-2 libnsl-dev=1.3.0-2 libnsl2=1.3.0-2 libocaml-compiler-libs-ocaml-dev=0.12.4-1+b1 libpam-modules=1.4.0-11 libpam-modules-bin=1.4.0-11 libpam-runtime=1.4.0-11 libpam0g=1.4.0-11 libpaper-utils=1.1.28+b1 libpaper1=1.1.28+b1 libpcre2-8-0=10.39-3 libpcre3=2:8.39-13 libpdfbox-java=1:1.8.16-2 libperl5.32=5.32.1-6 libpipeline1=1.5.5-1 libpixman-1-0=0.40.0-1 libpng16-16=1.6.37-3 libppx-derivers-ocaml-dev=1.2.1-1+b3 libppx-deriving-ocaml=5.2.1-1 libppx-deriving-ocaml-dev=5.2.1-1 libppxlib-ocaml-dev=0.24.0-1 libptexenc1=2021.20210626.59705-1 libpython3-stdlib=3.9.8-1 libpython3.9-minimal=3.9.10-1 libpython3.9-stdlib=3.9.10-1 libquadmath0=11.2.0-14 libreadline8=8.1.2-1 libresult-ocaml=1.5-1+b2 libresult-ocaml-dev=1.5-1+b2 libseccomp2=2.5.3-2 libselinux1=3.3-1+b1 libsexplib0-ocaml=0.14.0-1+b2 libsexplib0-ocaml-dev=0.14.0-1+b2 libsigsegv2=2.13-1 libsm6=2:1.2.3-1 libsmartcols1=2.37.2-6 libsqlite3-0=3.37.2-2 libssl1.1=1.1.1m-1 libstdc++-11-dev=11.2.0-14 libstdc++6=11.2.0-14 libsub-override-perl=0.09-2 libsynctex2=2021.20210626.59705-1 libsystemd0=250.3-1 libteckit0=2.5.11+ds1-1 libtexlua53=2021.20210626.59705-1 libtexluajit2=2021.20210626.59705-1 libtinfo6=6.3-2 libtirpc-common=1.3.2-2 libtirpc-dev=1.3.2-2 libtirpc3=1.3.2-2 libtool=2.4.6-15 libtsan0=11.2.0-14 libubsan1=11.2.0-14 libuchardet0=0.0.7-1 libudev1=250.3-1 libunistring2=0.9.10-6 libuuid1=2.37.2-6 libx11-6=2:1.7.2-2+b1 libx11-data=2:1.7.2-2 libxau6=1:1.0.9-1 libxaw7=2:1.0.13-1.1 libxcb-render0=1.14-3 libxcb-shm0=1.14-3 libxcb1=1.14-3 libxdmcp6=1:1.1.2-3 libxext6=2:1.3.4-1 libxi6=2:1.8-1 libxml2=2.9.12+dfsg-5+b1 libxmu6=2:1.1.2-2+b3 libxpm4=1:3.5.12-1 libxrender1=1:0.9.10-1 libxt6=1:1.2.0-1 libzstd1=1.4.8+dfsg-3 libzzip-0-13=0.13.72+dfsg.1-1.1 linux-libc-dev=5.15.15-1 lmodern=2.004.5-6.1 login=1:4.8.1-2 lsb-base=11.1.0 m4=1.4.18-5 make=4.3-4.1 man-db=2.9.4-4 mawk=1.3.4.20200120-2 media-types=4.0.0 ncurses-base=6.3-2 ncurses-bin=6.3-2 ocaml=4.13.1-3 ocaml-base=4.13.1-3 ocaml-compiler-libs=4.13.1-3 ocaml-dune=2.9.1-1+b1 ocaml-findlib=1.9.1-1+b1 ocaml-interp=4.13.1-3 ocp-indent=1.8.2-1+b2 patch=2.7.6-7 perl=5.32.1-6 perl-base=5.32.1-6 perl-modules-5.32=5.32.1-6 po-debconf=1.0.21+nmu1 preview-latex-style=12.2-1 python3=3.9.8-1 python3-minimal=3.9.8-1 python3.9=3.9.10-1 python3.9-minimal=3.9.10-1 readline-common=8.1.2-1 rpcsvc-proto=1.4.2-4 sed=4.8-1 sensible-utils=0.0.17 sysvinit-utils=3.01-1 t1utils=1.41-4 tar=1.34+dfsg-1 tex-common=6.17 texlive-base=2021.20211217-1 texlive-binaries=2021.20210626.59705-1 texlive-fonts-recommended=2021.20211217-1 texlive-latex-base=2021.20211217-1 texlive-latex-extra=2021.20211217-1 texlive-latex-recommended=2021.20211217-1 texlive-pictures=2021.20211217-1 tzdata=2021e-1 ucf=3.0043 util-linux=2.37.2-6 x11-common=1:7.7+23 xdg-utils=1.1.3-4.1 xfonts-encodings=1:1.0.4-2.1 xfonts-utils=1:7.7+6 xz-utils=5.2.5-2 zlib1g=1:1.2.11.dfsg-2 --variant=apt --aptopt=Acquire::Check-Valid-Until "false" --aptopt=Acquire::http::Dl-Limit "1000"; --aptopt=Acquire::https::Dl-Limit "1000"; --aptopt=Acquire::Retries "5"; --aptopt=APT::Get::allow-downgrades "true"; --keyring=/usr/share/keyrings/ --essential-hook=chroot "$1" sh -c "apt-get --yes install fakeroot util-linux" --essential-hook=copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ --essential-hook=chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220203T031730Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220203T031730Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220302T092843Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220119T212311Z/ unstable main' >> /etc/apt/sources.list && apt-get update" --customize-hook=chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash --customize-hook=chroot "$1" env sh -c "apt-get source --only-source -d ocaml-visitors=20210608-1 && mkdir -p /build/ocaml-visitors-LFEd8x && dpkg-source --no-check -x /*.dsc /build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608 && chown -R builduser:builduser /build/ocaml-visitors-LFEd8x" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1642758427" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/ocaml-visitors-LFEd8x /tmp/ocaml-visitors-20210608-18mft02xp bookworm /dev/null deb http://snapshot.notset.fr/archive/debian/20220119T212311Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: null I: using /tmp/mmdebstrap.aKldAHSHJV as tempdir I: running apt-get update... I: downloading packages with apt... I: extracting archives... I: installing essential packages... I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "apt-get --yes install fakeroot util-linux"' exec /tmp/mmdebstrap.aKldAHSHJV Reading package lists... Building dependency tree... util-linux is already the newest version (2.37.2-6). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 136 kB of archives. After this operation, 406 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20220119T212311Z unstable/main amd64 libfakeroot amd64 1.27-1 [48.5 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220119T212311Z unstable/main amd64 fakeroot amd64 1.27-1 [87.2 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 136 kB in 0s (1022 kB/s) Selecting previously unselected package libfakeroot:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 4681 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.27-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.27-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.27-1_amd64.deb ... Unpacking fakeroot (1.27-1) ... Setting up libfakeroot:amd64 (1.27-1) ... Setting up fakeroot (1.27-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.33-3) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20220203T031730Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20220203T031730Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20220302T092843Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20220119T212311Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.aKldAHSHJV Get:1 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm InRelease [129 kB] Get:2 http://snapshot.notset.fr/archive/debian/20220302T092843Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20220119T212311Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main Sources [11.8 MB] Get:5 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main amd64 Packages [11.2 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20220302T092843Z unstable/main amd64 Packages Err:6 http://snapshot.notset.fr/archive/debian/20220302T092843Z unstable/main amd64 Packages 404 Not Found [IP: 10.13.0.253 80] Ign:6 http://snapshot.notset.fr/archive/debian/20220302T092843Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20220302T092843Z unstable/main amd64 Packages [12.2 MB] Fetched 35.5 MB in 29s (1237 kB/s) Reading package lists... I: installing remaining packages inside the chroot... I: running --customize-hook in shell: sh -c 'chroot "$1" useradd --no-create-home -d /nonexistent -p "" builduser -s /bin/bash' exec /tmp/mmdebstrap.aKldAHSHJV I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d ocaml-visitors=20210608-1 && mkdir -p /build/ocaml-visitors-LFEd8x && dpkg-source --no-check -x /*.dsc /build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608 && chown -R builduser:builduser /build/ocaml-visitors-LFEd8x"' exec /tmp/mmdebstrap.aKldAHSHJV Reading package lists... NOTICE: 'ocaml-visitors' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/ocaml-team/ocaml-visitors.git Please use: git clone https://salsa.debian.org/ocaml-team/ocaml-visitors.git to retrieve the latest (possibly unreleased) updates to the package. Need to get 500 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main ocaml-visitors 20210608-1 (dsc) [2215 B] Get:2 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main ocaml-visitors 20210608-1 (tar) [493 kB] Get:3 http://snapshot.notset.fr/archive/debian/20220203T031730Z bookworm/main ocaml-visitors 20210608-1 (diff) [4532 B] Fetched 500 kB in 0s (1147 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'ocaml-visitors_20210608-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting ocaml-visitors in /build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608 dpkg-source: info: unpacking ocaml-visitors_20210608.orig.tar.xz dpkg-source: info: unpacking ocaml-visitors_20210608-1.debian.tar.xz I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" LC_COLLATE="C.UTF-8" SOURCE_DATE_EPOCH="1642758427" DEB_BUILD_OPTIONS=nocheck dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.aKldAHSHJV dpkg-buildpackage: info: source package ocaml-visitors dpkg-buildpackage: info: source version 20210608-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Stéphane Glondu dpkg-source --before-build . debian/rules clean dh clean --with ocaml dh_ocamlclean dh_clean debian/rules binary-indep dh binary-indep --with ocaml dh_update_autotools_config -i dh_autoreconf -i dh_ocamlinit -i debian/rules override_dh_auto_build-indep make[1]: Entering directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608' cd doc && /usr/bin/make SHELL=/bin/bash make[2]: Entering directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608/doc' Preprocessing ../test/OOinfer.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferfixed.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferfixedagain.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferfixedagaincheck.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinferself.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/OOinfervirtual.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/bench.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/build.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/cil_types.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/cil_types_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/delayed_tree.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/dictionary.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00endo.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00fold.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr00fold2.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr01.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr01use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr01use_variant.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr02.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr03.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr04.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr05.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr05lexico.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr05lexico_test.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr06.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr08.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr08double.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr08extra.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr11.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr12.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr13.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr13double.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr13extra.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr14.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr15.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr15b.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr15c.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr16.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr17.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_mapreduce.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_mapreduce_test.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_mapreduce_use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_polymorphic_use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_polymorphic_use_test.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_info_use.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/expr_redef.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/fold.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/hexpr_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/mapReduce.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/map_from_fold.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/monomorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/monopoly.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/oexpr_polymorphic.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/opaque.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/point.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/polyclass.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/ppx_import/expr.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/ppx_import/expr_import.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/ppx_import/expr_import_opaque.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/prefixes.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test00.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test01.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test03.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test04.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test05.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test06.ml... ocamlfind: Package `ppx_tools' not found Preprocessing ../test/test07.ml... ocamlfind: Package `ppx_tools' not found latexmk -g -pdf manual Rc files read: /etc/LatexMk Latexmk: This is Latexmk, John Collins, 20 November 2021, version: 4.76. Rule 'pdflatex': File changes, etc: Changed files, or newly in use since previous run(s): 'manual.tex' ------------ Run number 1 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -recorder "manual.tex"' ------------ Latexmk: applying rule 'pdflatex'... This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2021-11-22> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty))) (/usr/share/texmf/tex/latex/lm/lmodern.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/marginnote/marginnote.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (./listings-ocaml.tex) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/mdframed.sty (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-abspage.sty (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-base.sty)) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/md-frame-0.mdf)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./macros.tex) (./version.tex) (./manual.aux) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd) (/usr/share/texmf/tex/latex/lm/omllmm.fd) (/usr/share/texmf/tex/latex/lm/omslmsy.fd) (/usr/share/texmf/tex/latex/lm/omxlmex.fd) (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up dmap/pdftex.map}] [2] [3] (../test/expr00.ml) LaTeX Warning: Reference `mdf@pagelabel-1' on page 4 undefined on input line 15 4. (../test/expr00.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-2' on page 4 undefined on input line 15 7. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 168. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 176. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 182. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 194. LaTeX Warning: Reference `sec:opaque' on page 4 undefined on input line 200. LaTeX Warning: Reference `fig:expr00' on page 4 undefined on input line 221. (../test/expr04.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-3' on page 4 undefined on input line 22 2. LaTeX Warning: Reference `fig:expr04' on page 4 undefined on input line 234. [4] LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 245. LaTeX Warning: Reference `fig:expr04' on page 5 undefined on input line 246. LaTeX Warning: Reference `sec:ancestors' on page 5 undefined on input line 262. (./types.tex LaTeX Warning: Reference `mdf@pagelabel-4' on page 5 undefined on input line 21 . LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 22. LaTeX Warning: Reference `mdf@pagelabel-5' on page 5 undefined on input line 35 . LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 36. ) LaTeX Warning: Reference `fig:inferred' on page 5 undefined on input line 282. LaTeX Warning: Reference `fig:expr00' on page 5 undefined on input line 283. LaTeX Warning: Reference `fig:simplified' on page 5 undefined on input line 292 . LaTeX Warning: Reference `sec:oo:monomorphic' on page 5 undefined on input line 299. [5] LaTeX Warning: Reference `fig:simplified' on page 6 undefined on input line 306 . LaTeX Warning: Reference `fig:expr00' on page 6 undefined on input line 309. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 6 undefined on input line 317. LaTeX Warning: Reference `sec:intro:nonlocal' on page 6 undefined on input line 317. LaTeX Warning: Reference `fig:convention' on page 6 undefined on input line 317 . (../test/expr01.ml) LaTeX Warning: Reference `mdf@pagelabel-6' on page 6 undefined on input line 32 2. (../test/expr01.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-7' on page 6 undefined on input line 32 4. LaTeX Warning: Reference `sec:intro:iter:usage' on page 6 undefined on input li ne 333. LaTeX Warning: Reference `fig:expr01' on page 6 undefined on input line 339. LaTeX Warning: Reference `fig:expr00' on page 6 undefined on input line 340. [6] (../test/expr00endo.ml) LaTeX Warning: Reference `mdf@pagelabel-8' on page 7 undefined on input line 35 5. (../test/expr00endo.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-9' on page 7 undefined on input line 35 7. LaTeX Warning: Reference `fig:expr00endo' on page 7 undefined on input line 367 . LaTeX Warning: Reference `sec:advanced:hashconsed' on page 7 undefined on input line 388. LaTeX Warning: Reference `fig:expr14' on page 7 undefined on input line 388. (../test/expr15.ml) LaTeX Warning: Reference `mdf@pagelabel-10' on page 7 undefined on input line 3 97. (../test/expr15.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-11' on page 7 undefined on input line 3 99. LaTeX Warning: Reference `fig:expr15' on page 7 undefined on input line 405. (../test/expr15b.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-12' on page 7 undefined on input line 4 06. LaTeX Warning: Reference `fig:expr15' on page 7 undefined on input line 420. LaTeX Warning: Reference `fig:reduce' on page 7 undefined on input line 432. [7] LaTeX Warning: Reference `fig:expr04' on page 8 undefined on input line 450. (../test/expr_info_mapreduce.ml) LaTeX Warning: Reference `mdf@pagelabel-13' on page 8 undefined on input line 4 69. (../test/expr_info_mapreduce.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-14' on page 8 undefined on input line 4 71. LaTeX Warning: Reference `fig:mapreduce' on page 8 undefined on input line 477. (../test/expr_info_mapreduce_use.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-15' on page 8 undefined on input line 4 78. LaTeX Warning: Reference `fig:mapreduce' on page 8 undefined on input line 487. LaTeX Warning: Reference `fig:expr_info_mapreduce_use' on page 8 undefined on i nput line 497. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 8 undefined on input line 501. LaTeX Warning: Reference `fig:reduce' on page 8 undefined on input line 503. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) (../test/expr00fold.ml) LaTeX Warning: Reference `mdf@pagelabel-16' on page 8 undefined on input line 5 22. (../test/expr00fold.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-17' on page 8 undefined on input line 5 24. (../test/fold.ml) LaTeX Warning: Reference `mdf@pagelabel-18' on page 8 undefined on input line 5 30. LaTeX Warning: Reference `fig:expr00fold' on page 8 undefined on input line 549 . LaTeX Warning: Reference `fig:fold' on page 8 undefined on input line 558. [8] LaTeX Warning: Reference `sec:map_from_fold' on page 9 undefined on input line 589. (../test/expr02.ml) LaTeX Warning: Reference `mdf@pagelabel-19' on page 9 undefined on input line 6 06. (../test/expr02.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-20' on page 9 undefined on input line 6 08. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 631. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 639. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 648. (../test/expr05.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-21' on page 9 undefined on input line 6 49. LaTeX Warning: Reference `fig:expr02' on page 9 undefined on input line 655. (../test/expr05lexico.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-22' on page 9 undefined on input line 6 56. LaTeX Warning: Reference `fig:expr05' on page 9 undefined on input line 661. LaTeX Warning: Reference `fig:expr05lexico' on page 9 undefined on input line 6 86. (../test/expr06.ml) LaTeX Warning: Reference `mdf@pagelabel-23' on page 9 undefined on input line 7 12. [9] LaTeX Warning: Reference `fig:expr06' on page 10 undefined on input line 721. LaTeX Warning: Reference `fig:expr06' on page 10 undefined on input line 732. LaTeX Warning: Reference `mdf@pagelabel-24' on page 10 undefined on input line 797. LaTeX Warning: Reference `sec:intro:nonlocal' on page 10 undefined on input lin e 800. LaTeX Warning: Reference `fig:convention' on page 10 undefined on input line 80 0. LaTeX Warning: Reference `sec:regularity' on page 10 undefined on input line 80 8. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 10 undefined on input line 818. LaTeX Warning: Reference `sec:intro:nonlocal' on page 10 undefined on input lin e 818. LaTeX Warning: Reference `fig:convention' on page 10 undefined on input line 81 8. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 10 undefined on input line 821. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 10 undefined on input line 822. [10] (../test/expr_info.ml) LaTeX Warning: Reference `mdf@pagelabel-25' on page 11 undefined on input line 839. (../test/expr_info.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-26' on page 11 undefined on input line 841. LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 847 . (../test/expr_info_use.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-27' on page 11 undefined on input line 848. LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 860 . LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 863 . LaTeX Warning: Reference `sec:oo:self' on page 11 undefined on input line 879. LaTeX Warning: Reference `sec:ancestors' on page 11 undefined on input line 886 . LaTeX Warning: Reference `sec:intro:nonlocal' on page 11 undefined on input lin e 888. LaTeX Warning: Reference `fig:expr_info_use' on page 11 undefined on input line 891. LaTeX Warning: Reference `fig:expr_info' on page 11 undefined on input line 892 . (../test/expr_info_polymorphic.ml) LaTeX Warning: Reference `mdf@pagelabel-28' on page 11 undefined on input line 908. (../test/expr_info_polymorphic.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-29' on page 11 undefined on input line 910. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 11 undefined on in put line 916. (../test/expr_info_polymorphic_use.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-30' on page 11 undefined on input line 917. LaTeX Warning: Reference `sec:map_from_fold' on page 11 undefined on input line 927. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 11 undefined on in put line 929. LaTeX Warning: Reference `sec:params' on page 11 undefined on input line 934. LaTeX Warning: Reference `sec:params' on page 11 undefined on input line 947. [11] LaTeX Warning: Reference `fig:expr_info_polymorphic_use' on page 12 undefined o n input line 959. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 12 undefined on in put line 960. LaTeX Warning: Reference `fig:expr_info_use' on page 12 undefined on input line 961. LaTeX Warning: Reference `fig:expr_info_polymorphic' on page 12 undefined on in put line 979. LaTeX Warning: Reference `sec:intro:nonlocal' on page 12 undefined on input lin e 983. LaTeX Warning: Reference `sec:opaque' on page 12 undefined on input line 987. (../test/expr11.ml) LaTeX Warning: Reference `mdf@pagelabel-31' on page 12 undefined on input line 1025. (../test/expr11.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-32' on page 12 undefined on input line 1027. (./convention.tex LaTeX Warning: Reference `mdf@pagelabel-33' on page 12 undefined on input line 46. ) LaTeX Warning: Reference `fig:expr00' on page 12 undefined on input line 1038. LaTeX Warning: Reference `fig:expr00' on page 12 undefined on input line 1043. LaTeX Warning: Reference `fig:expr11' on page 12 undefined on input line 1046. LaTeX Warning: Reference `fig:expr00' on page 12 undefined on input line 1071. LaTeX Warning: Reference `fig:expr01' on page 12 undefined on input line 1071. LaTeX Warning: Reference `fig:convention' on page 12 undefined on input line 10 80. LaTeX Warning: Reference `sec:opaque' on page 12 undefined on input line 1105. LaTeX Warning: Reference `fig:expr15' on page 12 undefined on input line 1106. [12] LaTeX Warning: Reference `sec:ancestors' on page 13 undefined on input line 111 6. LaTeX Warning: Reference `sec:ancestors' on page 13 undefined on input line 111 8. (../test/expr_redef.ml) LaTeX Warning: Reference `mdf@pagelabel-34' on page 13 undefined on input line 1138. (../test/ppx_import/expr_import.ml) LaTeX Warning: Reference `mdf@pagelabel-35' on page 13 undefined on input line 1149. LaTeX Warning: Reference `sec:opaque' on page 13 undefined on input line 1163. (../test/ppx_import/expr_import_opaque.ml) LaTeX Warning: Reference `mdf@pagelabel-36' on page 13 undefined on input line 1166. (../test/expr12.ml) LaTeX Warning: Reference `mdf@pagelabel-37' on page 13 undefined on input line 1177. (../test/expr12.processed.ml) LaTeX Warning: Reference `mdf@pagelabel-38' on page 13 undefined on input line 1179. LaTeX Warning: Reference `fig:expr12' on page 13 undefined on input line 1185. (../test/expr13.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-39' on page 13 undefined on input line 1186. LaTeX Warning: Reference `fig:expr12' on page 13 undefined on input line 1192. (../test/expr08.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-40' on page 13 undefined on input line 1193. LaTeX Warning: Reference `sec:intro' on page 13 undefined on input line 1202. Underfull \vbox (badness 10000) has occurred while \output is active [13] LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1210. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1211. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 14 undefined on input line 1213. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 14 undefined on input line 1217. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 14 undefined on input line 1218. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1222. LaTeX Warning: Citation `milewski-13' on page 14 undefined on input line 1224. LaTeX Warning: Reference `fig:expr13double' on page 14 undefined on input line 1272. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1279. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1279. (../test/expr13double.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-41' on page 14 undefined on input line 1280. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1286. LaTeX Warning: Reference `fig:expr08' on page 14 undefined on input line 1286. (../test/expr08double.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-42' on page 14 undefined on input line 1287. LaTeX Warning: Reference `fig:expr12' on page 14 undefined on input line 1293. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1293. LaTeX Warning: Reference `fig:expr08' on page 14 undefined on input line 1293. (../test/expr14.ml consecutive: ) LaTeX Warning: Reference `mdf@pagelabel-43' on page 14 undefined on input line 1294. LaTeX Warning: Reference `sec:advanced:openclosed' on page 14 undefined on inpu t line 1303. LaTeX Warning: Citation `filliatre-conchon-06' on page 14 undefined on input li ne 1309. LaTeX Warning: Reference `fig:expr08' on page 14 undefined on input line 1312. LaTeX Warning: Reference `fig:expr13' on page 14 undefined on input line 1313. [14] LaTeX Warning: Reference `sec:advanced:openclosed' on page 15 undefined on inpu t line 1332. LaTeX Warning: Reference `fig:expr13' on page 15 undefined on input line 1348. LaTeX Warning: Reference `fig:expr13double' on page 15 undefined on input line 1360. LaTeX Warning: Reference `fig:expr08double' on page 15 undefined on input line 1360. LaTeX Warning: Reference `fig:expr12' on page 15 undefined on input line 1368. LaTeX Warning: Reference `fig:expr14' on page 15 undefined on input line 1370. LaTeX Warning: Citation `iterators' on page 15 undefined on input line 1387. (../test/OOinfer.ml) LaTeX Warning: Reference `mdf@pagelabel-44' on page 15 undefined on input line 1408. (../test/OOinfervirtual.ml) LaTeX Warning: Reference `mdf@pagelabel-45' on page 15 undefined on input line 1416. [15] LaTeX Warning: Reference `mdf@pagelabel-46' on page 16 undefined on input line 1416. (./OOinfererror.ml) LaTeX Warning: Reference `mdf@pagelabel-47' on page 16 undefined on input line 1435. LaTeX Warning: Reference `mdf@pagelabel-48' on page 16 undefined on input line 1451. (../test/OOinferfixed.ml) LaTeX Warning: Reference `mdf@pagelabel-49' on page 16 undefined on input line 1459. (./OOinfererroragain.ml) LaTeX Warning: Reference `mdf@pagelabel-50' on page 16 undefined on input line 1467. [16] LaTeX Warning: Reference `mdf@pagelabel-51' on page 17 undefined on input line 1467. LaTeX Warning: Reference `mdf@pagelabel-52' on page 17 undefined on input line 1484. (../test/OOinferfixedagain.ml) LaTeX Warning: Reference `mdf@pagelabel-53' on page 17 undefined on input line 1489. (../test/OOinferfixedagaincheck.ml) LaTeX Warning: Reference `mdf@pagelabel-54' on page 17 undefined on input line 1507. LaTeX Warning: Reference `mdf@pagelabel-55' on page 17 undefined on input line 1523. [17] LaTeX Warning: Reference `mdf@pagelabel-56' on page 18 undefined on input line 1523. (../test/OOinferself.ml) LaTeX Warning: Reference `mdf@pagelabel-57' on page 18 undefined on input line 1562. LaTeX Warning: Reference `sec:intro:type' on page 18 undefined on input line 15 89. LaTeX Warning: Reference `fig:inferred' on page 18 undefined on input line 1590 . LaTeX Warning: Reference `fig:simplified' on page 18 undefined on input line 15 91. LaTeX Warning: Reference `fig:simplified' on page 18 undefined on input line 15 99. LaTeX Warning: Citation `ocaml7465' on page 18 undefined on input line 1603. [18] LaTeX Warning: Reference `fig:inferred' on page 19 undefined on input line 1614 . (../test/polyclass.ml) LaTeX Warning: Reference `mdf@pagelabel-58' on page 19 undefined on input line 1636. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 19 undefined on input line 1638. (../test/map_from_fold.ml) LaTeX Warning: Reference `mdf@pagelabel-59' on page 19 undefined on input line 1684. (../test/map_from_fold.mli) LaTeX Warning: Reference `mdf@pagelabel-60' on page 19 undefined on input line 1692. LaTeX Warning: Reference `fig:map_from_fold' on page 19 undefined on input line 1693. LaTeX Warning: Reference `sec:intro:fold' on page 19 undefined on input line 16 97. LaTeX Warning: Reference `fig:map_from_fold' on page 19 undefined on input line 1724. [19] LaTeX Warning: Reference `fig:map_from_fold:type' on page 20 undefined on input line 1764. LaTeX Warning: Reference `fig:map_from_fold' on page 20 undefined on input line 1766. LaTeX Warning: Reference `mdf@pagelabel-61' on page 20 undefined on input line 1783. LaTeX Warning: Reference `sec:intro:fold' on page 20 undefined on input line 18 21. LaTeX Warning: Reference `sec:structure' on page 20 undefined on input line 183 0. LaTeX Warning: Reference `sec:intro:aritytwo' on page 20 undefined on input lin e 1836. LaTeX Warning: Reference `sec:regularity' on page 20 undefined on input line 18 40. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 20 undefined on input line 1856. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 20 undefined on input line 1859. LaTeX Warning: Reference `sec:intro:iter:def' on page 20 undefined on input lin e 1871. LaTeX Warning: Reference `sec:intro:map' on page 20 undefined on input line 187 2. LaTeX Warning: Reference `sec:intro:endo' on page 20 undefined on input line 18 73. LaTeX Warning: Reference `sec:intro:reduce' on page 20 undefined on input line 1874. LaTeX Warning: Reference `sec:intro:mapreduce' on page 20 undefined on input li ne 1875. LaTeX Warning: Reference `sec:intro:fold' on page 20 undefined on input line 18 76. LaTeX Warning: Reference `sec:intro:aritytwo' on page 20 undefined on input lin e 1881. Overfull \hbox (2.43005pt too wide) in paragraph at lines 1810--1891 [][] LaTeX Warning: Reference `fig:params' on page 20 undefined on input line 1902. Underfull \vbox (badness 3635) has occurred while \output is active [20] LaTeX Warning: Reference `sec:intro:nonlocal' on page 21 undefined on input lin e 1936. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1939. LaTeX Warning: Reference `sec:oo:self' on page 21 undefined on input line 1941. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1942. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1943. LaTeX Warning: Reference `fig:expr00' on page 21 undefined on input line 1963. LaTeX Warning: Reference `fig:expr00' on page 21 undefined on input line 1979. LaTeX Warning: Reference `sec:params' on page 21 undefined on input line 1983. LaTeX Warning: Reference `sec:intro:aritytwo' on page 21 undefined on input lin e 1987. [21] LaTeX Warning: Reference `fig:expr02' on page 22 undefined on input line 1996. LaTeX Warning: Reference `fig:expr_info' on page 22 undefined on input line 201 3. LaTeX Warning: Reference `sec:intro:reduce' on page 22 undefined on input line 2016. LaTeX Warning: Reference `sec:intro:mapreduce' on page 22 undefined on input li ne 2017. LaTeX Warning: Reference `fig:expr15' on page 22 undefined on input line 2024. LaTeX Warning: Reference `fig:expr15' on page 22 undefined on input line 2031. LaTeX Warning: Reference `sec:intro:fold' on page 22 undefined on input line 20 34. LaTeX Warning: Reference `sec:intro:fold' on page 22 undefined on input line 20 48. LaTeX Warning: Reference `fig:expr00fold' on page 22 undefined on input line 20 59. LaTeX Warning: Reference `fig:expr11' on page 22 undefined on input line 2079. [22] LaTeX Warning: Reference `sec:params' on page 23 undefined on input line 2095. LaTeX Warning: Reference `fig:fold' on page 23 undefined on input line 2115. LaTeX Warning: Reference `sec:intro:parameterized:mono' on page 23 undefined on input line 2136. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 23 undefined on input line 2138. LaTeX Warning: Reference `mdf@pagelabel-62' on page 23 undefined on input line 2151. LaTeX Warning: Citation `okasaki-book-99' on page 23 undefined on input line 21 54. LaTeX Warning: Reference `mdf@pagelabel-63' on page 23 undefined on input line 2163. [23] LaTeX Warning: Reference `mdf@pagelabel-64' on page 24 undefined on input line 2163. LaTeX Warning: Citation `okasaki-book-99' on page 24 undefined on input line 21 66. LaTeX Warning: Citation `bird-meertens-98' on page 24 undefined on input line 2 167. LaTeX Warning: Reference `sec:opaque' on page 24 undefined on input line 2202. LaTeX Warning: Reference `fig:expr15' on page 24 undefined on input line 2226. LaTeX Warning: Reference `sec:intro:parameterized:poly' on page 24 undefined on input line 2243. [24] LaTeX Warning: Reference `mdf@pagelabel-65' on page 25 undefined on input line 2276. LaTeX Warning: Reference `mdf@pagelabel-66' on page 25 undefined on input line 2300. (../test/point.mli) LaTeX Warning: Reference `mdf@pagelabel-67' on page 25 undefined on input line 2333. LaTeX Warning: Reference `sec:import' on page 25 undefined on input line 2337. LaTeX Warning: Reference `mdf@pagelabel-68' on page 25 undefined on input line 2349. No file manual.bbl. [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] (./manual.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. Package rerunfilecheck Warning: File `manual.out' has changed. (rerunfilecheck) Rerun to get outlines right (rerunfilecheck) or use package `bookmark'. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}{/usr/sh are/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (34 pages, 271566 bytes). Transcript written on manual.log. Latexmk: Missing bbl file 'manual.bbl' in following: No file manual.bbl. Latexmk: References changed. Latexmk: References changed. Latexmk: Log file says output to 'manual.pdf' Latexmk: List of undefined refs and citations: Citation `bird-meertens-98' on page 24 undefined on input line 2167 Citation `filliatre-conchon-06' on page 14 undefined on input line 1309 Citation `iterators' on page 15 undefined on input line 1387 Citation `milewski-13' on page 14 undefined on input line 1224 Citation `ocaml7465' on page 18 undefined on input line 1603 Citation `okasaki-book-99' on page 23 undefined on input line 2154 Citation `okasaki-book-99' on page 24 undefined on input line 2166 Reference `fig:convention' on page 10 undefined on input line 800 Reference `fig:convention' on page 10 undefined on input line 818 Reference `fig:convention' on page 12 undefined on input line 1080 Reference `fig:convention' on page 6 undefined on input line 317 Reference `fig:expr00' on page 12 undefined on input line 1038 Reference `fig:expr00' on page 12 undefined on input line 1043 Reference `fig:expr00' on page 12 undefined on input line 1071 Reference `fig:expr00' on page 21 undefined on input line 1963 Reference `fig:expr00' on page 21 undefined on input line 1979 Reference `fig:expr00' on page 4 undefined on input line 168 Reference `fig:expr00' on page 4 undefined on input line 176 Reference `fig:expr00' on page 4 undefined on input line 182 Reference `fig:expr00' on page 4 undefined on input line 194 Reference `fig:expr00' on page 4 undefined on input line 221 Reference `fig:expr00' on page 5 undefined on input line 22 Reference `fig:expr00' on page 5 undefined on input line 245 Reference `fig:expr00' on page 5 undefined on input line 283 Reference `fig:expr00' on page 5 undefined on input line 36 Reference `fig:expr00' on page 6 undefined on input line 309 Reference `fig:expr00' on page 6 undefined on input line 340 Reference `fig:expr00endo' on page 7 undefined on input line 367 Reference `fig:expr00fold' on page 22 undefined on input line 2059 Reference `fig:expr00fold' on page 8 undefined on input line 549 Reference `fig:expr01' on page 12 undefined on input line 1071 Reference `fig:expr01' on page 6 undefined on input line 339 Reference `fig:expr02' on page 22 undefined on input line 1996 Reference `fig:expr02' on page 9 undefined on input line 631 Reference `fig:expr02' on page 9 undefined on input line 639 Reference `fig:expr02' on page 9 undefined on input line 648 Reference `fig:expr02' on page 9 undefined on input line 655 Reference `fig:expr04' on page 4 undefined on input line 234 Reference `fig:expr04' on page 5 undefined on input line 246 Reference `fig:expr04' on page 8 undefined on input line 450 Reference `fig:expr05' on page 9 undefined on input line 661 Reference `fig:expr05lexico' on page 9 undefined on input line 686 Reference `fig:expr06' on page 10 undefined on input line 721 Reference `fig:expr06' on page 10 undefined on input line 732 Reference `fig:expr08' on page 14 undefined on input line 1286 Reference `fig:expr08' on page 14 undefined on input line 1293 Reference `fig:expr08' on page 14 undefined on input line 1312 Reference `fig:expr08double' on page 15 undefined on input line 1360 Reference `fig:expr11' on page 12 undefined on input line 1046 Reference `fig:expr11' on page 22 undefined on input line 2079 Reference `fig:expr12' on page 13 undefined on input line 1185 Reference `fig:expr12' on page 13 undefined on input line 1192 Reference `fig:expr12' on page 14 undefined on input line 1210 Reference `fig:expr12' on page 14 undefined on input line 1211 Reference `fig:expr12' on page 14 undefined on input line 1279 Reference `fig:expr12' on page 14 undefined on input line 1286 Reference `fig:expr12' on page 14 undefined on input line 1293 Reference `fig:expr12' on page 15 undefined on input line 1368 Reference `fig:expr13' on page 14 undefined on input line 1222 Reference `fig:expr13' on page 14 undefined on input line 1279 Reference `fig:expr13' on page 14 undefined on input line 1293 Reference `fig:expr13' on page 14 undefined on input line 1313 Reference `fig:expr13' on page 15 undefined on input line 1348 Reference `fig:expr13double' on page 14 undefined on input line 1272 Reference `fig:expr13double' on page 15 undefined on input line 1360 Reference `fig:expr14' on page 15 undefined on input line 1370 Reference `fig:expr14' on page 7 undefined on input line 388 Reference `fig:expr15' on page 12 undefined on input line 1106 Reference `fig:expr15' on page 22 undefined on input line 2024 Reference `fig:expr15' on page 22 undefined on input line 2031 Reference `fig:expr15' on page 24 undefined on input line 2226 Reference `fig:expr15' on page 7 undefined on input line 405 Reference `fig:expr15' on page 7 undefined on input line 420 Reference `fig:expr_info' on page 11 undefined on input line 847 Reference `fig:expr_info' on page 11 undefined on input line 860 Reference `fig:expr_info' on page 11 undefined on input line 863 Reference `fig:expr_info' on page 11 undefined on input line 892 Reference `fig:expr_info' on page 22 undefined on input line 2013 Reference `fig:expr_info_mapreduce_use' on page 8 undefined on input line 497 Reference `fig:expr_info_polymorphic' on page 11 undefined on input line 916 Reference `fig:expr_info_polymorphic' on page 11 undefined on input line 929 Reference `fig:expr_info_polymorphic' on page 12 undefined on input line 960 Reference `fig:expr_info_polymorphic' on page 12 undefined on input line 979 Reference `fig:expr_info_polymorphic_use' on page 12 undefined on input line 959 Reference `fig:expr_info_use' on page 11 undefined on input line 891 Reference `fig:expr_info_use' on page 12 undefined on input line 961 Reference `fig:fold' on page 23 undefined on input line 2115 Reference `fig:fold' on page 8 undefined on input line 558 Reference `fig:inferred' on page 18 undefined on input line 1590 Reference `fig:inferred' on page 19 undefined on input line 1614 Reference `fig:inferred' on page 5 undefined on input line 282 Reference `fig:map_from_fold' on page 19 undefined on input line 1693 Reference `fig:map_from_fold' on page 19 undefined on input line 1724 Reference `fig:map_from_fold' on page 20 undefined on input line 1766 Reference `fig:map_from_fold:type' on page 20 undefined on input line 1764 Reference `fig:mapreduce' on page 8 undefined on input line 477 Reference `fig:mapreduce' on page 8 undefined on input line 487 Reference `fig:params' on page 20 undefined on input line 1902 Reference `fig:reduce' on page 7 undefined on input line 432 Reference `fig:reduce' on page 8 undefined on input line 503 Reference `fig:simplified' on page 18 undefined on input line 1591 Reference `fig:simplified' on page 18 undefined on input line 1599 Reference `fig:simplified' on page 5 undefined on input line 292 Reference `fig:simplified' on page 6 undefined on input line 306 Reference `mdf@pagelabel-1' on page 4 undefined on input line 154 Reference `mdf@pagelabel-10' on page 7 undefined on input line 397 Reference `mdf@pagelabel-11' on page 7 undefined on input line 399 Reference `mdf@pagelabel-12' on page 7 undefined on input line 406 Reference `mdf@pagelabel-13' on page 8 undefined on input line 469 Reference `mdf@pagelabel-14' on page 8 undefined on input line 471 Reference `mdf@pagelabel-15' on page 8 undefined on input line 478 Reference `mdf@pagelabel-16' on page 8 undefined on input line 522 Reference `mdf@pagelabel-17' on page 8 undefined on input line 524 Reference `mdf@pagelabel-18' on page 8 undefined on input line 530 Reference `mdf@pagelabel-19' on page 9 undefined on input line 606 Reference `mdf@pagelabel-2' on page 4 undefined on input line 157 Reference `mdf@pagelabel-20' on page 9 undefined on input line 608 Reference `mdf@pagelabel-21' on page 9 undefined on input line 649 Reference `mdf@pagelabel-22' on page 9 undefined on input line 656 Reference `mdf@pagelabel-23' on page 9 undefined on input line 712 Reference `mdf@pagelabel-24' on page 10 undefined on input line 797 Reference `mdf@pagelabel-25' on page 11 undefined on input line 839 Reference `mdf@pagelabel-26' on page 11 undefined on input line 841 Reference `mdf@pagelabel-27' on page 11 undefined on input line 848 Reference `mdf@pagelabel-28' on page 11 undefined on input line 908 Reference `mdf@pagelabel-29' on page 11 undefined on input line 910 Reference `mdf@pagelabel-3' on page 4 undefined on input line 222 Reference `mdf@pagelabel-30' on page 11 undefined on input line 917 Reference `mdf@pagelabel-31' on page 12 undefined on input line 1025 Reference `mdf@pagelabel-32' on page 12 undefined on input line 1027 Reference `mdf@pagelabel-33' on page 12 undefined on input line 46 Reference `mdf@pagelabel-34' on page 13 undefined on input line 1138 Reference `mdf@pagelabel-35' on page 13 undefined on input line 1149 Reference `mdf@pagelabel-36' on page 13 undefined on input line 1166 Reference `mdf@pagelabel-37' on page 13 undefined on input line 1177 Reference `mdf@pagelabel-38' on page 13 undefined on input line 1179 Reference `mdf@pagelabel-39' on page 13 undefined on input line 1186 Reference `mdf@pagelabel-4' on page 5 undefined on input line 21 Reference `mdf@pagelabel-40' on page 13 undefined on input line 1193 Reference `mdf@pagelabel-41' on page 14 undefined on input line 1280 Reference `mdf@pagelabel-42' on page 14 undefined on input line 1287 Reference `mdf@pagelabel-43' on page 14 undefined on input line 1294 Reference `mdf@pagelabel-44' on page 15 undefined on input line 1408 Reference `mdf@pagelabel-45' on page 15 undefined on input line 1416 Reference `mdf@pagelabel-46' on page 16 undefined on input line 1416 Reference `mdf@pagelabel-47' on page 16 undefined on input line 1435 Reference `mdf@pagelabel-48' on page 16 undefined on input line 1451 Reference `mdf@pagelabel-49' on page 16 undefined on input line 1459 Reference `mdf@pagelabel-5' on page 5 undefined on input line 35 Reference `mdf@pagelabel-50' on page 16 undefined on input line 1467 Reference `mdf@pagelabel-51' on page 17 undefined on input line 1467 Reference `mdf@pagelabel-52' on page 17 undefined on input line 1484 Reference `mdf@pagelabel-53' on page 17 undefined on input line 1489 Reference `mdf@pagelabel-54' on page 17 undefined on input line 1507 Reference `mdf@pagelabel-55' on page 17 undefined on input line 1523 Reference `mdf@pagelabel-56' on page 18 undefined on input line 1523 Reference `mdf@pagelabel-57' on page 18 undefined on input line 1562 Reference `mdf@pagelabel-58' on page 19 undefined on input line 1636 Reference `mdf@pagelabel-59' on page 19 undefined on input line 1684 Reference `mdf@pagelabel-6' on page 6 undefined on input line 322 Reference `mdf@pagelabel-60' on page 19 undefined on input line 1692 Reference `mdf@pagelabel-61' on page 20 undefined on input line 1783 Reference `mdf@pagelabel-62' on page 23 undefined on input line 2151 Reference `mdf@pagelabel-63' on page 23 undefined on input line 2163 Reference `mdf@pagelabel-64' on page 24 undefined on input line 2163 Reference `mdf@pagelabel-65' on page 25 undefined on input line 2276 Reference `mdf@pagelabel-66' on page 25 undefined on input line 2300 Reference `mdf@pagelabel-67' on page 25 undefined on input line 2333 Reference `mdf@pagelabel-68' on page 25 undefined on input line 2349 Reference `mdf@pagelabel-7' on page 6 undefined on input line 324 Reference `mdf@pagelabel-8' on page 7 undefined on input line 355 Reference `mdf@pagelabel-9' on page 7 undefined on input line 357 Reference `sec:advanced:hashconsed' on page 7 undefined on input line 388 Reference `sec:advanced:openclosed' on page 14 undefined on input line 1303 Reference `sec:advanced:openclosed' on page 15 undefined on input line 1332 Reference `sec:ancestors' on page 11 undefined on input line 886 Reference `sec:ancestors' on page 13 undefined on input line 1116 Reference `sec:ancestors' on page 13 undefined on input line 1118 Reference `sec:ancestors' on page 5 undefined on input line 262 Reference `sec:import' on page 25 undefined on input line 2337 Reference `sec:intro' on page 13 undefined on input line 1202 Reference `sec:intro:aritytwo' on page 20 undefined on input line 1836 Reference `sec:intro:aritytwo' on page 20 undefined on input line 1881 Reference `sec:intro:aritytwo' on page 21 undefined on input line 1987 Reference `sec:intro:endo' on page 20 undefined on input line 1873 Reference `sec:intro:fold' on page 19 undefined on input line 1697 Reference `sec:intro:fold' on page 20 undefined on input line 1821 Reference `sec:intro:fold' on page 20 undefined on input line 1876 Reference `sec:intro:fold' on page 22 undefined on input line 2034 Reference `sec:intro:fold' on page 22 undefined on input line 2048 Reference `sec:intro:iter:def' on page 20 undefined on input line 1871 Reference `sec:intro:iter:usage' on page 6 undefined on input line 333 Reference `sec:intro:map' on page 20 undefined on input line 1872 Reference `sec:intro:mapreduce' on page 20 undefined on input line 1875 Reference `sec:intro:mapreduce' on page 22 undefined on input line 2017 Reference `sec:intro:nonlocal' on page 10 undefined on input line 800 Reference `sec:intro:nonlocal' on page 10 undefined on input line 818 Reference `sec:intro:nonlocal' on page 11 undefined on input line 888 Reference `sec:intro:nonlocal' on page 12 undefined on input line 983 Reference `sec:intro:nonlocal' on page 21 undefined on input line 1936 Reference `sec:intro:nonlocal' on page 6 undefined on input line 317 Reference `sec:intro:parameterized:mono' on page 10 undefined on input line 821 Reference `sec:intro:parameterized:mono' on page 14 undefined on input line 1213 Reference `sec:intro:parameterized:mono' on page 14 undefined on input line 1217 Reference `sec:intro:parameterized:mono' on page 19 undefined on input line 1638 Reference `sec:intro:parameterized:mono' on page 20 undefined on input line 1856 Reference `sec:intro:parameterized:mono' on page 23 undefined on input line 2136 Reference `sec:intro:parameterized:mono' on page 8 undefined on input line 501 Reference `sec:intro:parameterized:poly' on page 10 undefined on input line 818 Reference `sec:intro:parameterized:poly' on page 10 undefined on input line 822 Reference `sec:intro:parameterized:poly' on page 14 undefined on input line 1218 Reference `sec:intro:parameterized:poly' on page 20 undefined on input line 1859 Reference `sec:intro:parameterized:poly' on page 23 undefined on input line 2138 Reference `sec:intro:parameterized:poly' on page 24 undefined on input line 2243 Reference `sec:intro:parameterized:poly' on page 6 undefined on input line 317 Reference `sec:intro:reduce' on page 20 undefined on input line 1874 Reference `sec:intro:reduce' on page 22 undefined on input line 2016 Reference `sec:intro:type' on page 18 undefined on input line 1589 Reference `sec:map_from_fold' on page 11 undefined on input line 927 Reference `sec:map_from_fold' on page 9 undefined on input line 589 Reference `sec:oo:monomorphic' on page 5 undefined on input line 299 Reference `sec:oo:self' on page 11 undefined on input line 879 Reference `sec:oo:self' on page 21 undefined on input line 1941 Reference `sec:opaque' on page 12 undefined on input line 1105 Reference `sec:opaque' on page 12 undefined on input line 987 Reference `sec:opaque' on page 13 undefined on input line 1163 Reference `sec:opaque' on page 24 undefined on input line 2202 Reference `sec:opaque' on page 4 undefined on input line 200 Reference `sec:params' on page 11 undefined on input line 934 Reference `sec:params' on page 11 undefined on input line 947 Reference `sec:params' on page 21 undefined on input line 1939 Reference `sec:params' on page 21 undefined on input line 1942 Reference `sec:params' on page 21 undefined on input line 1943 Reference `sec:params' on page 21 undefined on input line 1983 Reference `sec:params' on page 23 undefined on input line 2095 Reference `sec:regularity' on page 10 undefined on input line 808 Reference `sec:regularity' on page 20 undefined on input line 1840 Reference `sec:structure' on page 20 undefined on input line 1830 Latexmk: Examining 'manual.log' === TeX engine is 'pdfTeX' Latexmk: Found bibliography file(s) [english.bib local.bib] Rule 'bibtex manual': File changes, etc: Changed files, or newly in use since previous run(s): 'manual.aux' ------------ Run number 1 of rule 'bibtex manual' ------------ ------------ Running 'bibtex "manual.aux"' ------------ Latexmk: applying rule 'bibtex manual'... This is BibTeX, Version 0.99d (TeX Live 2022/dev/Debian) The top-level auxiliary file: manual.aux The style file: plain.bst Database file #1: english.bib Database file #2: local.bib Rule 'pdflatex': File changes, etc: Changed files, or newly in use since previous run(s): 'manual.aux' 'manual.bbl' 'manual.out' ------------ Run number 2 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -recorder "manual.tex"' ------------ Latexmk: applying rule 'pdflatex'... This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2021-11-22> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty))) (/usr/share/texmf/tex/latex/lm/lmodern.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/marginnote/marginnote.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (./listings-ocaml.tex) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/mdframed.sty (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-abspage.sty (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-base.sty)) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/md-frame-0.mdf)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./macros.tex) (./version.tex) (./manual.aux) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd) (/usr/share/texmf/tex/latex/lm/omllmm.fd) (/usr/share/texmf/tex/latex/lm/omslmsy.fd) (/usr/share/texmf/tex/latex/lm/omxlmex.fd) (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up dmap/pdftex.map}] (./manual.toc) [2] [3] (../test/expr00.ml) (../test/expr00.processed.ml) (../test/expr04.ml consecutive: ) [4] (./types.tex) [5] (../test/expr01.ml) (../test/expr01.processed.ml) [6] (../test/expr00endo.ml) (../test/expr00endo.processed.ml) (../test/expr15.ml) (../test/expr15.processed.ml) (../test/expr15b.ml consecutive: ) [7] (../test/expr_info_mapreduce.ml) (../test/expr_info_mapreduce.processed.ml) (../test/expr_info_mapreduce_use.ml consecutive: ) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) (../test/expr00fold.ml) (../test/expr00fold.processed.ml) (../test/fold.ml) [8] (../test/expr02.ml) (../test/expr02.processed.ml) (../test/expr05.ml consecutive: ) (../test/expr05lexico.ml consecutive: ) [9] (../test/expr06.ml) [10] (../test/expr_info.ml) (../test/expr_info.processed.ml) (../test/expr_info_use.ml consecutive: ) (../test/expr_info_polymorphic.ml) (../test/expr_info_polymorphic.processed.ml) (../test/expr_info_polymorphic_use.ml consecutive: ) [11] (../test/expr11.ml) (../test/expr11.processed.ml) (./convention.tex) [12] (../test/expr_redef.ml) (../test/ppx_import/expr_import.ml) (../test/ppx_import/expr_import_opaque.ml) (../test/expr12.ml) (../test/expr12.processed.ml) Underfull \vbox (badness 3386) has occurred while \output is active [13] (../test/expr13.ml consecutive: ) (../test/expr08.ml consecutive: ) LaTeX Warning: Citation `milewski-13' on page 14 undefined on input line 1224. (../test/expr13double.ml consecutive: ) (../test/expr08double.ml consecutive: ) (../test/expr14.ml consecutive: ) LaTeX Warning: Citation `filliatre-conchon-06' on page 14 undefined on input li ne 1309. [14] LaTeX Warning: Citation `iterators' on page 15 undefined on input line 1387. (../test/OOinfer.ml) (../test/OOinfervirtual.ml) [15] (./OOinfererror.ml) (../test/OOinferfixed.ml) (./OOinfererroragain.ml) [16] (../test/OOinferfixedagain.ml) (../test/OOinferfixedagaincheck.ml) [17] (../test/OOinferself.ml) LaTeX Warning: Citation `ocaml7465' on page 18 undefined on input line 1603. [18] (../test/polyclass.ml) (../test/map_from_fold.ml) (../test/map_from_fold.mli) [19] Overfull \hbox (2.43005pt too wide) in paragraph at lines 1810--1891 [][] Underfull \vbox (badness 3635) has occurred while \output is active [20] [21] [22] LaTeX Warning: Citation `okasaki-book-99' on page 23 undefined on input line 21 54. [23] LaTeX Warning: Citation `okasaki-book-99' on page 24 undefined on input line 21 66. LaTeX Warning: Citation `bird-meertens-98' on page 24 undefined on input line 2 167. [24] (../test/point.mli) (./manual.bbl Underfull \vbox (badness 1902) has occurred while \output is active [25]) [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] (./manual.aux) LaTeX Warning: There were undefined references. LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}{/usr/sh are/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (35 pages, 289570 bytes). Transcript written on manual.log. Latexmk: Found input bbl file 'manual.bbl' Latexmk: References changed. Latexmk: Log file says output to 'manual.pdf' Latexmk: List of undefined refs and citations: Citation `bird-meertens-98' on page 24 undefined on input line 2167 Citation `filliatre-conchon-06' on page 14 undefined on input line 1309 Citation `iterators' on page 15 undefined on input line 1387 Citation `milewski-13' on page 14 undefined on input line 1224 Citation `ocaml7465' on page 18 undefined on input line 1603 Citation `okasaki-book-99' on page 23 undefined on input line 2154 Citation `okasaki-book-99' on page 24 undefined on input line 2166 Latexmk: Examining 'manual.log' === TeX engine is 'pdfTeX' Latexmk: Found bibliography file(s) [english.bib local.bib] Rule 'bibtex manual': File changes, etc: Changed files, or newly in use since previous run(s): 'manual.aux' ------------ Run number 2 of rule 'bibtex manual' ------------ ------------ Running 'bibtex "manual.aux"' ------------ Latexmk: applying rule 'bibtex manual'... This is BibTeX, Version 0.99d (TeX Live 2022/dev/Debian) The top-level auxiliary file: manual.aux The style file: plain.bst Database file #1: english.bib Database file #2: local.bib Rule 'pdflatex': File changes, etc: Changed files, or newly in use since previous run(s): 'manual.aux' 'manual.toc' ------------ Run number 3 of rule 'pdflatex' ------------ ------------ Running 'pdflatex -recorder "manual.tex"' ------------ Latexmk: applying rule 'pdflatex'... This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2022/dev/Debian) (preloaded format=pdflatex) restricted \write18 enabled. entering extended mode (./manual.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2021-11-22> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo)) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty) (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty))) (/usr/share/texmf/tex/latex/lm/lmodern.sty) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd)) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty) (/usr/share/texlive/texmf-dist/tex/latex/enumitem/enumitem.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdftexcmds/pdftexcmds.sty (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty)) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref-langpatches.def) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def) (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty) (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty)) (/usr/share/texlive/texmf-dist/tex/latex/base/atbegshi-ltx.sty)) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def (/usr/share/texlive/texmf-dist/tex/latex/base/atveryend-ltx.sty) (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty))) (/usr/share/texlive/texmf-dist/tex/latex/marginnote/marginnote.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg)) (./listings-ocaml.tex) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang1.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstlang2.sty) (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty) (/usr/share/texlive/texmf-dist/tex/latex/moreverb/moreverb.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty)) (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg) (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def)) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/mdframed.sty (/usr/share/texlive/texmf-dist/tex/latex/l3packages/xparse/xparse.sty (/usr/share/texlive/texmf-dist/tex/latex/l3kernel/expl3.sty (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def))) (/usr/share/texlive/texmf-dist/tex/latex/etoolbox/etoolbox.sty) (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-abspage.sty (/usr/share/texlive/texmf-dist/tex/latex/zref/zref-base.sty)) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty) (/usr/share/texlive/texmf-dist/tex/latex/mdframed/md-frame-0.mdf)) (/usr/share/texlive/texmf-dist/tex/latex/tools/xspace.sty) (./macros.tex) (./version.tex) (./manual.aux) *geometry* driver: auto-detecting *geometry* detected driver: pdftex (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty)) (./manual.out) (./manual.out) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] ) (/usr/share/texmf/tex/latex/lm/ot1lmr.fd) (/usr/share/texmf/tex/latex/lm/omllmm.fd) (/usr/share/texmf/tex/latex/lm/omslmsy.fd) (/usr/share/texmf/tex/latex/lm/omxlmex.fd) (/usr/share/texmf/tex/latex/lm/t1lmtt.fd) [1{/var/lib/texmf/fonts/map/pdftex/up dmap/pdftex.map}] (./manual.toc) [2] [3] (../test/expr00.ml) (../test/expr00.processed.ml) (../test/expr04.ml consecutive: ) [4] (./types.tex) [5] (../test/expr01.ml) (../test/expr01.processed.ml) [6] (../test/expr00endo.ml) (../test/expr00endo.processed.ml) (../test/expr15.ml) (../test/expr15.processed.ml) (../test/expr15b.ml consecutive: ) [7] (../test/expr_info_mapreduce.ml) (../test/expr_info_mapreduce.processed.ml) (../test/expr_info_mapreduce_use.ml consecutive: ) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd) (../test/expr00fold.ml) (../test/expr00fold.processed.ml) (../test/fold.ml) [8] (../test/expr02.ml) (../test/expr02.processed.ml) (../test/expr05.ml consecutive: ) (../test/expr05lexico.ml consecutive: ) [9] (../test/expr06.ml) [10] (../test/expr_info.ml) (../test/expr_info.processed.ml) (../test/expr_info_use.ml consecutive: ) (../test/expr_info_polymorphic.ml) (../test/expr_info_polymorphic.processed.ml) (../test/expr_info_polymorphic_use.ml consecutive: ) [11] (../test/expr11.ml) (../test/expr11.processed.ml) (./convention.tex) [12] (../test/expr_redef.ml) (../test/ppx_import/expr_import.ml) (../test/ppx_import/expr_import_opaque.ml) (../test/expr12.ml) (../test/expr12.processed.ml) Underfull \vbox (badness 3386) has occurred while \output is active [13] (../test/expr13.ml consecutive: ) (../test/expr08.ml consecutive: ) (../test/expr13double.ml consecutive: ) (../test/expr08double.ml consecutive: ) (../test/expr14.ml consecutive: ) [14] (../test/OOinfer.ml) (../test/OOinfervirtual.ml) [15] (./OOinfererror.ml ) (../test/OOinferfixed.ml) (./OOinfererroragain.ml) [16] (../test/OOinferfixedagain.ml) (../test/OOinferfixedagaincheck.ml) [17] (../test/OOinferself.ml) [18] (../test/polyclass.ml) (../test/map_from_fold.ml) (../test/map_from_fold.mli) [19] Overfull \hbox (2.43005pt too wide) in paragraph at lines 1810--1891 [][] Underfull \vbox (badness 3635) has occurred while \output is active [20] [21] [22] [23] [24] (../test/point.mli) (./manual.bbl Underfull \vbox (badness 1902) has occurred while \output is active [25]) [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] (./manual.aux) ) (see the transcript file for additional information){/usr/share/texmf/fonts/enc /dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-ec.enc}{/usr/sh are/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on manual.pdf (35 pages, 289753 bytes). Transcript written on manual.log. Latexmk: Found input bbl file 'manual.bbl' Latexmk: Log file says output to 'manual.pdf' Latexmk: Examining 'manual.log' === TeX engine is 'pdfTeX' Latexmk: Found bibliography file(s) [english.bib local.bib] Latexmk: All targets (manual.pdf) are up-to-date make[2]: Leaving directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608/doc' make[1]: Leaving directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608' dh: command-omitted: The call to "debian/rules override_dh_auto_test" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_prep -i debian/rules override_dh_auto_install make[1]: Entering directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608' # do nothing make[1]: Leaving directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608' debian/rules override_dh_install-indep make[1]: Entering directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608' dh_installdocs -i make[1]: Leaving directory '/build/ocaml-visitors-LFEd8x/ocaml-visitors-20210608' dh_ocamldoc -i dh_installdocs -i dh_installchangelogs -i dh_perl -i dh_link -i dh_strip_nondeterminism -i dh_compress -i dh_fixperms -i dh_missing -i dh_installdeb -i dh_ocaml -i dh_gencontrol -i dh_md5sums -i dh_builddeb -i dpkg-deb: building package 'libppx-visitors-ocaml-doc' in '../libppx-visitors-ocaml-doc_20210608-1_all.deb'. dpkg-genbuildinfo --build=all -O../ocaml-visitors_20210608-1_all.buildinfo dpkg-genchanges --build=all -O../ocaml-visitors_20210608-1_all.changes dpkg-genchanges: info: binary-only arch-indep upload (source code and arch-specific packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/ocaml-visitors-LFEd8x /tmp/ocaml-visitors-20210608-18mft02xp I: cleaning package lists and apt cache... I: removing tempdir /tmp/mmdebstrap.aKldAHSHJV... I: success in 793.9884 seconds md5: libppx-visitors-ocaml-doc_20210608-1_all.deb: OK sha1: libppx-visitors-ocaml-doc_20210608-1_all.deb: OK sha256: libppx-visitors-ocaml-doc_20210608-1_all.deb: OK Checksums: OK