Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/haskell-cryptol/haskell-cryptol_2.8.0-1_all.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/haskell-cryptol-2.8.0-1m9gfwp09/haskell-cryptol_2.8.0-1_all.buildinfo Get source package info: haskell-cryptol=2.8.0-1 Source URL: http://snapshot.notset.fr/mr/package/haskell-cryptol/2.8.0-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=alex=3.2.5-2 autoconf=2.69-11.1 automake=1:1.16.2-3 autopoint=0.19.8.1-10 autotools-dev=20180224.1 base-files=11 base-passwd=3.5.47 bash=5.0-6 binutils=2.34.90.20200706-1 binutils-common=2.34.90.20200706-1 binutils-x86-64-linux-gnu=2.34.90.20200706-1 bsdextrautils=2.35.2-7 bsdutils=1:2.35.2-7 build-essential=12.8 bzip2=1.0.8-3 cdbs=0.4.162 coreutils=8.32-2 cpp=4:9.2.1-3.1 cpp-9=9.3.0-14 dash=0.5.10.2-7 dctrl-tools=2.24-3+b1 debconf=1.5.74 debhelper=13.2 debianutils=4.11 dh-autoreconf=19 dh-buildinfo=0.11+nmu2 dh-strip-nondeterminism=1.8.1-2 diffutils=1:3.7-3 dpkg=1.20.5 dpkg-dev=1.20.5 dwz=0.13-5 file=1:5.38-5 findutils=4.7.0-1 fonts-mathjax=2.7.8+dfsg-1 g++=4:9.2.1-3.1 g++-9=9.3.0-14 gcc=4:9.2.1-3.1 gcc-10-base=10.1.0-4 gcc-9=9.3.0-14 gcc-9-base=9.3.0-14 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 ghc=8.8.3-1 ghc-doc=8.8.3-1 ghc-prof=8.8.3-1 grep=3.4-1 groff-base=1.22.4-5 gzip=1.10-2 happy=1.19.12-2 haskell-devscripts=0.16.0 haskell-devscripts-minimal=0.16.0 hostname=3.23 hscolour=1.24.4-3 html-xml-utils=7.7-1 init-system-helpers=1.58 intltool-debian=0.35.0+20060710.5 libacl1=2.2.53-8 libarchive-zip-perl=1.68-1 libasan5=9.3.0-14 libatomic1=10.1.0-4 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-3 libaudit1=1:2.8.5-3+b1 libbinutils=2.34.90.20200706-1 libblkid1=2.35.2-7 libbrotli1=1.0.7-6.1 libbsd-dev=0.10.0-1 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-3 libc-bin=2.30-8 libc-dev-bin=2.30-8 libc6=2.30-8 libc6-dev=2.30-8 libcap-ng0=0.7.9-2.2 libcc1-0=10.1.0-4 libcom-err2=1.45.6-1 libcroco3=0.6.13-1 libcrypt-dev=1:4.4.16-1 libcrypt1=1:4.4.16-1 libctf-nobfd0=2.34.90.20200706-1 libctf0=2.34.90.20200706-1 libcurl3-gnutls=7.68.0-1 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.253 libdebhelper-perl=13.2 libdpkg-perl=1.20.5 libelf1=0.176-1.1 libffi-dev=3.3-4 libffi7=3.3-4 libfile-stripnondeterminism-perl=1.8.1-2 libgcc-9-dev=9.3.0-14 libgcc-s1=10.1.0-4 libgcrypt20=1.8.5-5 libgdbm-compat4=1.18.1-5 libgdbm6=1.18.1-5 libghc-ansi-terminal-dev=0.10.3-1 libghc-async-dev=2.2.2-2 libghc-async-prof=2.2.2-2 libghc-base-compat-dev=0.11.1-1 libghc-base-compat-doc=0.11.1-1 libghc-base-compat-prof=0.11.1-1 libghc-base-orphans-dev=0.8.2-1 libghc-base-orphans-prof=0.8.2-1 libghc-blaze-builder-dev=0.4.1.0-4 libghc-blaze-builder-prof=0.4.1.0-4 libghc-blaze-html-dev=0.9.1.2-1 libghc-blaze-html-prof=0.9.1.2-1 libghc-blaze-markup-dev=0.8.2.5-1 libghc-blaze-markup-prof=0.8.2.5-1 libghc-colour-dev=2.3.5-2 libghc-cracknum-dev=2.3-2 libghc-cracknum-prof=2.3-2 libghc-cryptohash-sha1-dev=0.11.100.1-6 libghc-cryptohash-sha1-doc=0.11.100.1-6 libghc-cryptohash-sha1-prof=0.11.100.1-6 libghc-floatinghex-dev=0.4-4 libghc-floatinghex-prof=0.4-4 libghc-generic-deriving-dev=1.13.1-1 libghc-generic-deriving-prof=1.13.1-1 libghc-gitrev-dev=1.3.1-4 libghc-gitrev-doc=1.3.1-4 libghc-gitrev-prof=1.3.1-4 libghc-graphscc-dev=1.0.4-6 libghc-graphscc-doc=1.0.4-6 libghc-graphscc-prof=1.0.4-6 libghc-hashable-dev=1.3.0.0-2 libghc-hashable-prof=1.3.0.0-2 libghc-heredoc-dev=0.2.0.0-6 libghc-heredoc-doc=0.2.0.0-6 libghc-heredoc-prof=0.2.0.0-6 libghc-monad-control-dev=1.0.2.3-4 libghc-monad-control-doc=1.0.2.3-4 libghc-monad-control-prof=1.0.2.3-4 libghc-monadlib-dev=3.10-1 libghc-monadlib-doc=3.10-1 libghc-monadlib-prof=3.10-1 libghc-panic-dev=0.4.0.1-2 libghc-panic-doc=0.4.0.1-2 libghc-panic-prof=0.4.0.1-2 libghc-primitive-dev=0.7.0.1-1 libghc-primitive-prof=0.7.0.1-1 libghc-quickcheck2-dev=2.13.2-1 libghc-quickcheck2-prof=2.13.2-1 libghc-random-dev=1.1-12 libghc-random-doc=1.1-12 libghc-random-prof=1.1-12 libghc-sbv-dev=8.6-1 libghc-sbv-doc=8.6-1 libghc-sbv-prof=8.6-1 libghc-simple-smt-dev=0.9.4-1 libghc-simple-smt-doc=0.9.4-1 libghc-simple-smt-prof=0.9.4-1 libghc-splitmix-dev=0.0.4-3 libghc-splitmix-prof=0.0.4-3 libghc-strict-dev=0.3.2-16 libghc-strict-doc=0.3.2-16 libghc-strict-prof=0.3.2-16 libghc-syb-dev=0.7.1-2 libghc-syb-prof=0.7.1-2 libghc-tf-random-dev=0.5-10 libghc-tf-random-doc=0.5-10 libghc-tf-random-prof=0.5-10 libghc-th-abstraction-dev=0.3.2.0-1 libghc-th-abstraction-prof=0.3.2.0-1 libghc-transformers-base-dev=0.4.5.2-3 libghc-transformers-base-doc=0.4.5.2-3 libghc-transformers-base-prof=0.4.5.2-3 libghc-transformers-compat-dev=0.6.5-2 libghc-transformers-compat-prof=0.6.5-2 libglib2.0-0=2.64.4-1 libgmp-dev=2:6.2.0+dfsg-6 libgmp10=2:6.2.0+dfsg-6 libgmpxx4ldbl=2:6.2.0+dfsg-6 libgnutls30=3.6.14-2 libgomp1=10.1.0-4 libgpg-error0=1.38-2 libgssapi-krb5-2=1.17-10 libhogweed5=3.5.1+really3.5.1-2 libicu67=67.1-2 libidn2-0=2.3.0-1 libisl22=0.22.1-1 libitm1=10.1.0-4 libjs-mathjax=2.7.8+dfsg-1 libk5crypto3=1.17-10 libkeyutils1=1.6.1-2 libkrb5-3=1.17-10 libkrb5support0=1.17-10 libldap-2.4-2=2.4.50+dfsg-1 libldap-common=2.4.50+dfsg-1 liblsan0=10.1.0-4 liblz4-1=1.9.2-2 liblzma5=5.2.4-1+b1 libmagic-mgc=1:5.38-5 libmagic1=1:5.38-5 libmount1=2.35.2-7 libmpc3=1.1.0-1 libmpfr6=4.0.2-1 libncurses-dev=6.2-1 libncurses5-dev=6.2-1 libncurses6=6.2-1 libncursesw6=6.2-1 libnettle7=3.5.1+really3.5.1-2 libnghttp2-14=1.41.0-2 libp11-kit0=0.23.20-1 libpam-modules=1.3.1-5 libpam-modules-bin=1.3.1-5 libpam-runtime=1.3.1-5 libpam0g=1.3.1-5 libpcre2-8-0=10.34-7 libpcre3=2:8.39-13 libperl5.30=5.30.3-4 libpipeline1=1.5.2-2 libpsl5=0.21.0-1.1 libquadmath0=10.1.0-4 librtmp1=2.4+20151223.gitfa8646d.1-2+b1 libsasl2-2=2.1.27+dfsg-2 libsasl2-modules-db=2.1.27+dfsg-2 libseccomp2=2.4.3-1+b1 libselinux1=3.0-1+b3 libsigsegv2=2.12-2 libsmartcols1=2.35.2-7 libssh2-1=1.8.0-2.1 libssl1.1=1.1.1g-1 libstdc++-9-dev=9.3.0-14 libstdc++6=10.1.0-4 libsub-override-perl=0.09-2 libsystemd0=245.6-2 libtasn1-6=4.16.0-2 libtinfo6=6.2-1 libtool=2.4.6-14 libtsan0=10.1.0-4 libubsan1=10.1.0-4 libuchardet0=0.0.7-1 libudev1=245.6-2 libunistring2=0.9.10-4 libuuid1=2.35.2-7 libxml2=2.9.10+dfsg-5+b1 linux-libc-dev=5.7.6-1 login=1:4.8.1-1 lsb-base=11.1.0 m4=1.4.18-4 make=4.3-4 man-db=2.9.3-2 mawk=1.3.4.20200120-2 ncurses-base=6.2-1 ncurses-bin=6.2-1 patch=2.7.6-6 perl=5.30.3-4 perl-base=5.30.3-4 perl-modules-5.30=5.30.3-4 po-debconf=1.0.21 sed=4.7-1 sensible-utils=0.0.12+nmu1 sysvinit-utils=2.96-3 tar=1.30+dfsg-7 util-linux=2.35.2-7 xz-utils=5.2.4-1+b1 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/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20200711T085025Z/ 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 haskell-cryptol=2.8.0-1 && mkdir -p /build/haskell-cryptol-GqjHK6 && dpkg-source --no-check -x /*.dsc /build/haskell-cryptol-GqjHK6/haskell-cryptol-2.8.0 && chown -R builduser:builduser /build/haskell-cryptol-GqjHK6" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-cryptol-GqjHK6/haskell-cryptol-2.8.0 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1594419272" dpkg-buildpackage -uc -a amd64 --build=all" --customize-hook=sync-out /build/haskell-cryptol-GqjHK6 /tmp/haskell-cryptol-2.8.0-1m9gfwp09 bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20200711T085025Z unstable main I: automatically chosen mode: root I: chroot architecture amd64 is equal to the host's architecture I: automatically chosen format: tar I: using /tmp/mmdebstrap.xzqcHHOJ2e 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.xzqcHHOJ2e Reading package lists... Building dependency tree... util-linux is already the newest version (2.35.2-7). The following NEW packages will be installed: fakeroot libfakeroot 0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded. Need to get 132 kB of archives. After this operation, 393 kB of additional disk space will be used. Get:1 http://snapshot.notset.fr/archive/debian/20200711T085025Z unstable/main amd64 libfakeroot amd64 1.24-1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20200711T085025Z unstable/main amd64 fakeroot amd64 1.24-1 [85.9 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 132 kB in 0s (589 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 ... 4577 files and directories currently installed.) Preparing to unpack .../libfakeroot_1.24-1_amd64.deb ... Unpacking libfakeroot:amd64 (1.24-1) ... Selecting previously unselected package fakeroot. Preparing to unpack .../fakeroot_1.24-1_amd64.deb ... Unpacking fakeroot (1.24-1) ... Setting up libfakeroot:amd64 (1.24-1) ... Setting up fakeroot (1.24-1) ... update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode Processing triggers for libc-bin (2.30-8) ... 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/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20200711T085025Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.xzqcHHOJ2e Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Hit:2 http://snapshot.notset.fr/archive/debian/20200711T085025Z unstable InRelease Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Fetched 22.6 MB in 19s (1159 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.xzqcHHOJ2e I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d haskell-cryptol=2.8.0-1 && mkdir -p /build/haskell-cryptol-GqjHK6 && dpkg-source --no-check -x /*.dsc /build/haskell-cryptol-GqjHK6/haskell-cryptol-2.8.0 && chown -R builduser:builduser /build/haskell-cryptol-GqjHK6"' exec /tmp/mmdebstrap.xzqcHHOJ2e Reading package lists... NOTICE: 'haskell-cryptol' packaging is maintained in the 'Git' version control system at: https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol] Please use: git clone https://salsa.debian.org/haskell-team/DHG_packages.git [p/haskell-cryptol] to retrieve the latest (possibly unreleased) updates to the package. Need to get 338 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-cryptol 2.8.0-1 (dsc) [3547 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-cryptol 2.8.0-1 (tar) [330 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-cryptol 2.8.0-1 (diff) [4512 B] Fetched 338 kB in 0s (952 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'haskell-cryptol_2.8.0-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting haskell-cryptol in /build/haskell-cryptol-GqjHK6/haskell-cryptol-2.8.0 dpkg-source: info: unpacking haskell-cryptol_2.8.0.orig.tar.gz dpkg-source: info: unpacking haskell-cryptol_2.8.0-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying newer-deps I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-cryptol-GqjHK6/haskell-cryptol-2.8.0 && env DEB_BUILD_OPTIONS="parallel=4" LANG="C.UTF-8" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1594419272" dpkg-buildpackage -uc -a amd64 --build=all"' exec /tmp/mmdebstrap.xzqcHHOJ2e dpkg-buildpackage: info: source package haskell-cryptol dpkg-buildpackage: info: source version 2.8.0-1 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by Clint Adams dpkg-source --before-build . debian/rules clean test -x debian/rules dh_clean . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ clean_recipe Running rm -rf dist dist-ghc dist-ghcjs dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .\*config\* Running rm -f configure-ghc-stamp configure-ghcjs-stamp build-ghc-stamp build-ghcjs-stamp build-hugs-stamp build-haddock-stamp Running rm -rf debian/tmp-inst-ghc debian/tmp-inst-ghcjs Running rm -f debian/extra-depends-ghc debian/extra-depends-ghcjs Running rm -f debian/hlibrary.Makefile Running rm -rf debian/dh_haskell_shlibdeps Running rm -rf debian/tmp-db debian/rules binary-indep test -x debian/rules dh_testroot dh_prep dh_installdirs -A mkdir -p "." CDBS WARNING: DEB_DH_STRIP_ARGS is deprecated since 0.4.85 CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ make_setup_recipe Running ghc --make Setup.hs -o debian/hlibrary.setup [1 of 1] Compiling Main ( Setup.hs, Setup.o ) Linking debian/hlibrary.setup ... . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ configure_recipe Running debian/hlibrary.setup configure --ghc -v2 --package-db=/var/lib/ghc/package.conf.d --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib --libexecdir=/usr/lib --builddir=dist-ghc --ghc-option=-optl-Wl\,-z\,relro --haddockdir=/usr/lib/ghc-doc/haddock/cryptol-2.8.0/ --datasubdir=cryptol --htmldir=/usr/share/doc/libghc-cryptol-doc/html/ --enable-library-profiling Using Parsec parser Configuring cryptol-2.8.0... Flags chosen: relocatable=True, static=False Dependency GraphSCC >=1.0.4: using GraphSCC-1.0.4 Dependency array >=0.4: using array-0.5.4.0 Dependency base >=4.8 && <5: using base-4.13.0.0 Dependency base-compat >=0.6 && <0.12: using base-compat-0.11.1 Dependency bytestring >=0.10: using bytestring-0.10.10.0 Dependency containers >=0.5: using containers-0.6.2.1 Dependency cryptohash-sha1 ==0.11.*: using cryptohash-sha1-0.11.100.1 Dependency deepseq >=1.3: using deepseq-1.4.4.0 Dependency directory >=1.2.2.0: using directory-1.3.6.0 Dependency filepath >=1.3: using filepath-1.4.2.1 Dependency gitrev >=1.0: using gitrev-1.3.1 Dependency heredoc >=0.2: using heredoc-0.2.0.0 Dependency monad-control >=1.0: using monad-control-1.0.2.3 Dependency monadLib >=3.7.2: using monadLib-3.10 Dependency mtl >=2.2.1: using mtl-2.2.2 Dependency panic >=0.3: using panic-0.4.0.1 Dependency pretty >=1.1: using pretty-1.1.3.6 Dependency process >=1.2: using process-1.6.8.0 Dependency random >=1.0.1: using random-1.1 Dependency sbv >=8.1: using sbv-8.6 Dependency simple-smt >=0.7.1: using simple-smt-0.9.4 Dependency strict -any: using strict-0.3.2 Dependency text >=1.1: using text-1.2.4.0 Dependency tf-random >=0.5: using tf-random-0.5 Dependency time >=1.6.0.1: using time-1.9.3 Dependency transformers-base >=0.4: using transformers-base-0.4.5.2 Dependency ansi-terminal -any: using ansi-terminal-0.10.3 Dependency base -any: using base-4.13.0.0 Dependency base-compat -any: using base-compat-0.11.1 Dependency containers -any: using containers-0.6.2.1 Dependency cryptol -any: using cryptol-2.8.0 Dependency directory -any: using directory-1.3.6.0 Dependency filepath -any: using filepath-1.4.2.1 Dependency haskeline -any: using haskeline-0.7.5.0 Dependency monad-control -any: using monad-control-1.0.2.3 Dependency text -any: using text-1.2.4.0 Dependency transformers -any: using transformers-0.5.6.2 Dependency base -any: using base-4.13.0.0 Dependency blaze-html -any: using blaze-html-0.9.1.2 Dependency cryptol -any: using cryptol-2.8.0 Dependency text -any: using text-1.2.4.0 Source component graph: component lib component exe:cryptol dependency lib component exe:cryptol-html dependency lib Configured component graph: component cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u include GraphSCC-1.0.4-Lk1VL9u0FOmGbyfcSR5nIy include array-0.5.4.0 include base-4.13.0.0 include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2 include bytestring-0.10.10.0 include containers-0.6.2.1 include cryptohash-sha1-0.11.100.1-2S6mcJTUhq0L8J36MiY6Ry include deepseq-1.4.4.0 include directory-1.3.6.0 include filepath-1.4.2.1 include gitrev-1.3.1-9xc2mvA6hu5LA63NNYNNDI include heredoc-0.2.0.0-3JaZslz7erTJPvrWiBGHRr include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr include monadLib-3.10-vxb0fjs4p13Fu0YcCVv7A include mtl-2.2.2 include panic-0.4.0.1-JnDfSggyhcBBiMKRw1OtXD include pretty-1.1.3.6 include process-1.6.8.0 include random-1.1-CUqV1zxrwrE4K5XCdTZSYy include sbv-8.6-5LFzpcwNP9O6D9gqHorKOG include simple-smt-0.9.4-Jx1HMFT1SHD9UxnOQCWyMN include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU include text-1.2.4.0 include tf-random-0.5-9HF06zWGTuQIFpJn5Dfvt0 include time-1.9.3 include transformers-base-0.4.5.2-6aMo9wA8nOkVXDipFrPli component cryptol-2.8.0-hbq3i0v8A427bsEsWl31U-cryptol include ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L include base-4.13.0.0 include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2 include containers-0.6.2.1 include cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u include directory-1.3.6.0 include filepath-1.4.2.1 include haskeline-0.7.5.0 include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr include text-1.2.4.0 include transformers-0.5.6.2 component cryptol-2.8.0-FzMgDMQWP40JRtwBIGlDB2-cryptol-html include base-4.13.0.0 include blaze-html-0.9.1.2-3xUpdEjASHL4aokJiugtFX include cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u include text-1.2.4.0 Linked component graph: unit cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u include GraphSCC-1.0.4-Lk1VL9u0FOmGbyfcSR5nIy include array-0.5.4.0 include base-4.13.0.0 include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2 include bytestring-0.10.10.0 include containers-0.6.2.1 include cryptohash-sha1-0.11.100.1-2S6mcJTUhq0L8J36MiY6Ry include deepseq-1.4.4.0 include directory-1.3.6.0 include filepath-1.4.2.1 include gitrev-1.3.1-9xc2mvA6hu5LA63NNYNNDI include heredoc-0.2.0.0-3JaZslz7erTJPvrWiBGHRr include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr include monadLib-3.10-vxb0fjs4p13Fu0YcCVv7A include mtl-2.2.2 include panic-0.4.0.1-JnDfSggyhcBBiMKRw1OtXD include pretty-1.1.3.6 include process-1.6.8.0 include random-1.1-CUqV1zxrwrE4K5XCdTZSYy include sbv-8.6-5LFzpcwNP9O6D9gqHorKOG include simple-smt-0.9.4-Jx1HMFT1SHD9UxnOQCWyMN include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU include text-1.2.4.0 include tf-random-0.5-9HF06zWGTuQIFpJn5Dfvt0 include time-1.9.3 include transformers-base-0.4.5.2-6aMo9wA8nOkVXDipFrPli Cryptol.Eval=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Eval,Cryptol.Eval.Arch=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Eval.Arch,Cryptol.Eval.Env=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Eval.Env,Cryptol.Eval.Monad=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Eval.Monad,Cryptol.Eval.Reference=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Eval.Reference,Cryptol.Eval.Type=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Eval.Type,Cryptol.Eval.Value=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Eval.Value,Cryptol.IR.FreeVars=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.IR.FreeVars,Cryptol.ModuleSystem=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem,Cryptol.ModuleSystem.Base=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Base,Cryptol.ModuleSystem.Env=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Env,Cryptol.ModuleSystem.Exports=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Exports,Cryptol.ModuleSystem.Fingerprint=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Fingerprint,Cryptol.ModuleSystem.InstantiateModule=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.InstantiateModule,Cryptol.ModuleSystem.Interface=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Interface,Cryptol.ModuleSystem.Monad=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Monad,Cryptol.ModuleSystem.Name=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Name,Cryptol.ModuleSystem.NamingEnv=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.NamingEnv,Cryptol.ModuleSystem.Renamer=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.ModuleSystem.Renamer,Cryptol.Parser=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser,Cryptol.Parser.AST=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.AST,Cryptol.Parser.Fixity=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Fixity,Cryptol.Parser.Lexer=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Lexer,Cryptol.Parser.Name=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Name,Cryptol.Parser.Names=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Names,Cryptol.Parser.NoInclude=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.NoInclude,Cryptol.Parser.NoPat=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.NoPat,Cryptol.Parser.Position=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Position,Cryptol.Parser.Selector=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Selector,Cryptol.Parser.Unlit=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Unlit,Cryptol.Parser.Utils=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Parser.Utils,Cryptol.Prims.Eval=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Prims.Eval,Cryptol.REPL.Command=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.REPL.Command,Cryptol.REPL.Monad=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.REPL.Monad,Cryptol.REPL.Trie=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.REPL.Trie,Cryptol.Symbolic=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Symbolic,Cryptol.Symbolic.Prims=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Symbolic.Prims,Cryptol.Symbolic.Value=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Symbolic.Value,Cryptol.Testing.Concrete=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Testing.Concrete,Cryptol.Testing.Random=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Testing.Random,Cryptol.Transform.AddModParams=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Transform.AddModParams,Cryptol.Transform.MonoValues=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Transform.MonoValues,Cryptol.Transform.Specialize=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Transform.Specialize,Cryptol.TypeCheck=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck,Cryptol.TypeCheck.AST=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.AST,Cryptol.TypeCheck.CheckModuleInstance=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.CheckModuleInstance,Cryptol.TypeCheck.Default=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Default,Cryptol.TypeCheck.Depends=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Depends,Cryptol.TypeCheck.Error=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Error,Cryptol.TypeCheck.Infer=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Infer,Cryptol.TypeCheck.InferTypes=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.InferTypes,Cryptol.TypeCheck.Instantiate=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Instantiate,Cryptol.TypeCheck.Kind=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Kind,Cryptol.TypeCheck.Monad=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Monad,Cryptol.TypeCheck.PP=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.PP,Cryptol.TypeCheck.Parseable=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Parseable,Cryptol.TypeCheck.Sanity=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Sanity,Cryptol.TypeCheck.SimpType=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.SimpType,Cryptol.TypeCheck.SimpleSolver=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.SimpleSolver,Cryptol.TypeCheck.Solve=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solve,Cryptol.TypeCheck.Solver.Class=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Class,Cryptol.TypeCheck.Solver.Improve=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Improve,Cryptol.TypeCheck.Solver.InfNat=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.InfNat,Cryptol.TypeCheck.Solver.Numeric=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Numeric,Cryptol.TypeCheck.Solver.Numeric.Fin=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Numeric.Fin,Cryptol.TypeCheck.Solver.Numeric.Interval=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Numeric.Interval,Cryptol.TypeCheck.Solver.SMT=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.SMT,Cryptol.TypeCheck.Solver.Selector=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Selector,Cryptol.TypeCheck.Solver.Types=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Types,Cryptol.TypeCheck.Solver.Utils=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Solver.Utils,Cryptol.TypeCheck.Subst=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Subst,Cryptol.TypeCheck.TCon=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.TCon,Cryptol.TypeCheck.Type=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Type,Cryptol.TypeCheck.TypeMap=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.TypeMap,Cryptol.TypeCheck.TypeOf=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.TypeOf,Cryptol.TypeCheck.TypePat=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.TypePat,Cryptol.TypeCheck.Unify=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.TypeCheck.Unify,Cryptol.Utils.Debug=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Utils.Debug,Cryptol.Utils.Ident=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Utils.Ident,Cryptol.Utils.Logger=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Utils.Logger,Cryptol.Utils.Misc=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Utils.Misc,Cryptol.Utils.PP=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Utils.PP,Cryptol.Utils.Panic=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Utils.Panic,Cryptol.Utils.Patterns=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Utils.Patterns,Cryptol.Version=cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u:Cryptol.Version unit cryptol-2.8.0-hbq3i0v8A427bsEsWl31U-cryptol include ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L include base-4.13.0.0 include base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2 include containers-0.6.2.1 include cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u include directory-1.3.6.0 include filepath-1.4.2.1 include haskeline-0.7.5.0 include monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr include text-1.2.4.0 include transformers-0.5.6.2 unit cryptol-2.8.0-FzMgDMQWP40JRtwBIGlDB2-cryptol-html include base-4.13.0.0 include blaze-html-0.9.1.2-3xUpdEjASHL4aokJiugtFX include cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u include text-1.2.4.0 Ready component graph: definite cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u depends GraphSCC-1.0.4-Lk1VL9u0FOmGbyfcSR5nIy depends array-0.5.4.0 depends base-4.13.0.0 depends base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2 depends bytestring-0.10.10.0 depends containers-0.6.2.1 depends cryptohash-sha1-0.11.100.1-2S6mcJTUhq0L8J36MiY6Ry depends deepseq-1.4.4.0 depends directory-1.3.6.0 depends filepath-1.4.2.1 depends gitrev-1.3.1-9xc2mvA6hu5LA63NNYNNDI depends heredoc-0.2.0.0-3JaZslz7erTJPvrWiBGHRr depends monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr depends monadLib-3.10-vxb0fjs4p13Fu0YcCVv7A depends mtl-2.2.2 depends panic-0.4.0.1-JnDfSggyhcBBiMKRw1OtXD depends pretty-1.1.3.6 depends process-1.6.8.0 depends random-1.1-CUqV1zxrwrE4K5XCdTZSYy depends sbv-8.6-5LFzpcwNP9O6D9gqHorKOG depends simple-smt-0.9.4-Jx1HMFT1SHD9UxnOQCWyMN depends strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU depends text-1.2.4.0 depends tf-random-0.5-9HF06zWGTuQIFpJn5Dfvt0 depends time-1.9.3 depends transformers-base-0.4.5.2-6aMo9wA8nOkVXDipFrPli definite cryptol-2.8.0-hbq3i0v8A427bsEsWl31U-cryptol depends ansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L depends base-4.13.0.0 depends base-compat-0.11.1-4oueEGUxmwHC6tuHqQ6hE2 depends containers-0.6.2.1 depends cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u depends directory-1.3.6.0 depends filepath-1.4.2.1 depends haskeline-0.7.5.0 depends monad-control-1.0.2.3-BaKeLTRQvxQF9pwlw0Dkyr depends text-1.2.4.0 depends transformers-0.5.6.2 definite cryptol-2.8.0-FzMgDMQWP40JRtwBIGlDB2-cryptol-html depends base-4.13.0.0 depends blaze-html-0.9.1.2-3xUpdEjASHL4aokJiugtFX depends cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u depends text-1.2.4.0 Using Cabal-3.0.1.0 compiled by ghc-8.8 Using compiler: ghc-8.8.3 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3 Private executables installed in: /usr/lib/x86_64-linux-ghc-8.8.3/cryptol-2.8.0 Data files installed in: /usr/share/cryptol Documentation installed in: /usr/share/doc/x86_64-linux-ghc-8.8.3/cryptol-2.8.0 Configuration files installed in: /usr/etc Using alex version 3.2.5 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/x86_64-linux-gnu-ar No c2hs found No cpphs found No doctest found Using gcc version 9 found on system at: /usr/bin/x86_64-linux-gnu-gcc Using ghc version 8.8.3 found on system at: /usr/bin/ghc Using ghc-pkg version 8.8.3 found on system at: /usr/bin/ghc-pkg No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.23.0 found on system at: /usr/bin/haddock Using happy version 1.19.12 found on system at: /usr/bin/happy Using haskell-suite found on system at: haskell-suite-dummy-location Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location No hmake found Using hpc version 0.67 found on system at: /usr/bin/hpc Using hsc2hs version 0.68.5 found on system at: /usr/bin/hsc2hs Using hscolour version 1.24 found on system at: /usr/bin/HsColour No jhc found Using ld found on system at: /usr/bin/x86_64-linux-gnu-ld.gold No pkg-config found Using runghc version 8.8.3 found on system at: /usr/bin/runghc Using strip version 2.34 found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found touch configure-ghc-stamp . /usr/share/haskell-devscripts/Dh_Haskell.sh &&\ haddock_recipe Running debian/hlibrary.setup haddock --builddir=dist-ghc --with-haddock=/usr/bin/haddock --with-ghc=ghc --verbose=2 --html --hoogle --haddock-options=\"--mathjax=file:///usr/share/javascript/mathjax/MathJax.js\" --hyperlink-source /usr/bin/haddock --version /usr/bin/ghc --numeric-version /usr/bin/haddock --ghc-version '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' /usr/bin/ghc --print-libdir /usr/bin/ghc-pkg init dist-ghc/package.conf.inplace creating dist-ghc/build creating dist-ghc/build/autogen creating dist-ghc/build/autogen Preprocessing library for cryptol-2.8.0.. creating dist-ghc/build/Cryptol /usr/bin/happy -agc -o dist-ghc/build/Cryptol/Parser.hs src/Cryptol/Parser.y creating dist-ghc/build/Cryptol/Parser /usr/bin/alex -g -o dist-ghc/build/Cryptol/Parser/Lexer.hs src/Cryptol/Parser/Lexer.x Running Haddock on library for cryptol-2.8.0.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: FloatingHex-0.4, QuickCheck-2.13.2, array-0.5.4.0, async-2.2.2, base-4.13.0.0, base-orphans-0.8.2, binary-0.8.7.0, bytestring-0.10.10.0, containers-0.6.2.1, crackNum-2.3, deepseq-1.4.4.0, directory-1.3.6.0, filepath-1.4.2.1, generic-deriving-1.13.1, ghc-8.8.3, ghc-boot-8.8.3, ghc-boot-th-8.8.3, ghc-heap-8.8.3, ghc-prim-0.5.3, ghci-8.8.3, hashable-1.3.0.0, hpc-0.6.0.3, integer-gmp-1.0.2.0, mtl-2.2.2, pretty-1.1.3.6, primitive-0.7.0.1, process-1.6.8.0, splitmix-0.0.4, stm-2.5.0.0, syb-0.7.1, template-haskell-2.15.0.0, terminfo-0.4.1.4, text-1.2.4.0, th-abstraction-0.3.2.0, time-1.9.3, transformers-0.5.6.2, transformers-compat-0.6.5, unix-2.7.2.2 creating dist-ghc/doc/html/cryptol creating dist-ghc/doc/html creating dist-ghc/doc creating dist-ghc/doc/html creating dist-ghc/doc/html/cryptol /usr/bin/haddock '@dist-ghc/doc/html/cryptol/haddock-response3679241-3.txt' '--mathjax=file:///usr/share/javascript/mathjax/MathJax.js' Warning: --source-* options are ignored when --hyperlinked-source is enabled. src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports] The import of ‘System.IO.Error’ is redundant except perhaps to import instances from ‘System.IO.Error’ To import instances alone, use: import System.IO.Error() | 18 | import System.IO.Error (IOError) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Haddock coverage: 100% ( 2 / 2) in 'Cryptol.Eval.Arch' 75% ( 3 / 4) in 'Cryptol.ModuleSystem.Fingerprint' Missing documentation for: Fingerprint (src/Cryptol/ModuleSystem/Fingerprint.hs:22) 24% ( 6 / 25) in 'Cryptol.Utils.Ident' Missing documentation for: modNameToText (src/Cryptol/Utils/Ident.hs:55) textToModName (src/Cryptol/Utils/Ident.hs:58) modNameChunks (src/Cryptol/Utils/Ident.hs:61) packModName (src/Cryptol/Utils/Ident.hs:87) preludeName (src/Cryptol/Utils/Ident.hs:100) interactiveName (src/Cryptol/Utils/Ident.hs:103) noModuleName (src/Cryptol/Utils/Ident.hs:106) exprModName (src/Cryptol/Utils/Ident.hs:109) isParamInstModName (src/Cryptol/Utils/Ident.hs:69) notParamInstModName (src/Cryptol/Utils/Ident.hs:81) packIdent (src/Cryptol/Utils/Ident.hs:133) packInfix (src/Cryptol/Utils/Ident.hs:136) unpackIdent (src/Cryptol/Utils/Ident.hs:139) mkIdent (src/Cryptol/Utils/Ident.hs:142) mkInfix (src/Cryptol/Utils/Ident.hs:145) isInfixIdent (src/Cryptol/Utils/Ident.hs:148) nullIdent (src/Cryptol/Utils/Ident.hs:151) identText (src/Cryptol/Utils/Ident.hs:154) modParamIdent (src/Cryptol/Utils/Ident.hs:157) 100% ( 10 / 10) in 'Cryptol.Utils.Logger' 100% ( 3 / 3) in 'Cryptol.Utils.Misc' Warning: 'Outputable' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 23% ( 12 / 53) in 'Cryptol.Utils.PP' Missing documentation for: NameFormat (src/Cryptol/Utils/PP.hs:52) alwaysQualify (src/Cryptol/Utils/PP.hs:63) neverQualify (src/Cryptol/Utils/PP.hs:66) fmtModName (src/Cryptol/Utils/PP.hs:69) Doc (src/Cryptol/Utils/PP.hs:96) runDoc (src/Cryptol/Utils/PP.hs:105) render (src/Cryptol/Utils/PP.hs:114) renderOneLine (src/Cryptol/Utils/PP.hs:117) PP (src/Cryptol/Utils/PP.hs:120) PPName (src/Cryptol/Utils/PP.hs:123) pp (src/Cryptol/Utils/PP.hs:133) pretty (src/Cryptol/Utils/PP.hs:136) optParens (src/Cryptol/Utils/PP.hs:139) commaSep (src/Cryptol/Utils/PP.hs:157) liftPJ (src/Cryptol/Utils/PP.hs:201) liftPJ1 (src/Cryptol/Utils/PP.hs:204) liftPJ2 (src/Cryptol/Utils/PP.hs:207) liftSep (src/Cryptol/Utils/PP.hs:210) <.> (src/Cryptol/Utils/PP.hs:215) <+> (src/Cryptol/Utils/PP.hs:218) $$ (src/Cryptol/Utils/PP.hs:223) sep (src/Cryptol/Utils/PP.hs:226) fsep (src/Cryptol/Utils/PP.hs:229) hsep (src/Cryptol/Utils/PP.hs:232) hcat (src/Cryptol/Utils/PP.hs:235) vcat (src/Cryptol/Utils/PP.hs:238) hang (src/Cryptol/Utils/PP.hs:241) nest (src/Cryptol/Utils/PP.hs:244) parens (src/Cryptol/Utils/PP.hs:247) braces (src/Cryptol/Utils/PP.hs:250) brackets (src/Cryptol/Utils/PP.hs:253) quotes (src/Cryptol/Utils/PP.hs:256) backticks (src/Cryptol/Utils/PP.hs:259) punctuate (src/Cryptol/Utils/PP.hs:262) text (src/Cryptol/Utils/PP.hs:269) char (src/Cryptol/Utils/PP.hs:272) integer (src/Cryptol/Utils/PP.hs:275) int (src/Cryptol/Utils/PP.hs:278) comma (src/Cryptol/Utils/PP.hs:281) empty (src/Cryptol/Utils/PP.hs:284) colon (src/Cryptol/Utils/PP.hs:287) 33% ( 1 / 3) in 'Cryptol.Utils.Debug' Missing documentation for: trace (src/Cryptol/Utils/Debug.hs:14) ppTrace (src/Cryptol/Utils/Debug.hs:17) 44% ( 4 / 9) in 'Cryptol.TypeCheck.PP' Missing documentation for: NameMap (src/Cryptol/TypeCheck/PP.hs:26) emptyNameMap (src/Cryptol/TypeCheck/PP.hs:28) ppWithNamesPrec (src/Cryptol/TypeCheck/PP.hs:35) ppWithNames (src/Cryptol/TypeCheck/PP.hs:38) dump (src/Cryptol/TypeCheck/PP.hs:41) 100% ( 5 / 5) in 'Cryptol.Parser.Selector' 14% ( 2 / 14) in 'Cryptol.Parser.Position' Missing documentation for: Located (src/Cryptol/Parser/Position.hs:24) Position (src/Cryptol/Parser/Position.hs:28) Range (src/Cryptol/Parser/Position.hs:31) start (src/Cryptol/Parser/Position.hs:43) move (src/Cryptol/Parser/Position.hs:46) moves (src/Cryptol/Parser/Position.hs:52) rComb (src/Cryptol/Parser/Position.hs:55) rCombs (src/Cryptol/Parser/Position.hs:60) HasLoc (src/Cryptol/Parser/Position.hs:85) AddLoc (src/Cryptol/Parser/Position.hs:111) at (src/Cryptol/Parser/Position.hs:119) combLoc (src/Cryptol/Parser/Position.hs:122) 40% ( 2 / 5) in 'Cryptol.Parser.Fixity' Missing documentation for: Fixity (src/Cryptol/Parser/Fixity.hs:25) FixityCmp (src/Cryptol/Parser/Fixity.hs:29) compareFixity (src/Cryptol/Parser/Fixity.hs:34) Warning: Couldn't find .haddock for export HasCallStack 33% ( 2 / 6) in 'Cryptol.Utils.Panic' Missing documentation for: HasCallStack CryptolPanic (src/Cryptol/Utils/Panic.hs:18) Cryptol (src/Cryptol/Utils/Panic.hs:16) panic (src/Cryptol/Utils/Panic.hs:20) 75% ( 15 / 20) in 'Cryptol.TypeCheck.Solver.InfNat' Missing documentation for: fromNat (src/Cryptol/TypeCheck/Solver/InfNat.hs:28) nAdd (src/Cryptol/TypeCheck/Solver/InfNat.hs:40) nMin (src/Cryptol/TypeCheck/Solver/InfNat.hs:78) nMax (src/Cryptol/TypeCheck/Solver/InfNat.hs:83) nMod (src/Cryptol/TypeCheck/Solver/InfNat.hs:118) 86% ( 6 / 7) in 'Cryptol.REPL.Trie' Missing documentation for: emptyTrie (src/Cryptol/REPL/Trie.hs:20) 20% ( 1 / 5) in 'Cryptol.Parser.Unlit' Missing documentation for: unLit (src/Cryptol/Parser/Unlit.hs:40) PreProc (src/Cryptol/Parser/Unlit.hs:23) guessPreProc (src/Cryptol/Parser/Unlit.hs:33) knownExts (src/Cryptol/Parser/Unlit.hs:25) 38% ( 3 / 8) in 'Cryptol.Parser.Name' Missing documentation for: mkUnqual (src/Cryptol/Parser/Name.hs:40) mkQual (src/Cryptol/Parser/Name.hs:43) getModName (src/Cryptol/Parser/Name.hs:46) getIdent (src/Cryptol/Parser/Name.hs:50) isGeneratedName (src/Cryptol/Parser/Name.hs:59) Warning: 'Name' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'QName' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'a' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 46% ( 33 / 72) in 'Cryptol.Parser.AST' Missing documentation for: mkIdent (src/Cryptol/Utils/Ident.hs:142) mkInfix (src/Cryptol/Utils/Ident.hs:145) isInfixIdent (src/Cryptol/Utils/Ident.hs:148) nullIdent (src/Cryptol/Utils/Ident.hs:151) identText (src/Cryptol/Utils/Ident.hs:154) modRange (src/Cryptol/Parser/AST.hs:124) getModName (src/Cryptol/Parser/Name.hs:46) getIdent (src/Cryptol/Parser/Name.hs:50) mkUnqual (src/Cryptol/Parser/Name.hs:40) mkQual (src/Cryptol/Parser/Name.hs:43) Named (src/Cryptol/Parser/AST.hs:342) Schema (src/Cryptol/Parser/AST.hs:345) TParam (src/Cryptol/Parser/AST.hs:351) Kind (src/Cryptol/Parser/AST.hs:348) Type (src/Cryptol/Parser/AST.hs:357) tsName (src/Cryptol/Parser/AST.hs:196) psName (src/Cryptol/Parser/AST.hs:199) tsFixity (src/Cryptol/Parser/AST.hs:202) psFixity (src/Cryptol/Parser/AST.hs:205) Program (src/Cryptol/Parser/AST.hs:111) TopDecl (src/Cryptol/Parser/AST.hs:133) Decl (src/Cryptol/Parser/AST.hs:144) Fixity (src/Cryptol/Parser/Fixity.hs:25) FixityCmp (src/Cryptol/Parser/Fixity.hs:29) compareFixity (src/Cryptol/Parser/Fixity.hs:34) TySyn (src/Cryptol/Parser/AST.hs:189) PropSyn (src/Cryptol/Parser/AST.hs:193) BindDef (src/Cryptol/Parser/AST.hs:234) LBindDef (src/Cryptol/Parser/AST.hs:232) Pragma (src/Cryptol/Parser/AST.hs:238) Newtype (src/Cryptol/Parser/AST.hs:242) Expr (src/Cryptol/Parser/AST.hs:289) Match (src/Cryptol/Parser/AST.hs:328) Pattern (src/Cryptol/Parser/AST.hs:332) TypeInst (src/Cryptol/Parser/AST.hs:324) UpdField (src/Cryptol/Parser/AST.hs:317) UpdHow (src/Cryptol/Parser/AST.hs:321) Located (src/Cryptol/Parser/Position.hs:24) NoPos (src/Cryptol/Parser/AST.hs:841) 33% ( 1 / 3) in 'Cryptol.Parser.Utils' Missing documentation for: translateExprToNumT (src/Cryptol/Parser/Utils.hs:28) widthIdent (src/Cryptol/Parser/Utils.hs:22) 82% ( 23 / 28) in 'Cryptol.Parser.Names' Missing documentation for: namesDef (src/Cryptol/Parser/Names.hs:65) namesUF (src/Cryptol/Parser/Names.hs:104) tnamesDef (src/Cryptol/Parser/Names.hs:182) tnamesUF (src/Cryptol/Parser/Names.hs:221) tnamesTI (src/Cryptol/Parser/Names.hs:224) 33% ( 1 / 3) in 'Cryptol.Parser.NoPat' Missing documentation for: RemovePatterns (src/Cryptol/Parser/NoPat.hs:38) Error (src/Cryptol/Parser/NoPat.hs:533) 57% ( 4 / 7) in 'Cryptol.ModuleSystem.Exports' Missing documentation for: Module header modExports (src/Cryptol/ModuleSystem/Exports.hs:13) ExportSpec (src/Cryptol/ModuleSystem/Exports.hs:29) 29% ( 4 / 14) in 'Cryptol.Parser.Lexer' Missing documentation for: Layout (src/Cryptol/Parser/LexerUtils.hs:242) Token (src/Cryptol/Parser/LexerUtils.hs:356) TokenT (src/Cryptol/Parser/LexerUtils.hs:433) TokenKW (src/Cryptol/Parser/LexerUtils.hs:366) TokenErr (src/Cryptol/Parser/LexerUtils.hs:425) TokenSym (src/Cryptol/Parser/LexerUtils.hs:407) TokenW (src/Cryptol/Parser/LexerUtils.hs:363) Located (src/Cryptol/Parser/Position.hs:24) Config (src/Cryptol/Parser/LexerUtils.hs:29) defaultConfig (src/Cryptol/Parser/LexerUtils.hs:39) 53% ( 17 / 32) in 'Cryptol.ModuleSystem.Name' Missing documentation for: Name (src/Cryptol/ModuleSystem/Name.hs:80) NameSource (src/Cryptol/ModuleSystem/Name.hs:101) nameUnique (src/Cryptol/ModuleSystem/Name.hs:205) nameIdent (src/Cryptol/ModuleSystem/Name.hs:208) nameInfo (src/Cryptol/ModuleSystem/Name.hs:211) nameLoc (src/Cryptol/ModuleSystem/Name.hs:214) nameFixity (src/Cryptol/ModuleSystem/Name.hs:217) asPrim (src/Cryptol/ModuleSystem/Name.hs:221) toParamInstName (src/Cryptol/ModuleSystem/Name.hs:227) asParamName (src/Cryptol/ModuleSystem/Name.hs:233) paramModRecParam (src/Cryptol/ModuleSystem/Name.hs:339) FreshM (src/Cryptol/ModuleSystem/Name.hs:239) runSupplyT (src/Cryptol/ModuleSystem/Name.hs:264) Supply (src/Cryptol/ModuleSystem/Name.hs:304) nextUnique (src/Cryptol/ModuleSystem/Name.hs:317) Warning: 'primTys' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 55% ( 6 / 11) in 'Cryptol.TypeCheck.TCon' Missing documentation for: Module header builtInType (src/Cryptol/TypeCheck/TCon.hs:40) HasKind (src/Cryptol/TypeCheck/TCon.hs:98) UserTC (src/Cryptol/TypeCheck/TCon.hs:201) TCErrorMessage (src/Cryptol/TypeCheck/TCon.hs:213) Warning: 't' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'Has' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 18% ( 20 /110) in 'Cryptol.TypeCheck.Type' Missing documentation for: Module header FVS (src/Cryptol/TypeCheck/Type.hs:644) TVarSource (src/Cryptol/TypeCheck/Type.hs:133) TVarInfo (src/Cryptol/TypeCheck/Type.hs:127) TPFlavor (src/Cryptol/TypeCheck/Type.hs:50) tMono (src/Cryptol/TypeCheck/Type.hs:54) isMono (src/Cryptol/TypeCheck/Type.hs:57) schemaParam (src/Cryptol/TypeCheck/Type.hs:65) tySynParam (src/Cryptol/TypeCheck/Type.hs:68) propSynParam (src/Cryptol/TypeCheck/Type.hs:71) newtypeParam (src/Cryptol/TypeCheck/Type.hs:74) modTyParam (src/Cryptol/TypeCheck/Type.hs:77) tpfName (src/Cryptol/TypeCheck/Type.hs:81) tpName (src/Cryptol/TypeCheck/Type.hs:87) tvInfo (src/Cryptol/TypeCheck/Type.hs:121) quickApply (src/Cryptol/TypeCheck/Type.hs:225) kindResult (src/Cryptol/TypeCheck/Type.hs:231) tpVar (src/Cryptol/TypeCheck/Type.hs:275) newtypeConType (src/Cryptol/TypeCheck/Type.hs:283) abstractTypeTC (src/Cryptol/TypeCheck/Type.hs:291) isFreeTV (src/Cryptol/TypeCheck/Type.hs:312) isBoundTV (src/Cryptol/TypeCheck/Type.hs:316) tIsError (src/Cryptol/TypeCheck/Type.hs:321) tIsNat' (src/Cryptol/TypeCheck/Type.hs:326) tIsNum (src/Cryptol/TypeCheck/Type.hs:333) tIsInf (src/Cryptol/TypeCheck/Type.hs:337) tIsVar (src/Cryptol/TypeCheck/Type.hs:340) tIsFun (src/Cryptol/TypeCheck/Type.hs:345) tIsSeq (src/Cryptol/TypeCheck/Type.hs:350) tIsBit (src/Cryptol/TypeCheck/Type.hs:355) tIsInteger (src/Cryptol/TypeCheck/Type.hs:360) tIsIntMod (src/Cryptol/TypeCheck/Type.hs:365) tIsTuple (src/Cryptol/TypeCheck/Type.hs:370) tIsRec (src/Cryptol/TypeCheck/Type.hs:375) tIsBinFun (src/Cryptol/TypeCheck/Type.hs:380) pIsFin (src/Cryptol/TypeCheck/Type.hs:393) pIsGeq (src/Cryptol/TypeCheck/Type.hs:398) pIsEq (src/Cryptol/TypeCheck/Type.hs:403) pIsZero (src/Cryptol/TypeCheck/Type.hs:408) pIsLogic (src/Cryptol/TypeCheck/Type.hs:413) pIsArith (src/Cryptol/TypeCheck/Type.hs:418) pIsCmp (src/Cryptol/TypeCheck/Type.hs:423) pIsSignedCmp (src/Cryptol/TypeCheck/Type.hs:428) pIsLiteral (src/Cryptol/TypeCheck/Type.hs:433) pIsTrue (src/Cryptol/TypeCheck/Type.hs:438) pIsWidth (src/Cryptol/TypeCheck/Type.hs:443) tNum (src/Cryptol/TypeCheck/Type.hs:451) tZero (src/Cryptol/TypeCheck/Type.hs:454) tOne (src/Cryptol/TypeCheck/Type.hs:457) tTwo (src/Cryptol/TypeCheck/Type.hs:460) tInf (src/Cryptol/TypeCheck/Type.hs:463) tNat' (src/Cryptol/TypeCheck/Type.hs:466) tAbstract (src/Cryptol/TypeCheck/Type.hs:471) tBit (src/Cryptol/TypeCheck/Type.hs:474) tInteger (src/Cryptol/TypeCheck/Type.hs:477) tIntMod (src/Cryptol/TypeCheck/Type.hs:480) tWord (src/Cryptol/TypeCheck/Type.hs:483) tSeq (src/Cryptol/TypeCheck/Type.hs:486) tChar (src/Cryptol/TypeCheck/Type.hs:489) tString (src/Cryptol/TypeCheck/Type.hs:492) tRec (src/Cryptol/TypeCheck/Type.hs:495) tTuple (src/Cryptol/TypeCheck/Type.hs:498) newtypeTyCon (src/Cryptol/TypeCheck/Type.hs:501) tf1 (src/Cryptol/TypeCheck/Type.hs:527) tf2 (src/Cryptol/TypeCheck/Type.hs:530) tf3 (src/Cryptol/TypeCheck/Type.hs:533) tSub (src/Cryptol/TypeCheck/Type.hs:536) tMul (src/Cryptol/TypeCheck/Type.hs:539) tDiv (src/Cryptol/TypeCheck/Type.hs:542) tMod (src/Cryptol/TypeCheck/Type.hs:545) tExp (src/Cryptol/TypeCheck/Type.hs:548) tMin (src/Cryptol/TypeCheck/Type.hs:551) tCeilDiv (src/Cryptol/TypeCheck/Type.hs:554) tCeilMod (src/Cryptol/TypeCheck/Type.hs:557) tLenFromThenTo (src/Cryptol/TypeCheck/Type.hs:560) =/= (src/Cryptol/TypeCheck/Type.hs:575) pZero (src/Cryptol/TypeCheck/Type.hs:578) pLogic (src/Cryptol/TypeCheck/Type.hs:581) pArith (src/Cryptol/TypeCheck/Type.hs:584) pCmp (src/Cryptol/TypeCheck/Type.hs:587) pSignedCmp (src/Cryptol/TypeCheck/Type.hs:590) pLiteral (src/Cryptol/TypeCheck/Type.hs:593) pTrue (src/Cryptol/TypeCheck/Type.hs:604) pAnd (src/Cryptol/TypeCheck/Type.hs:607) pSplitAnd (src/Cryptol/TypeCheck/Type.hs:618) pFin (src/Cryptol/TypeCheck/Type.hs:628) noFreeVariables (src/Cryptol/TypeCheck/Type.hs:641) addTNames (src/Cryptol/TypeCheck/Type.hs:684) ppNewtypeShort (src/Cryptol/TypeCheck/Type.hs:701) pickTVarName (src/Cryptol/TypeCheck/Type.hs:844) Warning: 'p' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 45% ( 17 / 38) in 'Cryptol.TypeCheck.AST' Missing documentation for: DeclDef (src/Cryptol/TypeCheck/AST.hs:172) Decl (src/Cryptol/TypeCheck/AST.hs:163) DeclGroup (src/Cryptol/TypeCheck/AST.hs:153) Match (src/Cryptol/TypeCheck/AST.hs:147) Expr (src/Cryptol/TypeCheck/AST.hs:104) mtpParam (src/Cryptol/TypeCheck/AST.hs:85) groupDecls (src/Cryptol/TypeCheck/AST.hs:157) eString (src/Cryptol/TypeCheck/AST.hs:190) eChar (src/Cryptol/TypeCheck/AST.hs:193) ppLam (src/Cryptol/TypeCheck/AST.hs:264) splitWhile (src/Cryptol/TypeCheck/AST.hs:283) splitAbs (src/Cryptol/TypeCheck/AST.hs:289) splitTAbs (src/Cryptol/TypeCheck/AST.hs:293) splitProofAbs (src/Cryptol/TypeCheck/AST.hs:297) splitTApp (src/Cryptol/TypeCheck/AST.hs:301) splitProofApp (src/Cryptol/TypeCheck/AST.hs:305) Name (src/Cryptol/ModuleSystem/Name.hs:80) ExportSpec (src/Cryptol/ModuleSystem/Exports.hs:29) Pragma (src/Cryptol/Parser/AST.hs:238) Fixity (src/Cryptol/Parser/Fixity.hs:25) TCErrorMessage (src/Cryptol/TypeCheck/TCon.hs:213) 9% ( 1 / 11) in 'Cryptol.TypeCheck.TypeMap' Missing documentation for: TypeMap (src/Cryptol/TypeCheck/TypeMap.hs:117) TypesMap (src/Cryptol/TypeCheck/TypeMap.hs:115) TrieMap (src/Cryptol/TypeCheck/TypeMap.hs:33) insertTM (src/Cryptol/TypeCheck/TypeMap.hs:46) insertWithTM (src/Cryptol/TypeCheck/TypeMap.hs:49) membersTM (src/Cryptol/TypeCheck/TypeMap.hs:43) mapTM (src/Cryptol/TypeCheck/TypeMap.hs:55) mapWithKeyTM (src/Cryptol/TypeCheck/TypeMap.hs:59) mapMaybeTM (src/Cryptol/TypeCheck/TypeMap.hs:63) List (src/Cryptol/TypeCheck/TypeMap.hs:66) 30% ( 9 / 30) in 'Cryptol.TypeCheck.Solver.Numeric.Interval' Missing documentation for: tvarInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:57) IntervalUpdate (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:61) updateInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:66) computePropIntervals (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:78) Interval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:146) ppIntervals (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:153) ppInterval (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:158) iIsExact (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:168) iIsFin (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:171) iAdd (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:231) iMul (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:244) iExp (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:258) iMin (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:278) iMax (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:289) iSub (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:300) iDiv (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:317) iMod (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:333) iCeilDiv (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:341) iCeilMod (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:357) iWidth (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:360) iLenFromThenTo (src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs:367) 0% ( 0 / 7) in 'Cryptol.TypeCheck.Solver.Types' Missing documentation for: Module header Ctxt (src/Cryptol/TypeCheck/Solver/Types.hs:9) Solved (src/Cryptol/TypeCheck/Solver/Types.hs:11) elseTry (src/Cryptol/TypeCheck/Solver/Types.hs:17) solveOpts (src/Cryptol/TypeCheck/Solver/Types.hs:21) matchThen (src/Cryptol/TypeCheck/Solver/Types.hs:25) guarded (src/Cryptol/TypeCheck/Solver/Types.hs:29) Warning: 'fin' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 33% ( 1 / 3) in 'Cryptol.TypeCheck.Solver.Numeric.Fin' Missing documentation for: cryIsFin (src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs:23) cryIsFinType (src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs:29) 25% ( 1 / 4) in 'Cryptol.TypeCheck.Parseable' Missing documentation for: ShowParseable (src/Cryptol/TypeCheck/Parseable.hs:29) maybeNameDoc (src/Cryptol/TypeCheck/Parseable.hs:108) ShowParseable (src/Cryptol/TypeCheck/Parseable.hs:29) 33% ( 2 / 6) in 'Cryptol.IR.FreeVars' Missing documentation for: Module header FreeVars (src/Cryptol/IR/FreeVars.hs:74) Deps (src/Cryptol/IR/FreeVars.hs:15) Defs (src/Cryptol/IR/FreeVars.hs:162) Warning: 'fibs' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'a' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 2 / 2) in 'Cryptol.Transform.MonoValues' 50% ( 1 / 2) in 'Cryptol.Transform.AddModParams' Missing documentation for: addModParams (src/Cryptol/Transform/AddModParams.hs:45) 33% ( 4 / 12) in 'Cryptol.ModuleSystem.Interface' Missing documentation for: IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:63) IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:88) ifTySynName (src/Cryptol/ModuleSystem/Interface.hs:90) IfaceNewtype (src/Cryptol/ModuleSystem/Interface.hs:93) IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:96) mkIfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:105) IfaceParams (src/Cryptol/ModuleSystem/Interface.hs:50) noIfaceParams (src/Cryptol/ModuleSystem/Interface.hs:56) 67% ( 16 / 24) in 'Cryptol.ModuleSystem.NamingEnv' Missing documentation for: NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:47) filterNames (src/Cryptol/ModuleSystem/NamingEnv.hs:148) travNamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:172) InModule (src/Cryptol/ModuleSystem/NamingEnv.hs:179) newTop (src/Cryptol/ModuleSystem/NamingEnv.hs:187) newLocal (src/Cryptol/ModuleSystem/NamingEnv.hs:191) BuildNamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:194) ImportIface (src/Cryptol/ModuleSystem/NamingEnv.hs:292) Warning: 'loc' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 38% ( 6 / 16) in 'Cryptol.ModuleSystem.Renamer' Missing documentation for: NamingEnv (src/Cryptol/ModuleSystem/NamingEnv.hs:47) InModule (src/Cryptol/ModuleSystem/NamingEnv.hs:179) Rename (src/Cryptol/ModuleSystem/Renamer.hs:385) runRenamer (src/Cryptol/ModuleSystem/Renamer.hs:241) RenameM (src/Cryptol/ModuleSystem/Renamer.hs:200) RenamerError (src/Cryptol/ModuleSystem/Renamer.hs:58) RenamerWarning (src/Cryptol/ModuleSystem/Renamer.hs:157) renameVar (src/Cryptol/ModuleSystem/Renamer.hs:466) renameType (src/Cryptol/ModuleSystem/Renamer.hs:506) renameModule (src/Cryptol/ModuleSystem/Renamer.hs:388) Warning: 'retry' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 96% ( 23 / 24) in 'Cryptol.Eval.Monad' Missing documentation for: cryNoPrimError (src/Cryptol/Eval/Monad.hs:253) 91% ( 10 / 11) in 'Cryptol.Eval.Type' Missing documentation for: TypeEnv (src/Cryptol/Eval/Type.hs:87) Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'w' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'i' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 72% ( 53 / 74) in 'Cryptol.Eval.Value' Missing documentation for: bvVal (src/Cryptol/Eval/Value.hs:69) lookupSeqMap (src/Cryptol/Eval/Value.hs:83) SeqValMap (src/Cryptol/Eval/Value.hs:90) updateSeqMap (src/Cryptol/Eval/Value.hs:123) checkedSeqIndex (src/Cryptol/Eval/Value.hs:237) checkedIndex (src/Cryptol/Eval/Value.hs:243) Value (src/Cryptol/Eval/Value.hs:330) defaultPPOpts (src/Cryptol/Eval/Value.hs:335) atFst (src/Cryptol/Eval/Value.hs:338) atSnd (src/Cryptol/Eval/Value.hs:341) ppValue (src/Cryptol/Eval/Value.hs:344) asciiMode (src/Cryptol/Eval/Value.hs:389) integerToChar (src/Cryptol/Eval/Value.hs:392) ppBV (src/Cryptol/Eval/Value.hs:396) mask (src/Cryptol/Eval/Value.hs:558) lam (src/Cryptol/Eval/Value.hs:637) toFinSeq (src/Cryptol/Eval/Value.hs:657) fromStr (src/Cryptol/Eval/Value.hs:714) fromBit (src/Cryptol/Eval/Value.hs:719) fromWordVal (src/Cryptol/Eval/Value.hs:723) vWordLen (src/Cryptol/Eval/Value.hs:732) 60% ( 6 / 10) in 'Cryptol.Testing.Concrete' Missing documentation for: isPass (src/Cryptol/Testing/Concrete.hs:32) TestSpec (src/Cryptol/Testing/Concrete.hs:154) TestReport (src/Cryptol/Testing/Concrete.hs:165) runTests (src/Cryptol/Testing/Concrete.hs:172) 42% ( 16 / 38) in 'Cryptol.Symbolic.Value' Missing documentation for: SBool (src/Cryptol/Symbolic/Value.hs:56) SWord (src/Cryptol/Symbolic/Value.hs:57) SInteger (src/Cryptol/Symbolic/Value.hs:58) literalSWord (src/Cryptol/Symbolic/Value.hs:64) fromBitsLE (src/Cryptol/Symbolic/Value.hs:60) forallBV_ (src/Cryptol/Symbolic/Value.hs:67) existsBV_ (src/Cryptol/Symbolic/Value.hs:70) forallSBool_ (src/Cryptol/Symbolic/Value.hs:73) existsSBool_ (src/Cryptol/Symbolic/Value.hs:76) forallSInteger_ (src/Cryptol/Symbolic/Value.hs:79) existsSInteger_ (src/Cryptol/Symbolic/Value.hs:82) Value (src/Cryptol/Symbolic/Value.hs:87) lam (src/Cryptol/Eval/Value.hs:637) toFinSeq (src/Cryptol/Eval/Value.hs:657) evalPanic (src/Cryptol/Symbolic/Value.hs:249) iteSValue (src/Cryptol/Symbolic/Value.hs:91) mergeValue (src/Cryptol/Symbolic/Value.hs:143) mergeWord (src/Cryptol/Symbolic/Value.hs:105) mergeBit (src/Cryptol/Symbolic/Value.hs:98) mergeBits (src/Cryptol/Symbolic/Value.hs:128) mergeSeqMap (src/Cryptol/Symbolic/Value.hs:169) mergeWord' (src/Cryptol/Symbolic/Value.hs:121) 78% ( 7 / 9) in 'Cryptol.Eval.Env' Missing documentation for: GenEvalEnv (src/Cryptol/Eval/Env.hs:37) ppEnv (src/Cryptol/Eval/Env.hs:56) Warning: 'backfills' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 80% ( 12 / 15) in 'Cryptol.Eval' Missing documentation for: defaultPPOpts (src/Cryptol/Eval/Value.hs:335) EvalEnv (src/Cryptol/Eval.hs:55) evalSetSel (src/Cryptol/Eval.hs:458) 56% ( 10 / 18) in 'Cryptol.Utils.Patterns' Missing documentation for: Module header Match (src/Cryptol/Utils/Patterns.hs:10) Pat (src/Cryptol/Utils/Patterns.hs:32) ||| (src/Cryptol/Utils/Patterns.hs:35) matchMaybe (src/Cryptol/Utils/Patterns.hs:83) list (src/Cryptol/Utils/Patterns.hs:87) >< (src/Cryptol/Utils/Patterns.hs:101) Matches (src/Cryptol/Utils/Patterns.hs:106) 3% ( 1 / 37) in 'Cryptol.TypeCheck.TypePat' Missing documentation for: Module header aInf (src/Cryptol/TypeCheck/TypePat.hs:70) aNat (src/Cryptol/TypeCheck/TypePat.hs:73) aNat' (src/Cryptol/TypeCheck/TypePat.hs:78) anAdd (src/Cryptol/TypeCheck/TypePat.hs:82) |-| (src/Cryptol/TypeCheck/TypePat.hs:85) aMul (src/Cryptol/TypeCheck/TypePat.hs:88) |^| (src/Cryptol/TypeCheck/TypePat.hs:91) |/| (src/Cryptol/TypeCheck/TypePat.hs:94) |%| (src/Cryptol/TypeCheck/TypePat.hs:97) aMin (src/Cryptol/TypeCheck/TypePat.hs:100) aMax (src/Cryptol/TypeCheck/TypePat.hs:103) aWidth (src/Cryptol/TypeCheck/TypePat.hs:106) aCeilDiv (src/Cryptol/TypeCheck/TypePat.hs:109) aCeilMod (src/Cryptol/TypeCheck/TypePat.hs:112) aLenFromThenTo (src/Cryptol/TypeCheck/TypePat.hs:115) aLiteral (src/Cryptol/TypeCheck/TypePat.hs:185) aLogic (src/Cryptol/TypeCheck/TypePat.hs:188) aTVar (src/Cryptol/TypeCheck/TypePat.hs:119) aFreeTVar (src/Cryptol/TypeCheck/TypePat.hs:124) aBit (src/Cryptol/TypeCheck/TypePat.hs:130) aSeq (src/Cryptol/TypeCheck/TypePat.hs:133) aWord (src/Cryptol/TypeCheck/TypePat.hs:136) aChar (src/Cryptol/TypeCheck/TypePat.hs:141) aTuple (src/Cryptol/TypeCheck/TypePat.hs:147) aRec (src/Cryptol/TypeCheck/TypePat.hs:152) |->| (src/Cryptol/TypeCheck/TypePat.hs:157) aFin (src/Cryptol/TypeCheck/TypePat.hs:161) |=| (src/Cryptol/TypeCheck/TypePat.hs:164) |/=| (src/Cryptol/TypeCheck/TypePat.hs:167) |>=| (src/Cryptol/TypeCheck/TypePat.hs:170) aCmp (src/Cryptol/TypeCheck/TypePat.hs:173) aArith (src/Cryptol/TypeCheck/TypePat.hs:176) aAnd (src/Cryptol/TypeCheck/TypePat.hs:179) aTrue (src/Cryptol/TypeCheck/TypePat.hs:182) anError (src/Cryptol/TypeCheck/TypePat.hs:192) 5% ( 1 / 21) in 'Cryptol.TypeCheck.SimpType' Missing documentation for: Module header tRebuild' (src/Cryptol/TypeCheck/SimpType.hs:13) tRebuild (src/Cryptol/TypeCheck/SimpType.hs:25) tCon (src/Cryptol/TypeCheck/SimpType.hs:28) tAdd (src/Cryptol/TypeCheck/SimpType.hs:49) tSub (src/Cryptol/TypeCheck/SimpType.hs:109) tMul (src/Cryptol/TypeCheck/SimpType.hs:136) tDiv (src/Cryptol/TypeCheck/SimpType.hs:166) tMod (src/Cryptol/TypeCheck/SimpType.hs:173) tCeilDiv (src/Cryptol/TypeCheck/SimpType.hs:180) tCeilMod (src/Cryptol/TypeCheck/SimpType.hs:188) tExp (src/Cryptol/TypeCheck/SimpType.hs:196) tMin (src/Cryptol/TypeCheck/SimpType.hs:205) tMax (src/Cryptol/TypeCheck/SimpType.hs:251) tWidth (src/Cryptol/TypeCheck/SimpType.hs:280) tLenFromThenTo (src/Cryptol/TypeCheck/SimpType.hs:285) total (src/Cryptol/TypeCheck/SimpType.hs:290) op1 (src/Cryptol/TypeCheck/SimpType.hs:293) op2 (src/Cryptol/TypeCheck/SimpType.hs:296) op3 (src/Cryptol/TypeCheck/SimpType.hs:299) Warning: 'a' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'k' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 100% ( 5 / 5) in 'Cryptol.TypeCheck.Solver.Utils' 100% ( 9 / 9) in 'Cryptol.TypeCheck.Solver.Class' 76% ( 13 / 17) in 'Cryptol.Testing.Random' Missing documentation for: Gen (src/Cryptol/Testing/Random.hs:29) returnOneTest (src/Cryptol/Testing/Random.hs:52) randomSize (src/Cryptol/Testing/Random.hs:160) randomIntMod (src/Cryptol/Testing/Random.hs:175) 19% ( 18 / 94) in 'Cryptol.Prims.Eval' Missing documentation for: primTable (src/Cryptol/Prims/Eval.hs:58) intModExp (src/Cryptol/Prims/Eval.hs:272) integerExp (src/Cryptol/Prims/Eval.hs:278) integerLg2 (src/Cryptol/Prims/Eval.hs:283) integerNeg (src/Cryptol/Prims/Eval.hs:288) intModNeg (src/Cryptol/Prims/Eval.hs:291) doubleAndAdd (src/Cryptol/Prims/Eval.hs:294) Binary (src/Cryptol/Prims/Eval.hs:315) binary (src/Cryptol/Prims/Eval.hs:317) Unary (src/Cryptol/Prims/Eval.hs:324) unary (src/Cryptol/Prims/Eval.hs:326) BinArith (src/Cryptol/Prims/Eval.hs:349) liftBinInteger (src/Cryptol/Prims/Eval.hs:351) liftBinIntMod (src/Cryptol/Prims/Eval.hs:354) liftDivInteger (src/Cryptol/Prims/Eval.hs:360) modWrap (src/Cryptol/Prims/Eval.hs:364) arithBinary (src/Cryptol/Prims/Eval.hs:368) UnaryArith (src/Cryptol/Prims/Eval.hs:433) liftUnaryArith (src/Cryptol/Prims/Eval.hs:435) arithUnary (src/Cryptol/Prims/Eval.hs:438) arithNullary (src/Cryptol/Prims/Eval.hs:490) lg2 (src/Cryptol/Prims/Eval.hs:524) addV (src/Cryptol/Prims/Eval.hs:530) subV (src/Cryptol/Prims/Eval.hs:537) mulV (src/Cryptol/Prims/Eval.hs:544) intV (src/Cryptol/Prims/Eval.hs:551) cmpValue (src/Cryptol/Prims/Eval.hs:556) lexCompare (src/Cryptol/Prims/Eval.hs:596) signedLexCompare (src/Cryptol/Prims/Eval.hs:607) liftSigned (src/Cryptol/Prims/Eval.hs:645) signedBV (src/Cryptol/Prims/Eval.hs:656) signedValue (src/Cryptol/Prims/Eval.hs:659) bvSlt (src/Cryptol/Prims/Eval.hs:662) bvSdiv (src/Cryptol/Prims/Eval.hs:665) bvSrem (src/Cryptol/Prims/Eval.hs:669) sshrV (src/Cryptol/Prims/Eval.hs:673) zeroV (src/Cryptol/Prims/Eval.hs:712) joinWordVal (src/Cryptol/Prims/Eval.hs:755) joinWords (src/Cryptol/Prims/Eval.hs:775) joinSeq (src/Cryptol/Prims/Eval.hs:793) splitWordVal (src/Cryptol/Prims/Eval.hs:845) splitAtV (src/Cryptol/Prims/Eval.hs:860) extractWordVal (src/Cryptol/Prims/Eval.hs:909) reverseV (src/Cryptol/Prims/Eval.hs:960) transposeV (src/Cryptol/Prims/Eval.hs:975) ccatV (src/Cryptol/Prims/Eval.hs:1021) wordValLogicOp (src/Cryptol/Prims/Eval.hs:1052) wordValUnaryOp (src/Cryptol/Prims/Eval.hs:1135) logicUnary (src/Cryptol/Prims/Eval.hs:1145) logicShift (src/Cryptol/Prims/Eval.hs:1193) shiftLW (src/Cryptol/Prims/Eval.hs:1215) shiftLB (src/Cryptol/Prims/Eval.hs:1220) shiftLS (src/Cryptol/Prims/Eval.hs:1226) shiftRW (src/Cryptol/Prims/Eval.hs:1235) shiftRB (src/Cryptol/Prims/Eval.hs:1240) shiftRS (src/Cryptol/Prims/Eval.hs:1246) rotateLW (src/Cryptol/Prims/Eval.hs:1259) rotateLB (src/Cryptol/Prims/Eval.hs:1264) rotateLS (src/Cryptol/Prims/Eval.hs:1269) rotateRW (src/Cryptol/Prims/Eval.hs:1276) rotateRB (src/Cryptol/Prims/Eval.hs:1281) rotateRS (src/Cryptol/Prims/Eval.hs:1286) indexFront (src/Cryptol/Prims/Eval.hs:1318) indexFront_bits (src/Cryptol/Prims/Eval.hs:1324) indexBack (src/Cryptol/Prims/Eval.hs:1327) indexBack_bits (src/Cryptol/Prims/Eval.hs:1335) updateFront (src/Cryptol/Prims/Eval.hs:1339) updateFront_word (src/Cryptol/Prims/Eval.hs:1353) updateBack (src/Cryptol/Prims/Eval.hs:1364) updateBack_word (src/Cryptol/Prims/Eval.hs:1378) updatePrim (src/Cryptol/Prims/Eval.hs:1399) fromToV (src/Cryptol/Prims/Eval.hs:1420) src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports] The import of ‘Cryptol.ModuleSystem.Exports’ is redundant except perhaps to import instances from ‘Cryptol.ModuleSystem.Exports’ To import instances alone, use: import Cryptol.ModuleSystem.Exports() | 15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.Patterns’ is redundant except perhaps to import instances from ‘Cryptol.Utils.Patterns’ To import instances alone, use: import Cryptol.Utils.Patterns() | 31 | import Cryptol.Utils.Patterns(matchMaybe) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ fromThenToV (src/Cryptol/Prims/Eval.hs:1434) infFromV (src/Cryptol/Prims/Eval.hs:1450) infFromThenV (src/Cryptol/Prims/Eval.hs:1458) errorV (src/Cryptol/Prims/Eval.hs:1487) 11% ( 5 / 45) in 'Cryptol.Symbolic.Prims' Missing documentation for: traverseSnd (src/Cryptol/Symbolic/Prims.hs:60) primTable (src/Cryptol/Symbolic/Prims.hs:77) logicShift (src/Cryptol/Symbolic/Prims.hs:235) indexFront (src/Cryptol/Symbolic/Prims.hs:286) indexBack (src/Cryptol/Symbolic/Prims.hs:316) indexFront_bits (src/Cryptol/Symbolic/Prims.hs:324) indexBack_bits (src/Cryptol/Symbolic/Prims.hs:350) lazyMergeBit (src/Cryptol/Symbolic/Prims.hs:375) updateFrontSym (src/Cryptol/Symbolic/Prims.hs:382) updateFrontSym_word (src/Cryptol/Symbolic/Prims.hs:401) updateBackSym (src/Cryptol/Symbolic/Prims.hs:425) updateBackSym_word (src/Cryptol/Symbolic/Prims.hs:443) asBitList (src/Cryptol/Symbolic/Prims.hs:467) asWordList (src/Cryptol/Symbolic/Prims.hs:475) liftBinArith (src/Cryptol/Symbolic/Prims.hs:486) liftBin (src/Cryptol/Symbolic/Prims.hs:489) liftModBin (src/Cryptol/Symbolic/Prims.hs:492) sExp (src/Cryptol/Symbolic/Prims.hs:496) sModAdd (src/Cryptol/Symbolic/Prims.hs:503) sModSub (src/Cryptol/Symbolic/Prims.hs:509) sModMult (src/Cryptol/Symbolic/Prims.hs:515) sModExp (src/Cryptol/Symbolic/Prims.hs:521) svModLg2 (src/Cryptol/Symbolic/Prims.hs:540) cmpEq (src/Cryptol/Symbolic/Prims.hs:546) cmpNotEq (src/Cryptol/Symbolic/Prims.hs:549) cmpSignedLt (src/Cryptol/Symbolic/Prims.hs:552) cmpLt (src/Cryptol/Symbolic/Prims.hs:557) cmpGt (src/Cryptol/Symbolic/Prims.hs:557) cmpLtEq (src/Cryptol/Symbolic/Prims.hs:561) cmpGtEq (src/Cryptol/Symbolic/Prims.hs:561) cmpMod (src/Cryptol/Symbolic/Prims.hs:565) cmpModEq (src/Cryptol/Symbolic/Prims.hs:571) cmpModNotEq (src/Cryptol/Symbolic/Prims.hs:574) svDivisible (src/Cryptol/Symbolic/Prims.hs:577) cmpBinary (src/Cryptol/Symbolic/Prims.hs:580) signedQuot (src/Cryptol/Symbolic/Prims.hs:589) signedRem (src/Cryptol/Symbolic/Prims.hs:592) sshrV (src/Cryptol/Symbolic/Prims.hs:596) carry (src/Cryptol/Symbolic/Prims.hs:610) scarry (src/Cryptol/Symbolic/Prims.hs:615) Warning: 'R' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 75% ( 3 / 4) in 'Cryptol.TypeCheck.Solver.Numeric' Missing documentation for: Module header 0% ( 0 / 3) in 'Cryptol.TypeCheck.SimpleSolver' Missing documentation for: Module header simplify (src/Cryptol/TypeCheck/SimpleSolver.hs:16) simplifyStep (src/Cryptol/TypeCheck/SimpleSolver.hs:34) Warning: 'TVar' is ambiguous. It is defined * at src/Cryptol/TypeCheck/Type.hs:95:15 * at src/Cryptol/TypeCheck/Type.hs:113:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at src/Cryptol/TypeCheck/Type.hs:113:1 44% ( 7 / 16) in 'Cryptol.TypeCheck.Subst' Missing documentation for: emptySubst (src/Cryptol/TypeCheck/Subst.hs:63) singleSubst (src/Cryptol/TypeCheck/Subst.hs:70) @@ (src/Cryptol/TypeCheck/Subst.hs:82) isEmptySubst (src/Cryptol/TypeCheck/Subst.hs:130) FVS (src/Cryptol/TypeCheck/Type.hs:644) TVars (src/Cryptol/TypeCheck/Subst.hs:199) substBinds (src/Cryptol/TypeCheck/Subst.hs:134) applySubstToVar (src/Cryptol/TypeCheck/Subst.hs:189) substToList (src/Cryptol/TypeCheck/Subst.hs:139) 18% ( 2 / 11) in 'Cryptol.TypeCheck.Unify' Missing documentation for: Result (src/Cryptol/TypeCheck/Unify.hs:29) runResult (src/Cryptol/TypeCheck/Unify.hs:31) UnificationError (src/Cryptol/TypeCheck/Unify.hs:34) uniError (src/Cryptol/TypeCheck/Unify.hs:42) emptyMGU (src/Cryptol/TypeCheck/Unify.hs:46) mgu (src/Cryptol/TypeCheck/Unify.hs:49) mguMany (src/Cryptol/TypeCheck/Unify.hs:90) bindVar (src/Cryptol/TypeCheck/Unify.hs:99) freeParams (src/Cryptol/TypeCheck/Unify.hs:127) 67% ( 2 / 3) in 'Cryptol.TypeCheck.TypeOf' Missing documentation for: fastSchemaOf (src/Cryptol/TypeCheck/TypeOf.hs:58) 100% ( 2 / 2) in 'Cryptol.ModuleSystem.InstantiateModule' 80% ( 4 / 5) in 'Cryptol.TypeCheck.Solver.Improve' Missing documentation for: improveLit (src/Cryptol/TypeCheck/Solver/Improve.hs:48) 38% ( 8 / 21) in 'Cryptol.TypeCheck.InferTypes' Missing documentation for: SolverConfig (src/Cryptol/TypeCheck/InferTypes.hs:41) Goals (src/Cryptol/TypeCheck/InferTypes.hs:59) litGoalToGoal (src/Cryptol/TypeCheck/InferTypes.hs:72) goalToLitGoal (src/Cryptol/TypeCheck/InferTypes.hs:75) emptyGoals (src/Cryptol/TypeCheck/InferTypes.hs:84) nullGoals (src/Cryptol/TypeCheck/InferTypes.hs:87) fromGoals (src/Cryptol/TypeCheck/InferTypes.hs:90) goalsFromList (src/Cryptol/TypeCheck/InferTypes.hs:94) insertGoal (src/Cryptol/TypeCheck/InferTypes.hs:97) HasGoal (src/Cryptol/TypeCheck/InferTypes.hs:121) addTVarsDescsAfter (src/Cryptol/TypeCheck/InferTypes.hs:244) addTVarsDescsBefore (src/Cryptol/TypeCheck/InferTypes.hs:252) ppUse (src/Cryptol/TypeCheck/InferTypes.hs:285) Warning: 'And' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 69% ( 9 / 13) in 'Cryptol.TypeCheck.Solver.SMT' Missing documentation for: debugBlock (src/Cryptol/TypeCheck/Solver/SMT.hs:129) debugLog (src/Cryptol/TypeCheck/Solver/SMT.hs:138) tryGetModel (src/Cryptol/TypeCheck/Solver/SMT.hs:206) shrinkModel (src/Cryptol/TypeCheck/Solver/SMT.hs:239) 40% ( 2 / 5) in 'Cryptol.TypeCheck.Error' Missing documentation for: Module header cleanupErrors (src/Cryptol/TypeCheck/Error.hs:22) Warning (src/Cryptol/TypeCheck/Error.hs:52) Warning: 'Has' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 69% ( 69 /100) in 'Cryptol.TypeCheck.Monad' Missing documentation for: KRW (src/Cryptol/TypeCheck/Monad.hs:827) KRO (src/Cryptol/TypeCheck/Monad.hs:820) KindM (src/Cryptol/TypeCheck/Monad.hs:818) DefLoc (src/Cryptol/TypeCheck/Monad.hs:186) InferM (src/Cryptol/TypeCheck/Monad.hs:184) bumpCounter (src/Cryptol/TypeCheck/Monad.hs:113) runInferM (src/Cryptol/TypeCheck/Monad.hs:117) io (src/Cryptol/TypeCheck/Monad.hs:297) inRangeMb (src/Cryptol/TypeCheck/Monad.hs:305) recordWarning (src/Cryptol/TypeCheck/Monad.hs:319) getSolver (src/Cryptol/TypeCheck/Monad.hs:334) newGoal (src/Cryptol/TypeCheck/Monad.hs:347) simpGoal (src/Cryptol/TypeCheck/Monad.hs:391) simpGoals (src/Cryptol/TypeCheck/Monad.hs:399) newName (src/Cryptol/TypeCheck/Monad.hs:446) applySubstPreds (src/Cryptol/TypeCheck/Monad.hs:524) applySubstGoals (src/Cryptol/TypeCheck/Monad.hs:530) lookupAbstractType (src/Cryptol/TypeCheck/Monad.hs:623) withTParams (src/Cryptol/TypeCheck/Monad.hs:734) withNewtype (src/Cryptol/TypeCheck/Monad.hs:744) withPrimType (src/Cryptol/TypeCheck/Monad.hs:750) withParamType (src/Cryptol/TypeCheck/Monad.hs:757) withVarTypes (src/Cryptol/TypeCheck/Monad.hs:768) withVar (src/Cryptol/TypeCheck/Monad.hs:771) kRecordWarning (src/Cryptol/TypeCheck/Monad.hs:890) kIO (src/Cryptol/TypeCheck/Monad.hs:893) kLookupParamType (src/Cryptol/TypeCheck/Monad.hs:914) kLookupAbstractType (src/Cryptol/TypeCheck/Monad.hs:917) kExistTVar (src/Cryptol/TypeCheck/Monad.hs:920) kNewGoals (src/Cryptol/TypeCheck/Monad.hs:943) kInInferM (src/Cryptol/TypeCheck/Monad.hs:947) 100% ( 2 / 2) in 'Cryptol.TypeCheck.Solver.Selector' 14% ( 1 / 7) in 'Cryptol.TypeCheck.Sanity' Missing documentation for: tcExpr (src/Cryptol/TypeCheck/Sanity.hs:34) tcDecls (src/Cryptol/TypeCheck/Sanity.hs:37) tcModule (src/Cryptol/TypeCheck/Sanity.hs:42) ProofObligation (src/Cryptol/TypeCheck/Sanity.hs:453) Error (src/Cryptol/TypeCheck/Sanity.hs:491) same (src/Cryptol/TypeCheck/Sanity.hs:108) 70% ( 7 / 10) in 'Cryptol.TypeCheck.Depends' Missing documentation for: TyDecl (src/Cryptol/TypeCheck/Depends.hs:31) setDocString ( src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.PP’ is redundant except perhaps to import instances from ‘Cryptol.Utils.PP’ To import instances alone, use: import Cryptol.Utils.PP() | 37 | import Cryptol.Utils.PP (text,vcat,(<+>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports] The import of ‘Name’ from module ‘Cryptol.ModuleSystem.Name’ is redundant | 9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Cryptol/TypeCheck/Depends.hs:39) FromDecl (src/Cryptol/TypeCheck/Depends.hs:133) 50% ( 2 / 4) in 'Cryptol.TypeCheck.Default' Missing documentation for: Module header improveByDefaultingWithPure (src/Cryptol/TypeCheck/Default.hs:71) 50% ( 3 / 6) in 'Cryptol.TypeCheck.Solve' Missing documentation for: simplifyAllConstraints (src/Cryptol/TypeCheck/Solve.hs:174) defaultAndSimplify (src/Cryptol/TypeCheck/Solve.hs:158) defaultReplExpr (src/Cryptol/TypeCheck/Solve.hs:113) 67% ( 6 / 9) in 'Cryptol.TypeCheck.Kind' Missing documentation for: checkType (src/Cryptol/TypeCheck/Kind.hs:142) checkPrimType (src/Cryptol/TypeCheck/Kind.hs:130) checkParameterConstraints (src/Cryptol/TypeCheck/Kind.hs:147) 20% ( 1 / 5) in 'Cryptol.TypeCheck.Instantiate' Missing documentation for: instantiateWith (src/Cryptol/TypeCheck/Instantiate.hs:65) TypeArg (src/Cryptol/TypeCheck/Instantiate.hs:35) uncheckedTypeArg (src/Cryptol/TypeCheck/Instantiate.hs:40) MaybeCheckedType (src/Cryptol/TypeCheck/Instantiate.hs:49) Warning: 'NoPat' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'exprMap' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 50% ( 3 / 6) in 'Cryptol.TypeCheck.Infer' Missing documentation for: checkSigB (src/Cryptol/TypeCheck/Infer.hs:879) inferModule (src/Cryptol/TypeCheck/Infer.hs:61) inferDs (src/Cryptol/TypeCheck/Infer.hs:935) 50% ( 1 / 2) in 'Cryptol.TypeCheck.CheckModuleInstance' Missing documentation for: Module header 50% ( 7 / 14) in 'Cryptol.TypeCheck' Missing documentation for: tcModule (src/Cryptol/TypeCheck.hs:50) tcExpr (src/Cryptol/TypeCheck.hs:68) tcDecls (src/Cryptol/TypeCheck.hs:114) SolverConfig (src/Cryptol/TypeCheck/InferTypes.hs:41) Warning (src/Cryptol/TypeCheck/Error.hs:52) ppWarning (src/Cryptol/TypeCheck.hs:119) ppError (src/Cryptol/TypeCheck.hs:122) Warning: 'm' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 78% ( 18 / 23) in 'Cryptol.ModuleSystem.Env' Missing documentation for: resetModuleEnv (src/Cryptol/ModuleSystem/Env.hs:98) initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:107) LoadedModules (src/Cryptol/ModuleSystem/Env.hs:256) getLoadedModules (src/Cryptol/ModuleSystem/Env.hs:267) LoadedModule (src/Cryptol/ModuleSystem/Env.hs:282) 17% ( 1 / 6) in 'Cryptol.Version' Missing documentation for: commitHash (src/Cryptol/Version.hs:22) commitShortHash (src/Cryptol/Version.hs:25) commitBranch (src/Cryptol/Version.hs:28) commitDirty (src/Cryptol/Version.hs:31) version (dist-ghc/build/autogen/Paths_cryptol.hs:28) 4% ( 1 / 25) in 'Cryptol.Parser' Missing documentation for: parseModule (dist-ghc/build/Cryptol/Parser.hs:4201) parseProgram (dist-ghc/build/Cryptol/Parser.hs:4204) parseProgramWith (dist-ghc/build/Cryptol/Parser.hs:4192) parseExpr (dist-ghc/build/Cryptol/Parser.hs:4210) parseExprWith (dist-ghc/build/Cryptol/Parser.hs:4207) parseDecl (dist-ghc/build/Cryptol/Parser.hs:4216) parseDeclWith (dist-ghc/build/Cryptol/Parser.hs:4213) parseDecls (dist-ghc/build/Cryptol/Parser.hs:4225) parseDeclsWith (dist-ghc/build/Cryptol/Parser.hs:4219) parseLetDecl (dist-ghc/build/Cryptol/Parser.hs:4231) parseLetDeclWith (dist-ghc/build/Cryptol/Parser.hs:4228) parseRepl (dist-ghc/build/Cryptol/Parser.hs:4237) parseReplWith (dist-ghc/build/Cryptol/Parser.hs:4234) parseSchema (dist-ghc/build/Cryptol/Parser.hs:4243) parseSchemaWith (dist-ghc/build/Cryptol/Parser.hs:4240) parseModName (dist-ghc/build/Cryptol/Parser.hs:4173) parseHelpName (dist-ghc/build/Cryptol/Parser.hs:4179) ParseError (src/Cryptol/Parser/ParserUtils.hs:79) ppError (src/Cryptol/Parser/ParserUtils.hs:92) Layout (src/Cryptol/Parser/LexerUtils.hs:242) Config (src/Cryptol/Parser/LexerUtils.hs:29) defaultConfig (src/Cryptol/Parser/LexerUtils.hs:39) guessPreProc (src/Cryptol/Parser/Unlit.hs:33) PreProc (src/Cryptol/Parser/Unlit.hs:23) 25% ( 1 / 4) in 'Cryptol.Parser.NoInclude' Missing documentation for: removeIncludesModule (src/Cryptol/Parser/NoInclude.hs:35) IncludeError (src/Cryptol/Parser/NoInclude.hs:38) ppIncludeError (src/Cryptol/Parser/NoInclude.hs:44) 9% ( 6 / 65) in 'Cryptol.ModuleSystem.Monad' Missing documentation for: ImportSource (src/Cryptol/ModuleSystem/Monad.hs:54) importedModule (src/Cryptol/ModuleSystem/Monad.hs:70) ModuleError (src/Cryptol/ModuleSystem/Monad.hs:78) moduleNotFound (src/Cryptol/ModuleSystem/Monad.hs:206) cantFindFile (src/Cryptol/ModuleSystem/Monad.hs:209) badUtf8 (src/Cryptol/ModuleSystem/Monad.hs:212) otherIOError (src/Cryptol/ModuleSystem/Monad.hs:215) moduleParseError (src/Cryptol/ModuleSystem/Monad.hs:218) recursiveModules (src/Cryptol/ModuleSystem/Monad.hs:222) renamerErrors (src/Cryptol/ModuleSystem/Monad.hs:225) noPatErrors (src/Cryptol/ModuleSystem/Monad.hs:230) noIncludeErrors (src/Cryptol/ModuleSystem/Monad.hs:235) typeCheckingFailed (src/Cryptol/ModuleSystem/Monad.hs:240) moduleNameMismatch (src/Cryptol/ModuleSystem/Monad.hs:245) duplicateModuleName (src/Cryptol/ModuleSystem/Monad.hs:249) importParamModule (src/Cryptol/ModuleSystem/Monad.hs:253) failedToParameterizeModDefs (src/Cryptol/ModuleSystem/Monad.hs:256) notAParameterizedModule (src/Cryptol/ModuleSystem/Monad.hs:260) ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:273) warn (src/Cryptol/ModuleSystem/Monad.hs:283) typeCheckWarnings (src/Cryptol/ModuleSystem/Monad.hs:286) renamerWarnings (src/Cryptol/ModuleSystem/Monad.hs:291) RO (src/Cryptol/ModuleSystem/Monad.hs:299) emptyRO (src/Cryptol/ModuleSystem/Monad.hs:303) ModuleT (src/Cryptol/ModuleSystem/Monad.hs:306) runModuleT (src/Cryptol/ModuleSystem/Monad.hs:347) ModuleM (src/Cryptol/ModuleSystem/Monad.hs:358) runModuleM (src/Cryptol/ModuleSystem/Monad.hs:360) io (src/Cryptol/ModuleSystem/Monad.hs:366) getModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:369) setModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:372) modifyModuleEnv (src/Cryptol/ModuleSystem/Monad.hs:375) getLoadedMaybe (src/Cryptol/ModuleSystem/Monad.hs:380) isLoaded (src/Cryptol/ModuleSystem/Monad.hs:385) loadingImport (src/Cryptol/ModuleSystem/Monad.hs:388) loadingModule (src/Cryptol/ModuleSystem/Monad.hs:391) loadingModInstance (src/Cryptol/ModuleSystem/Monad.hs:394) loading (src/Cryptol/ModuleSystem/Monad.hs:402) getIface (src/Cryptol/ModuleSystem/Monad.hs:420) getLoaded (src/Cryptol/ModuleSystem/Monad.hs:427) getNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:434) getSupply (src/Cryptol/ModuleSystem/Monad.hs:437) getMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:440) setMonoBinds (src/Cryptol/ModuleSystem/Monad.hs:443) setNameSeeds (src/Cryptol/ModuleSystem/Monad.hs:448) setSupply (src/Cryptol/ModuleSystem/Monad.hs:453) unloadModule (src/Cryptol/ModuleSystem/Monad.hs:458) loadedModule (src/Cryptol/ModuleSystem/Monad.hs:463) modifyEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:472) getEvalEnv (src/Cryptol/ModuleSystem/Monad.hs:480) getEvalOpts (src/Cryptol/ModuleSystem/Monad.hs:483) getFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:486) setFocusedModule (src/Cryptol/ModuleSystem/Monad.hs:489) getSearchPath (src/Cryptol/ModuleSystem/Monad.hs:494) getFocusedEnv (src/Cryptol/ModuleSystem/Monad.hs:511) getDynEnv (src/Cryptol/ModuleSystem/Monad.hs:514) setDynEnv (src/Cryptol/ModuleSystem/Monad.hs:517) setSolver (src/Cryptol/ModuleSystem/Monad.hs:522) getSolverConfig (src/Cryptol/ModuleSystem/Monad.hs:527) 62% ( 20 / 32) in 'Cryptol.ModuleSystem.Base' Missing documentation for: rename (src/Cryptol/ModuleSystem/Base.hs:76) parseModule (src/Cryptol/ModuleSystem/Base.hs:109) moduleFile (src/Cryptol/ModuleSystem/Base.hs:236) TCLinter (src/Cryptol/ModuleSystem/Base.hs:436) exprLinter (src/Cryptol/ModuleS src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 26 | > import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports] The import of ‘backticks’ from module ‘Cryptol.TypeCheck.PP’ is redundant | 75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ystem/Base.hs:443) declsLinter (src/Cryptol/ModuleSystem/Base.hs:454) moduleLinter (src/Cryptol/ModuleSystem/Base.hs:463) Act (src/Cryptol/ModuleSystem/Base.hs:471) TCAction (src/Cryptol/ModuleSystem/Base.hs:473) typecheck (src/Cryptol/ModuleSystem/Base.hs:479) evalExpr (src/Cryptol/ModuleSystem/Base.hs:540) evalDecls (src/Cryptol/ModuleSystem/Base.hs:547) 54% ( 15 / 28) in 'Cryptol.ModuleSystem' Missing documentation for: initialModuleEnv (src/Cryptol/ModuleSystem/Env.hs:107) ModuleError (src/Cryptol/ModuleSystem/Monad.hs:78) ModuleWarning (src/Cryptol/ModuleSystem/Monad.hs:273) ModuleCmd (src/Cryptol/ModuleSystem.hs:52) ModuleRes (src/Cryptol/ModuleSystem.hs:54) noPat (src/Cryptol/ModuleSystem.hs:104) getPrimMap (src/Cryptol/ModuleSystem.hs:56) renameVar (src/Cryptol/ModuleSystem.hs:107) renameType (src/Cryptol/ModuleSystem.hs:111) IfaceParams (src/Cryptol/ModuleSystem/Interface.hs:50) IfaceDecls (src/Cryptol/ModuleSystem/Interface.hs:63) IfaceTySyn (src/Cryptol/ModuleSystem/Interface.hs:88) IfaceDecl (src/Cryptol/ModuleSystem/Interface.hs:96) Warning: 'dgs' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'e' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'n' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 35% ( 9 / 26) in 'Cryptol.Transform.Specialize' Missing documentation for: SpecM (src/Cryptol/Transform/Specialize.hs:38) runSpecT (src/Cryptol/Transform/Specialize.hs:40) liftSpecT (src/Cryptol/Transform/Specialize.hs:43) getSpecCache (src/Cryptol/Transform/Specialize.hs:46) setSpecCache (src/Cryptol/Transform/Specialize.hs:49) modifySpecCache (src/Cryptol/Transform/Specialize.hs:52) modify (src/Cryptol/Transform/Specialize.hs:55) specializeExpr (src/Cryptol/Transform/Specialize.hs:73) specializeMatch (src/Cryptol/Transform/Specialize.hs:105) specializeConst (src/Cryptol/Transform/Specialize.hs:172) destEProofApps (src/Cryptol/Transform/Specialize.hs:200) destETApps (src/Cryptol/Transform/Specialize.hs:206) destEProofAbs (src/Cryptol/Transform/Specialize.hs:212) destETAbs (src/Cryptol/Transform/Specialize.hs:218) instantiateSchema (src/Cryptol/Transform/Specialize.hs:318) allDeclGroups (src/Cryptol/Transform/Specialize.hs:335) traverseSnd (src/Cryptol/Transform/Specialize.hs:341) 7% ( 2 / 29) in 'Cryptol.Symbolic' Missing documentation for: EvalEnv (src/Cryptol/Symbolic.hs:54) proverConfigs (src/Cryptol/Symbolic.hs:59) proverNames (src/Cryptol/Symbolic.hs:71) lookupProver (src/Cryptol/Symbolic.hs:74) SatResult (src/Cryptol/Symbolic.hs:81) SatNum (src/Cryptol/Symbolic.hs:83) QueryType (src/Cryptol/Symbolic.hs:86) ProverCommand (src/Cryptol/Symbolic.hs:89) ProverStats (src/Cryptol/Symbolic.hs:111) satSMTResults (src/Cryptol/Symbolic.hs:121) allSatSMTResults (src/Cryptol/Symbolic.hs:124) thmSMTResults (src/Cryptol/Symbolic.hs:127) proverError (src/Cryptol/Symbolic.hs:130) satProve (src/Cryptol/Symbolic.hs:134) satProveOffline (src/Cryptol/Symbolic.hs:238) protectStack (src/Cryptol/Symbolic.hs:262) parseValues (src/Cryptol/Symbolic.hs:272) parseValue (src/Cryptol/Symbolic.hs:278) allDeclGroups (src/Cryptol/Symbolic.hs:304) FinType (src/Cryptol/Symbolic.hs:307) numType (src/Cryptol/Symbolic.hs:315) finType (src/Cryptol/Symbolic.hs:320) unFinType (src/Cryptol/Symbolic.hs:332) predArgTypes (src/Cryptol/Symbolic.hs:345) inBoundsIntMod (src/Cryptol/Symbolic.hs:358) forallFinType (src/Cryptol/Symbolic.hs:362) existsFinType (src/Cryptol/Symbolic.hs:377) Warning: 'base' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 49% ( 33 / 68) in 'Cryptol.REPL.Monad' Missing documentation for: io (src/Cryptol/REPL/Monad.hs:332) stop (src/Cryptol/REPL/Monad.hs:388) catch (src/Cryptol/REPL/Monad.hs:309) finally (src/Cryptol/REPL/Monad.hs:312) rethrowEvalError (src/Cryptol/REPL/Monad.hs:316) getFocusedEnv (src/Cryptol/REPL/Monad.hs:474) getModuleEnv (src/Cryptol/REPL/Monad.hs:549) setModuleEnv (src/Cryptol/REPL/Monad.hs:552) getDynEnv (src/Cryptol/REPL/Monad.hs:555) setDynEnv (src/Cryptol/REPL/Monad.hs:558) getTSyns (src/Cryptol/REPL/Monad.hs:512) getNewtypes (src/Cryptol/REPL/Monad.hs:517) getVars (src/Cryptol/REPL/Monad.hs:507) whenDebug (src/Cryptol/REPL/Monad.hs:872) getModNames (src/Cryptol/REPL/Monad.hs:544) getLoadedMod (src/Cryptol/REPL/Monad.hs:359) clearLoadedMod (src/Cryptol/REPL/Monad.hs:348) getEditPath (src/Cryptol/REPL/Monad.hs:369) clearEditPath (src/Cryptol/REPL/Monad.hs:372) setSearchPath (src/Cryptol/REPL/Monad.hs:375) prependSearchPath (src/Cryptol/REPL/Monad.hs:380) shouldContinue (src/Cryptol/REPL/Monad.hs:385) unlessBatch (src/Cryptol/REPL/Monad.hs:391) disableLet (src/Cryptol/REPL/Monad.hs:406) enableLet (src/Cryptol/REPL/Monad.hs:409) EnvVal (src/Cryptol/REPL/Monad.hs:600) OptionDescr (src/Cryptol/REPL/Monad.hs:741) getKnownUser (src/Cryptol/REPL/Monad.hs:687) userOptions (src/Cryptol/REPL/Monad.hs:753) getUserSatNum (src/Cryptol/REPL/Monad.hs:861) getUserShowProverStats (src/Cryptol/REPL/Monad.hs:717) getUserProverValidate (src/Cryptol/REPL/Monad.hs:720) getLogger (src/Cryptol/REPL/Monad.hs:456) smokeTest (src/Cryptol/REPL/Monad.hs:879) Smoke (src/Cryptol/REPL/Monad.hs:886) Warning: 'w' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'k' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 50% ( 2 / 4) in 'Cryptol.Eval.Reference' Missing documentation for: evaluate (src/Cryptol/Eval/Reference.lhs:1245) ppValue (src/Cryptol/Eval/Reference.lhs:1215) Warning: 'proveSat' is out of scope. If you qualify the identifier, haddock can try to link it anyway. Warning: 'it' is out of scope. If you qualify the identifier, haddock can try to link it anyway. 41% ( 13 / 32) in 'Cryptol.REPL.Command' Missing documentation for: CommandBody (src/Cryptol/REPL/Command.hs:144) CommandExitCode (src/Cryptol/REPL/Command.hs:157) commandList (src/Cryptol/REPL/Command.hs:204) moduleCmd (src/Cryptol/REPL/Command.hs:839) loadCmd (src/Cryptol/REPL/Command.hs:850) loadPrelude (src/Cryptol/REPL/Command.hs:847) setOptionCmd (src/Cryptol/REPL/Command.hs:988) interactiveConfig (src/Cryptol/REPL/Command.hs:1237) replParseExpr (src/Cryptol/REPL/Command.hs:1234) replEvalExpr (src/Cryptol/REPL/Command.hs:1315) replCheckExpr (src/Cryptol/REPL/Command.hs:1291) QCMode (src/Cryptol/REPL/Command.hs:337) satCmd (src/Cryptol/REPL/Command.hs:516) proveCmd (src/Cryptol/REPL/Command.hs:516) onlineProveSat (src/Cryptol/REPL/Command.hs:611) offlineProveSat (src/Cryptol/REPL/Command.hs:640) handleCtrlC (src/Cryptol/REPL/Command.hs:1211) liftModuleCmd (src/Cryptol/REPL/Command.hs:1243) moduleCmdResult (src/Cryptol/REPL/Command.hs:1249) Warning: Cryptol.Eval.Arch: could not find link destinations for: Integer Warning: Cryptol.ModuleSystem.Fingerprint: could not find link destinations for: Eq == Bool /= Show showsPrec Int ShowS show showList NFData rnf ByteString FilePath IO Maybe Nothing Warning: Cryptol.Utils.Ident: could not find link destinations for: Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Text IsString fromString Doc :*: Warning: Cryptol.Utils.Logger: could not find link destinations for: NFData rnf Handle IO Show Warning: Cryptol.Utils.Misc: could not find link destinations for: Traversable Maybe Nothing Warning: Cryptol.Utils.PP: could not find link destinations for: Maybe Nothing Show showsPrec Int ShowS show showList Generic from Rep to Type Integral NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI U1 S1 MetaSel Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Text Doc IsString fromString True Bool Eq == /= Char Integer Warning: Cryptol.TypeCheck.PP: could not find link destinations for: IntMap Int Warning: Cryptol.Parser.Selector: could not find link destinations for: Int Maybe Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec ShowS show showList Generic from Rep to Type NFData rnf Doc D1 MetaData False :+: C1 MetaCons PrefixI :*: S1 MetaSel Nothing Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Warning: Cryptol.Parser.Position: could not find link destinations for: Type Eq == Bool /= Show showsPrec Int ShowS show showList Generic from Rep to NFData rnf Maybe Doc D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 Ord compare Ordering < <= > >= max min FilePath NoSourceStrictness DecidedLazy Char Text Warning: Cryptol.Parser.Fixity: could not find link destinations for: Int Eq == Bool /= Show showsPrec ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 Warning: Cryptol.Utils.Panic: could not find link destinations for: CallStack Show showsPrec Int ShowS show showList Exception toException SomeException fromException Maybe displayException Warning: Cryptol.TypeCheck.Solver.InfNat: could not find link destinations for: Integer Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 U1 Warning: Cryptol.REPL.Trie: could not find link destinations for: Map Char Maybe Show showsPrec Int ShowS show showList Warning: Cryptol.Parser.Unlit: could not find link destinations for: Text FilePath markdown latex Warning: Cryptol.Parser.Name: could not find link destinations for: Int Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec ShowS show showList Generic from Rep to Type NFData rnf Maybe D1 MetaData False :+: C1 MetaCons PrefixI S1 MetaSel Nothing Symbol NoSourceUnpackedness SourceStrict DecidedStrict Rec0 :*: U1 Warning: Cryptol.Parser.AST: could not find link destinations for: Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec Int ShowS show showList IsString fromString Generic from Rep to Type NFData rnf Doc D1 MetaData False C1 MetaCons PrefixI :*: S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Text :+: SourceStrict DecidedStrict Foldable fold foldMap foldMap' foldr foldr' foldl foldl' foldr1 foldl1 toList null length elem maximum minimum sum Num product Traversable traverse Applicative sequenceA True Just U1 Integer Char FilePath Warning: Cryptol.Parser.Utils: could not find link destinations for: Maybe Warning: Cryptol.Parser.Names: could not find link destinations for: Ord Set Warning: Cryptol.Parser.NoPat: could not find link destinations for: Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI :*: S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Warning: Cryptol.ModuleSystem.Exports: could not find link destinations for: Ord Set Show showsPrec Int ShowS show showList Generic from Rep to Type Integral NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Bool Warning: Cryptol.Parser.Lexer: could not find link destinations for: Text Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 Integer Char TokenOp Eq == Bool /= :+: U1 Maybe Doc FilePath Warning: Cryptol.ModuleSystem.Name: could not find link destinations for: Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf Maybe Doc D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just SourceUnpack SourceStrict DecidedStrict Rec0 NoSourceUnpackedness :+: Nothing Symbol U1 MonadFix mfix Applicative pure <*> liftA2 *> <* Map NoSourceStrictness DecidedLazy Warning: Cryptol.TypeCheck.TCon: could not find link destinations for: Maybe Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI U1 InfixI RightAssociative :*: S1 MetaSel Nothing Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Integer True Just SourceStrict DecidedStrict Bounded minBound maxBound Enum succ pred toEnum fromEnum enumFrom enumFromThen enumFromTo enumFromThenTo Warning: Cryptol.TypeCheck.Type: could not find link destinations for: Set Maybe Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 SourceStrict DecidedStrict :+: Nothing Symbol U1 Eq == Bool /= Ord compare Ordering < <= > >= max min SourceUnpack Doc Integer Integral Warning: Cryptol.TypeCheck.AST: could not find link destinations for: Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf Doc D1 MetaData False :+: C1 MetaCons PrefixI U1 S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Bool Set True :*: Just SourceStrict DecidedStrict Map error Char Eq == /= Ord compare Ordering < <= > >= max min SourceUnpack Bounded minBound maxBound Enum succ pred toEnum fromEnum enumFrom enumFromThen enumFromTo enumFromThenTo Integral Warning: Cryptol.TypeCheck.TypeMap: could not find link destinations for: Map Type Bool Maybe Show showsPrec Int ShowS show showList Ord Warning: Cryptol.TypeCheck.Solver.Numeric.Interval: could not find link destinations for: Map Show showsPrec Int ShowS show showList Maybe Eq == Bool /= True False Nothing Warning: Cryptol.TypeCheck.Solver.Types: could not find link destinations for: Map Show showsPrec Int ShowS show showList Maybe Bool Warning: Cryptol.TypeCheck.Solver.Numeric.Fin: could not find link destinations for: Map Warning: Cryptol.TypeCheck.Parseable: could not find link destinations for: Doc Int Maybe Warning: Cryptol.IR.FreeVars: could not find link destinations for: Set Eq == Bool /= Integral Map Warning: Cryptol.Transform.AddModParams: could not find link destinations for: Either Warning: Cryptol.ModuleSystem.Interface: could not find link destinations for: Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 NoSourceStrictness DecidedLazy Map IfaceAbstractType Integral Bool Maybe Warning: Cryptol.ModuleSystem.NamingEnv: could not find link destinations for: Map Show showsPrec Int ShowS show showList Generic from Rep to Type Integral NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 Set Bool Applicative Foldable fold foldMap foldMap' foldr foldr' foldl foldl' foldr1 foldl1 toList null length elem Eq maximum Ord minimum sum Num product Traversable traverse sequenceA Maybe Warning: Cryptol.ModuleSystem.Renamer: could not find link destinations for: Show showsPrec Int ShowS show showList Generic from Rep to Type Integral NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 Map Maybe Foldable fold foldMap foldMap' foldr foldr' foldl foldl' foldr1 foldl1 toList null Bool length elem Eq maximum Ord minimum sum Num product Traversable traverse Applicative sequenceA Either pure <*> liftA2 *> <* :+: Nothing Symbol NoSourceStrictness DecidedLazy TOp Warning: Cryptol.Eval.Monad: could not find link destinations for: IO Type MonadFix mfix Applicative pure <*> liftA2 *> <* MonadIO liftIO NFData rnf Bool Int Maybe Integer Show showsPrec ShowS show showList Exception toException SomeException fromException displayException Warning: Cryptol.Eval.Type: could not find link destinations for: Integer Either Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI U1 S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 :*: Bool Map Warning: Cryptol.Eval.Value: could not find link destinations for: Integer Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf Bool Maybe Char D1 MetaData False C1 MetaCons PrefixI :*: S1 MetaSel Nothing Symbol NoSourceUnpackedness SourceStrict DecidedStrict Rec0 Map Integral Seq :+: NoSourceStrictness DecidedLazy Warning: Cryptol.Testing.Concrete: could not find link destinations for: Bool IO Maybe Integer Nothing Warning: Cryptol.Symbolic.Value: could not find link destinations for: Int Integer Show showsPrec ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI U1 S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 :*: Either Bool SourceStrict DecidedStrict Seq Char Warning: Cryptol.Eval.Env: could not find link destinations for: Map Generic from Rep to Type Integral NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 Maybe Either Warning: Cryptol.Eval: could not find link destinations for: IO Bool Int Type MonadFix mfix Applicative pure <*> liftA2 *> <* MonadIO liftIO NFData rnf Integer Show showsPrec ShowS show showList Exception toException SomeException fromException Maybe displayException Warning: Cryptol.Utils.Patterns: could not find link destinations for: Type Applicative pure <*> liftA2 *> <* Alternative empty <|> some many Bool Eq Maybe Warning: Cryptol.TypeCheck.TypePat: could not find link destinations for: Integer Warning: Cryptol.TypeCheck.SimpType: could not find link destinations for: Bool Maybe Warning: Cryptol.TypeCheck.Solver.Utils: could not find link destinations for: Maybe Integer Warning: Cryptol.TypeCheck.Solver.Class: could not find link destinations for: Nothing Just Warning: Cryptol.Testing.Random: could not find link destinations for: Integer Bool IO Nothing True False Int Maybe Warning: Cryptol.Prims.Eval: could not find link destinations for: Map Integer Integral Ordering Bool Show Seq Maybe Warning: Cryptol.Symbolic.Prims: could not find link destinations for: Map Integer Maybe Seq Warning: Cryptol.TypeCheck.Subst: could not find link destinations for: Show showsPrec Int ShowS show showList Bool Set Maybe Nothing Warning: Cryptol.TypeCheck.Unify: could not find link destinations for: Writer Int Set Warning: Cryptol.TypeCheck.TypeOf: could not find link destinations for: Map Warning: Cryptol.ModuleSystem.InstantiateModule: could not find link destinations for: Map Warning: Cryptol.TypeCheck.Solver.Improve: could not find link destinations for: Bool Warning: Cryptol.TypeCheck.InferTypes: could not find link destinations for: FilePath Int Show showsPrec ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Set Map Maybe Bool Eq == /= Ord compare Ordering < <= > >= max min :+: U1 Nothing Symbol Warning: Cryptol.TypeCheck.Solver.SMT: could not find link destinations for: IO Bool DebugLog Maybe Warning: Cryptol.TypeCheck.Error: could not find link destinations for: Bool Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf Set D1 MetaData False :+: C1 MetaCons PrefixI :*: S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 U1 Warning: Cryptol.TypeCheck.Monad: could not find link destinations for: Maybe Map Type Applicative pure <*> liftA2 *> <* Int Bool IORef IO MonadFix mfix Show showsPrec ShowS show showList Generic from Rep to NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness SourceStrict DecidedStrict Rec0 FilePath Set Nothing Warning: Cryptol.TypeCheck.Solver.Selector: could not find link destinations for: Bool Warning: Cryptol.TypeCheck.Sanity: could not find link destinations for: Either Int Show showsPrec ShowS show showList Same Bool Warning: Cryptol.TypeCheck.Depends: could not find link destinations for: Maybe Show showsPrec Int ShowS show showList SCC Bool Map Ord Warning: Cryptol.TypeCheck.Default: could not find link destinations for: IO Maybe Warning: Cryptol.TypeCheck.Solve: could not find link destinations for: Maybe IO Warning: Cryptol.TypeCheck.Kind: could not find link destinations for: Maybe Warning: Cryptol.TypeCheck.Instantiate: could not find link destinations for: Maybe Warning: Cryptol.TypeCheck.Infer: could not find link destinations for: Bool Warning: Cryptol.TypeCheck: could not find link destinations for: IO Map Bool FilePath Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI True :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 SourceStrict DecidedStrict Set :+: Nothing Maybe Symbol U1 Warning: Cryptol.ModuleSystem.Env: could not find link destinations for: Bool Maybe FilePath True Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 SourceStrict DecidedStrict :+: U1 IO ByteString Eq == /= Show showsPrec Int ShowS show showList Nothing Symbol Integral Warning: Cryptol.Version: could not find link destinations for: Bool Version Warning: Cryptol.Parser: could not find link destinations for: Text Either Maybe FilePath Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI :*: S1 MetaSel Nothing Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 Bool Warning: Cryptol.Parser.NoInclude: could not find link destinations for: FilePath IO Either Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 NoIncM Warning: Cryptol.ModuleSystem.Monad: could not find link destinations for: Eq == Bool /= Show showsPrec Int ShowS show showList Generic from Rep to Type NFData rnf D1 MetaData False :+: C1 MetaCons PrefixI S1 MetaSel Nothing Maybe Symbol NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 FilePath UnicodeException IOException Applicative pure <*> liftA2 *> <* MonadIO liftIO IO Either Warning: Cryptol.ModuleSystem.Base: could not find link destinations for: FilePath Either Maybe IO Show Warning: Cryptol.ModuleSystem: could not find link destinations for: Bool Maybe FilePath True Generic from Rep to Type NFData rnf D1 MetaData False C1 MetaCons PrefixI :*: S1 MetaSel Just NoSourceUnpackedness NoSourceStrictness DecidedLazy Rec0 SourceStrict DecidedStrict IO Integral UnicodeException IOException Show showsPrec Int ShowS show showList :+: Nothing Symbol Either Map IfaceAbstractType Warning: Cryptol.Transform.Specialize: could not find link destinations for: Map Maybe IO Int Warning: Cryptol.Symbolic: could not find link destinations for: Int Show showsPrec ShowS show showList Bool IORef Maybe FilePath NominalDiffTime Either Integer WriterT Warning: Cryptol.REPL.Monad: could not find link destinations for: IORef RW IO Type Applicative pure <*> liftA2 *> <* MonadIO liftIO Bool Show FilePath showsPrec Int ShowS show showList Exception toException SomeException fromException Maybe displayException Map Checker IsEnvVal OptionMap Eq == /= Warning: Cryptol.Eval.Reference: could not find link destinations for: Either Bool Integer Warning: Cryptol.REPL.Command: could not find link destinations for: Eq == Bool /= Ord compare Ordering < <= > >= max min Show showsPrec Int ShowS show showList FilePath Maybe Either Documentation created: dist-ghc/doc/html/cryptol/index.html, dist-ghc/doc/html/cryptol/cryptol.txt creating dist-ghc/build/cryptol creating dist-ghc/build/cryptol/autogen creating dist-ghc/build/cryptol/autogen Preprocessing executable 'cryptol' for cryptol-2.8.0.. creating dist-ghc/build/cryptol-html creating dist-ghc/build/cryptol-html/autogen creating dist-ghc/build/cryptol-html/autogen Preprocessing executable 'cryptol-html' for cryptol-2.8.0.. touch build-haddock-stamp Adding cdbs dependencies to debian/libghc-cryptol-doc.substvars dh_installdirs -plibghc-cryptol-doc \ . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ build_recipe Running debian/hlibrary.setup build --builddir=dist-ghc Preprocessing library for cryptol-2.8.0.. Building library for cryptol-2.8.0.. [ 1 of 90] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist-ghc/build/Cryptol/Eval/Arch.o ) [ 2 of 90] Compiling Cryptol.ModuleSystem.Fingerprint ( src/Cryptol/ModuleSystem/Fingerprint.hs, dist-ghc/build/Cryptol/ModuleSystem/Fingerprint.o ) src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports] The import of ‘System.IO.Error’ is redundant except perhaps to import instances from ‘System.IO.Error’ To import instances alone, use: import System.IO.Error() | 18 | import System.IO.Error (IOError) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 90] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist-ghc/build/Cryptol/Prelude.o ) [ 4 of 90] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, dist-ghc/build/Cryptol/Utils/Ident.o ) [ 5 of 90] Compiling Cryptol.Utils.Logger ( src/Cryptol/Utils/Logger.hs, dist-ghc/build/Cryptol/Utils/Logger.o ) [ 6 of 90] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, dist-ghc/build/Cryptol/Utils/Misc.o ) [ 7 of 90] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist-ghc/build/Cryptol/Utils/PP.o ) [ 8 of 90] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist-ghc/build/Cryptol/Utils/Debug.o ) [ 9 of 90] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist-ghc/build/Cryptol/TypeCheck/PP.o ) [10 of 90] Compiling Cryptol.Parser.Selector ( src/Cryptol/Parser/Selector.hs, dist-ghc/build/Cryptol/Parser/Selector.o ) [11 of 90] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist-ghc/build/Cryptol/Parser/Position.o ) [12 of 90] Compiling Cryptol.Parser.Fixity ( src/Cryptol/Parser/Fixity.hs, dist-ghc/build/Cryptol/Parser/Fixity.o ) [13 of 90] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist-ghc/build/Cryptol/Utils/Panic.o ) [14 of 90] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/InfNat.o ) [15 of 90] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist-ghc/build/Cryptol/REPL/Trie.o ) [16 of 90] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist-ghc/build/Cryptol/Parser/Unlit.o ) [17 of 90] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, dist-ghc/build/Cryptol/Parser/Name.o ) [18 of 90] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist-ghc/build/Cryptol/Parser/AST.o ) [19 of 90] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist-ghc/build/Cryptol/Parser/Utils.o ) [20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist-ghc/build/Cryptol/Parser/Names.o ) [21 of 90] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist-ghc/build/Cryptol/Parser/NoPat.o ) [22 of 90] Compiling Cryptol.ModuleSystem.Exports ( src/Cryptol/ModuleSystem/Exports.hs, dist-ghc/build/Cryptol/ModuleSystem/Exports.o ) [23 of 90] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist-ghc/build/Cryptol/Parser/LexerUtils.o ) [24 of 90] Compiling Cryptol.Parser.Lexer ( dist-ghc/build/Cryptol/Parser/Lexer.hs, dist-ghc/build/Cryptol/Parser/Lexer.o ) [25 of 90] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist-ghc/build/Cryptol/Parser/ParserUtils.o ) [26 of 90] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, dist-ghc/build/Cryptol/ModuleSystem/Name.o ) [27 of 90] Compiling Cryptol.TypeCheck.TCon ( src/Cryptol/TypeCheck/TCon.hs, dist-ghc/build/Cryptol/TypeCheck/TCon.o ) [28 of 90] Compiling Cryptol.TypeCheck.Type ( src/Cryptol/TypeCheck/Type.hs, dist-ghc/build/Cryptol/TypeCheck/Type.o ) [29 of 90] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist-ghc/build/Cryptol/TypeCheck/AST.o ) [30 of 90] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist-ghc/build/Cryptol/TypeCheck/TypeMap.o ) [31 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Interval.o ) [32 of 90] Compiling Cryptol.TypeCheck.Solver.Types ( src/Cryptol/TypeCheck/Solver/Types.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Types.o ) [33 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Fin.o ) [34 of 90] Compiling Cryptol.TypeCheck.Parseable ( src/Cryptol/TypeCheck/Parseable.hs, dist-ghc/build/Cryptol/TypeCheck/Parseable.o ) [35 of 90] Compiling Cryptol.IR.FreeVars ( src/Cryptol/IR/FreeVars.hs, dist-ghc/build/Cryptol/IR/FreeVars.o ) [36 of 90] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist-ghc/build/Cryptol/Transform/MonoValues.o ) [37 of 90] Compiling Cryptol.Transform.AddModParams ( src/Cryptol/Transform/AddModParams.hs, dist-ghc/build/Cryptol/Transform/AddModParams.o ) [38 of 90] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist-ghc/build/Cryptol/ModuleSystem/Interface.o ) [39 of 90] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist-ghc/build/Cryptol/ModuleSystem/NamingEnv.o ) [40 of 90] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist-ghc/build/Cryptol/ModuleSystem/Renamer.o ) [41 of 90] Compiling Cryptol.Eval.Monad ( src/Cryptol/Eval/Monad.hs, dist-ghc/build/Cryptol/Eval/Monad.o ) [42 of 90] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist-ghc/build/Cryptol/Eval/Type.o ) [43 of 90] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist-ghc/build/Cryptol/Eval/Value.o ) [44 of 90] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, dist-ghc/build/Cryptol/Testing/Concrete.o ) [45 of 90] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist-ghc/build/Cryptol/Symbolic/Value.o ) [46 of 90] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist-ghc/build/Cryptol/Eval/Env.o ) [47 of 90] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist-ghc/build/Cryptol/Eval.o ) [48 of 90] Compiling Cryptol.Utils.Patterns ( src/Cryptol/Utils/Patterns.hs, dist-ghc/build/Cryptol/Utils/Patterns.o ) [49 of 90] Compiling Cryptol.TypeCheck.TypePat ( src/Cryptol/TypeCheck/TypePat.hs, dist-ghc/build/Cryptol/TypeCheck/TypePat.o ) [50 of 90] Compiling Cryptol.TypeCheck.SimpType ( src/Cryptol/TypeCheck/SimpType.hs, dist-ghc/build/Cryptol/TypeCheck/SimpType.o ) [51 of 90] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Utils.o ) [52 of 90] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Class.o ) [53 of 90] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist-ghc/build/Cryptol/Testing/Random.o ) [54 of 90] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist-ghc/build/Cryptol/Prims/Eval.o ) [55 of 90] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist-ghc/build/Cryptol/Symbolic/Prims.o ) [56 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric.o ) [57 of 90] Compiling Cryptol.TypeCheck.SimpleSolver ( src/Cryptol/TypeCheck/SimpleSolver.hs, dist-ghc/build/Cryptol/TypeCheck/SimpleSolver.o ) [58 of 90] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist-ghc/build/Cryptol/TypeCheck/Subst.o ) [59 of 90] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist-ghc/build/Cryptol/TypeCheck/Unify.o ) [60 of 90] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist-ghc/build/Cryptol/TypeCheck/TypeOf.o ) [61 of 90] Compiling Cryptol.ModuleSystem.InstantiateModule ( src/Cryptol/ModuleSystem/InstantiateModule.hs, dist-ghc/build/Cryptol/ModuleSystem/InstantiateModule.o ) src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports] The import of ‘Cryptol.ModuleSystem.Exports’ is redundant except perhaps to import instances from ‘Cryptol.ModuleSystem.Exports’ To import instances alone, use: import Cryptol.ModuleSystem.Exports() | 15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [62 of 90] Compiling Cryptol.TypeCheck.Solver.Improve ( src/Cryptol/TypeCheck/Solver/Improve.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Improve.o ) [63 of 90] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist-ghc/build/Cryptol/TypeCheck/InferTypes.o ) src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.Patterns’ is redundant except perhaps to import instances from ‘Cryptol.Utils.Patterns’ To import instances alone, use: import Cryptol.Utils.Patterns() | 31 | import Cryptol.Utils.Patterns(matchMaybe) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [64 of 90] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/SMT.o ) [65 of 90] Compiling Cryptol.TypeCheck.Error ( src/Cryptol/TypeCheck/Error.hs, dist-ghc/build/Cryptol/TypeCheck/Error.o ) [66 of 90] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist-ghc/build/Cryptol/TypeCheck/Monad.o ) [67 of 90] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Selector.o ) [68 of 90] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, dist-ghc/build/Cryptol/TypeCheck/Sanity.o ) [69 of 90] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist-ghc/build/Cryptol/TypeCheck/Depends.o ) [70 of 90] Compiling Cryptol.TypeCheck.Default ( src/Cryptol/TypeCheck/Default.hs, dist-ghc/build/Cryptol/TypeCheck/Default.o ) [71 of 90] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist-ghc/build/Cryptol/TypeCheck/Solve.o ) src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.PP’ is redundant except perhaps to import instances from ‘Cryptol.Utils.PP’ To import instances alone, use: import Cryptol.Utils.PP() | 37 | import Cryptol.Utils.PP (text,vcat,(<+>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [72 of 90] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist-ghc/build/Cryptol/TypeCheck/Kind.o ) [73 of 90] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist-ghc/build/Cryptol/TypeCheck/Instantiate.o ) [74 of 90] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist-ghc/build/Cryptol/TypeCheck/Infer.o ) [75 of 90] Compiling Cryptol.TypeCheck.CheckModuleInstance ( src/Cryptol/TypeCheck/CheckModuleInstance.hs, dist-ghc/build/Cryptol/TypeCheck/CheckModuleInstance.o ) src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports] The import of ‘Name’ from module ‘Cryptol.ModuleSystem.Name’ is redundant | 9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [76 of 90] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist-ghc/build/Cryptol/TypeCheck.o ) [77 of 90] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist-ghc/build/Cryptol/ModuleSystem/Env.o ) [78 of 90] Compiling GitRev ( src/GitRev.hs, dist-ghc/build/GitRev.o ) [79 of 90] Compiling Paths_cryptol ( dist-ghc/build/autogen/Paths_cryptol.hs, dist-ghc/build/Paths_cryptol.o ) [80 of 90] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist-ghc/build/Cryptol/Version.o ) [81 of 90] Compiling Cryptol.Parser ( dist-ghc/build/Cryptol/Parser.hs, dist-ghc/build/Cryptol/Parser.o ) [82 of 90] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist-ghc/build/Cryptol/Parser/NoInclude.o ) [83 of 90] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist-ghc/build/Cryptol/ModuleSystem/Monad.o ) [84 of 90] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist-ghc/build/Cryptol/ModuleSystem/Base.o ) [85 of 90] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist-ghc/build/Cryptol/ModuleSystem.o ) [86 of 90] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist-ghc/build/Cryptol/Transform/Specialize.o ) [87 of 90] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist-ghc/build/Cryptol/Symbolic.o ) [88 of 90] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist-ghc/build/Cryptol/REPL/Monad.o ) [89 of 90] Compiling Cryptol.Eval.Reference ( src/Cryptol/Eval/Reference.lhs, dist-ghc/build/Cryptol/Eval/Reference.o ) src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 26 | > import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [90 of 90] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist-ghc/build/Cryptol/REPL/Command.o ) src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports] The import of ‘backticks’ from module ‘Cryptol.TypeCheck.PP’ is redundant | 75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 1 of 90] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, dist-ghc/build/Cryptol/Eval/Arch.p_o ) [ 2 of 90] Compiling Cryptol.ModuleSystem.Fingerprint ( src/Cryptol/ModuleSystem/Fingerprint.hs, dist-ghc/build/Cryptol/ModuleSystem/Fingerprint.p_o ) src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports] The import of ‘System.IO.Error’ is redundant except perhaps to import instances from ‘System.IO.Error’ To import instances alone, use: import System.IO.Error() | 18 | import System.IO.Error (IOError) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 90] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, dist-ghc/build/Cryptol/Prelude.p_o ) [ 4 of 90] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, dist-ghc/build/Cryptol/Utils/Ident.p_o ) [ 5 of 90] Compiling Cryptol.Utils.Logger ( src/Cryptol/Utils/Logger.hs, dist-ghc/build/Cryptol/Utils/Logger.p_o ) [ 6 of 90] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, dist-ghc/build/Cryptol/Utils/Misc.p_o ) [ 7 of 90] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, dist-ghc/build/Cryptol/Utils/PP.p_o ) [ 8 of 90] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, dist-ghc/build/Cryptol/Utils/Debug.p_o ) [ 9 of 90] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, dist-ghc/build/Cryptol/TypeCheck/PP.p_o ) [10 of 90] Compiling Cryptol.Parser.Selector ( src/Cryptol/Parser/Selector.hs, dist-ghc/build/Cryptol/Parser/Selector.p_o ) [11 of 90] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, dist-ghc/build/Cryptol/Parser/Position.p_o ) [12 of 90] Compiling Cryptol.Parser.Fixity ( src/Cryptol/Parser/Fixity.hs, dist-ghc/build/Cryptol/Parser/Fixity.p_o ) [13 of 90] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, dist-ghc/build/Cryptol/Utils/Panic.p_o ) [14 of 90] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/InfNat.p_o ) [15 of 90] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, dist-ghc/build/Cryptol/REPL/Trie.p_o ) [16 of 90] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, dist-ghc/build/Cryptol/Parser/Unlit.p_o ) [17 of 90] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, dist-ghc/build/Cryptol/Parser/Name.p_o ) [18 of 90] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, dist-ghc/build/Cryptol/Parser/AST.p_o ) [19 of 90] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, dist-ghc/build/Cryptol/Parser/Utils.p_o ) [20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, dist-ghc/build/Cryptol/Parser/Names.p_o ) [21 of 90] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, dist-ghc/build/Cryptol/Parser/NoPat.p_o ) [22 of 90] Compiling Cryptol.ModuleSystem.Exports ( src/Cryptol/ModuleSystem/Exports.hs, dist-ghc/build/Cryptol/ModuleSystem/Exports.p_o ) [23 of 90] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, dist-ghc/build/Cryptol/Parser/LexerUtils.p_o ) [24 of 90] Compiling Cryptol.Parser.Lexer ( dist-ghc/build/Cryptol/Parser/Lexer.hs, dist-ghc/build/Cryptol/Parser/Lexer.p_o ) [25 of 90] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, dist-ghc/build/Cryptol/Parser/ParserUtils.p_o ) [26 of 90] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, dist-ghc/build/Cryptol/ModuleSystem/Name.p_o ) [27 of 90] Compiling Cryptol.TypeCheck.TCon ( src/Cryptol/TypeCheck/TCon.hs, dist-ghc/build/Cryptol/TypeCheck/TCon.p_o ) [28 of 90] Compiling Cryptol.TypeCheck.Type ( src/Cryptol/TypeCheck/Type.hs, dist-ghc/build/Cryptol/TypeCheck/Type.p_o ) [29 of 90] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, dist-ghc/build/Cryptol/TypeCheck/AST.p_o ) [30 of 90] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, dist-ghc/build/Cryptol/TypeCheck/TypeMap.p_o ) [31 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Interval.p_o ) [32 of 90] Compiling Cryptol.TypeCheck.Solver.Types ( src/Cryptol/TypeCheck/Solver/Types.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Types.p_o ) [33 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric/Fin.p_o ) [34 of 90] Compiling Cryptol.TypeCheck.Parseable ( src/Cryptol/TypeCheck/Parseable.hs, dist-ghc/build/Cryptol/TypeCheck/Parseable.p_o ) [35 of 90] Compiling Cryptol.IR.FreeVars ( src/Cryptol/IR/FreeVars.hs, dist-ghc/build/Cryptol/IR/FreeVars.p_o ) [36 of 90] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, dist-ghc/build/Cryptol/Transform/MonoValues.p_o ) [37 of 90] Compiling Cryptol.Transform.AddModParams ( src/Cryptol/Transform/AddModParams.hs, dist-ghc/build/Cryptol/Transform/AddModParams.p_o ) [38 of 90] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, dist-ghc/build/Cryptol/ModuleSystem/Interface.p_o ) [39 of 90] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, dist-ghc/build/Cryptol/ModuleSystem/NamingEnv.p_o ) [40 of 90] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, dist-ghc/build/Cryptol/ModuleSystem/Renamer.p_o ) [41 of 90] Compiling Cryptol.Eval.Monad ( src/Cryptol/Eval/Monad.hs, dist-ghc/build/Cryptol/Eval/Monad.p_o ) [42 of 90] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, dist-ghc/build/Cryptol/Eval/Type.p_o ) [43 of 90] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, dist-ghc/build/Cryptol/Eval/Value.p_o ) [44 of 90] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, dist-ghc/build/Cryptol/Testing/Concrete.p_o ) [45 of 90] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, dist-ghc/build/Cryptol/Symbolic/Value.p_o ) [46 of 90] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, dist-ghc/build/Cryptol/Eval/Env.p_o ) [47 of 90] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, dist-ghc/build/Cryptol/Eval.p_o ) [48 of 90] Compiling Cryptol.Utils.Patterns ( src/Cryptol/Utils/Patterns.hs, dist-ghc/build/Cryptol/Utils/Patterns.p_o ) [49 of 90] Compiling Cryptol.TypeCheck.TypePat ( src/Cryptol/TypeCheck/TypePat.hs, dist-ghc/build/Cryptol/TypeCheck/TypePat.p_o ) [50 of 90] Compiling Cryptol.TypeCheck.SimpType ( src/Cryptol/TypeCheck/SimpType.hs, dist-ghc/build/Cryptol/TypeCheck/SimpType.p_o ) [51 of 90] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Utils.p_o ) [52 of 90] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Class.p_o ) [53 of 90] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, dist-ghc/build/Cryptol/Testing/Random.p_o ) [54 of 90] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, dist-ghc/build/Cryptol/Prims/Eval.p_o ) [55 of 90] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, dist-ghc/build/Cryptol/Symbolic/Prims.p_o ) [56 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Numeric.p_o ) [57 of 90] Compiling Cryptol.TypeCheck.SimpleSolver ( src/Cryptol/TypeCheck/SimpleSolver.hs, dist-ghc/build/Cryptol/TypeCheck/SimpleSolver.p_o ) [58 of 90] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, dist-ghc/build/Cryptol/TypeCheck/Subst.p_o ) [59 of 90] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, dist-ghc/build/Cryptol/TypeCheck/Unify.p_o ) [60 of 90] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, dist-ghc/build/Cryptol/TypeCheck/TypeOf.p_o ) [61 of 90] Compiling Cryptol.ModuleSystem.InstantiateModule ( src/Cryptol/ModuleSystem/InstantiateModule.hs, dist-ghc/build/Cryptol/ModuleSystem/InstantiateModule.p_o ) src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports] The import of ‘Cryptol.ModuleSystem.Exports’ is redundant except perhaps to import instances from ‘Cryptol.ModuleSystem.Exports’ To import instances alone, use: import Cryptol.ModuleSystem.Exports() | 15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [62 of 90] Compiling Cryptol.TypeCheck.Solver.Improve ( src/Cryptol/TypeCheck/Solver/Improve.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Improve.p_o ) [63 of 90] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, dist-ghc/build/Cryptol/TypeCheck/InferTypes.p_o ) src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.Patterns’ is redundant except perhaps to import instances from ‘Cryptol.Utils.Patterns’ To import instances alone, use: import Cryptol.Utils.Patterns() | 31 | import Cryptol.Utils.Patterns(matchMaybe) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [64 of 90] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/SMT.p_o ) [65 of 90] Compiling Cryptol.TypeCheck.Error ( src/Cryptol/TypeCheck/Error.hs, dist-ghc/build/Cryptol/TypeCheck/Error.p_o ) [66 of 90] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, dist-ghc/build/Cryptol/TypeCheck/Monad.p_o ) [67 of 90] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, dist-ghc/build/Cryptol/TypeCheck/Solver/Selector.p_o ) [68 of 90] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, dist-ghc/build/Cryptol/TypeCheck/Sanity.p_o ) [69 of 90] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, dist-ghc/build/Cryptol/TypeCheck/Depends.p_o ) [70 of 90] Compiling Cryptol.TypeCheck.Default ( src/Cryptol/TypeCheck/Default.hs, dist-ghc/build/Cryptol/TypeCheck/Default.p_o ) [71 of 90] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, dist-ghc/build/Cryptol/TypeCheck/Solve.p_o ) src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports] The import of ‘Cryptol.Utils.PP’ is redundant except perhaps to import instances from ‘Cryptol.Utils.PP’ To import instances alone, use: import Cryptol.Utils.PP() | 37 | import Cryptol.Utils.PP (text,vcat,(<+>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [72 of 90] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, dist-ghc/build/Cryptol/TypeCheck/Kind.p_o ) [73 of 90] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, dist-ghc/build/Cryptol/TypeCheck/Instantiate.p_o ) [74 of 90] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, dist-ghc/build/Cryptol/TypeCheck/Infer.p_o ) [75 of 90] Compiling Cryptol.TypeCheck.CheckModuleInstance ( src/Cryptol/TypeCheck/CheckModuleInstance.hs, dist-ghc/build/Cryptol/TypeCheck/CheckModuleInstance.p_o ) src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports] The import of ‘Name’ from module ‘Cryptol.ModuleSystem.Name’ is redundant | 9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [76 of 90] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, dist-ghc/build/Cryptol/TypeCheck.p_o ) [77 of 90] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, dist-ghc/build/Cryptol/ModuleSystem/Env.p_o ) [78 of 90] Compiling GitRev ( src/GitRev.hs, dist-ghc/build/GitRev.p_o ) [79 of 90] Compiling Paths_cryptol ( dist-ghc/build/autogen/Paths_cryptol.hs, dist-ghc/build/Paths_cryptol.p_o ) [80 of 90] Compiling Cryptol.Version ( src/Cryptol/Version.hs, dist-ghc/build/Cryptol/Version.p_o ) [81 of 90] Compiling Cryptol.Parser ( dist-ghc/build/Cryptol/Parser.hs, dist-ghc/build/Cryptol/Parser.p_o ) [82 of 90] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, dist-ghc/build/Cryptol/Parser/NoInclude.p_o ) [83 of 90] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, dist-ghc/build/Cryptol/ModuleSystem/Monad.p_o ) [84 of 90] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, dist-ghc/build/Cryptol/ModuleSystem/Base.p_o ) [85 of 90] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, dist-ghc/build/Cryptol/ModuleSystem.p_o ) [86 of 90] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, dist-ghc/build/Cryptol/Transform/Specialize.p_o ) [87 of 90] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, dist-ghc/build/Cryptol/Symbolic.p_o ) [88 of 90] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, dist-ghc/build/Cryptol/REPL/Monad.p_o ) [89 of 90] Compiling Cryptol.Eval.Reference ( src/Cryptol/Eval/Reference.lhs, dist-ghc/build/Cryptol/Eval/Reference.p_o ) src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports] The import of ‘Data.Semigroup’ is redundant except perhaps to import instances from ‘Data.Semigroup’ To import instances alone, use: import Data.Semigroup() | 26 | > import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [90 of 90] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, dist-ghc/build/Cryptol/REPL/Command.p_o ) src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports] The import of ‘backticks’ from module ‘Cryptol.TypeCheck.PP’ is redundant | 75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Preprocessing executable 'cryptol' for cryptol-2.8.0.. Building executable 'cryptol' for cryptol-2.8.0.. [1 of 5] Compiling OptParser ( cryptol/OptParser.hs, dist-ghc/build/cryptol/cryptol-tmp/OptParser.o ) cryptol/OptParser.hs:12:1: warning: [-Wunused-imports] The import of ‘Data.Monoid’ is redundant except perhaps to import instances from ‘Data.Monoid’ To import instances alone, use: import Data.Monoid() | 12 | import Data.Monoid (Endo(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [2 of 5] Compiling Paths_cryptol ( dist-ghc/build/cryptol/autogen/Paths_cryptol.hs, dist-ghc/build/cryptol/cryptol-tmp/Paths_cryptol.o ) [3 of 5] Compiling REPL.Haskeline ( cryptol/REPL/Haskeline.hs, dist-ghc/build/cryptol/cryptol-tmp/REPL/Haskeline.o ) [4 of 5] Compiling REPL.Logo ( cryptol/REPL/Logo.hs, dist-ghc/build/cryptol/cryptol-tmp/REPL/Logo.o ) [5 of 5] Compiling Main ( cryptol/Main.hs, dist-ghc/build/cryptol/cryptol-tmp/Main.o ) Linking dist-ghc/build/cryptol/cryptol ... Preprocessing executable 'cryptol-html' for cryptol-2.8.0.. Building executable 'cryptol-html' for cryptol-2.8.0.. [1 of 1] Compiling Main ( utils/CryHtml.hs, dist-ghc/build/cryptol-html/cryptol-html-tmp/Main.o ) Linking dist-ghc/build/cryptol-html/cryptol-html ... touch build-ghc-stamp debian/hlibrary.setup copy --builddir=dist-ghc --destdir=debian/tmp-inst-ghc Installing library in debian/tmp-inst-ghc/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.3/cryptol-2.8.0-jyTxkWAqoKLO0ZfM89b4u Installing executable cryptol in debian/tmp-inst-ghc/usr/bin Warning: The directory debian/tmp-inst-ghc/usr/bin is not in the system search path. Installing executable cryptol-html in debian/tmp-inst-ghc/usr/bin Warning: The directory debian/tmp-inst-ghc/usr/bin is not in the system search path. . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ extra_depends_recipe ghc Running dh_haskell_extra_depends ghc cryptol-2.8.0.conf . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_doc_recipe "libghc-cryptol-doc" Running mkdir -p debian/libghc-cryptol-doc/usr/share/doc/libghc-cryptol-doc/html/ Running cd debian/tmp-inst-ghc/ Running find ./usr/share/doc/libghc-cryptol-doc/html/ \! -name \*.haddock \! -type d -exec install -Dm 644 \{\} ../libghc-cryptol-doc/\{\} \; Running mkdir -p debian/libghc-cryptol-doc/usr/lib/ghc-doc/haddock/cryptol-2.8.0/ Running cp -r debian/tmp-inst-ghc/usr/lib/ghc-doc/haddock/cryptol-2.8.0//cryptol.haddock debian/libghc-cryptol-doc/usr/lib/ghc-doc/haddock/cryptol-2.8.0/ Running mkdir -p debian/libghc-cryptol-doc/usr/lib/ghc-doc/hoogle Running ln -rs -T debian/libghc-cryptol-doc/usr/share/doc/libghc-cryptol-doc/html//cryptol.txt debian/libghc-cryptol-doc/usr/lib/ghc-doc/hoogle/libghc-cryptol-doc.txt Running dh_haskell_depends -plibghc-cryptol-doc dh_haskell_blurbs "ghc" -plibghc-cryptol-doc dh_installdocs -plibghc-cryptol-doc dh_installexamples -plibghc-cryptol-doc dh_installman -plibghc-cryptol-doc dh_installinfo -plibghc-cryptol-doc dh_installmenu -plibghc-cryptol-doc dh_installcron -plibghc-cryptol-doc dh_systemd_enable -plibghc-cryptol-doc dh_installinit -plibghc-cryptol-doc dh_installdebconf -plibghc-cryptol-doc dh_installemacsen -plibghc-cryptol-doc dh_installcatalogs -plibghc-cryptol-doc dh_installpam -plibghc-cryptol-doc dh_installlogrotate -plibghc-cryptol-doc dh_installlogcheck -plibghc-cryptol-doc dh_installchangelogs -plibghc-cryptol-doc dh_installudev -plibghc-cryptol-doc dh_lintian -plibghc-cryptol-doc dh_bugfiles -plibghc-cryptol-doc dh_install -plibghc-cryptol-doc dh_systemd_start -plibghc-cryptol-doc dh_link -plibghc-cryptol-doc dh_buildinfo -plibghc-cryptol-doc dh_installmime -plibghc-cryptol-doc dh_installgsettings -plibghc-cryptol-doc dh_strip -plibghc-cryptol-doc --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-cryptol-doc dh_compress -plibghc-cryptol-doc -X .haddock -X .hs -X .txt dh_fixperms -plibghc-cryptol-doc dh_makeshlibs -plibghc-cryptol-doc -XlibHS dh_installdeb -plibghc-cryptol-doc dh_perl -plibghc-cryptol-doc dh_shlibdeps -plibghc-cryptol-doc -- --ignore-missing-info dh_gencontrol -plibghc-cryptol-doc dpkg-gencontrol: warning: Conflicts field of package libghc-cryptol-doc: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-cryptol-doc: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-cryptol-doc dh_builddeb -plibghc-cryptol-doc dpkg-deb: building package 'libghc-cryptol-doc' in '../libghc-cryptol-doc_2.8.0-1_all.deb'. dpkg-genbuildinfo --build=all dpkg-genchanges --build=all >../haskell-cryptol_2.8.0-1_all.changes dpkg-genchanges: warning: substitution variable ${haskell:ShortDescription} used, but is not defined dpkg-genchanges: warning: substitution variable ${haskell:ShortBlurb} used, but is not defined 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/haskell-cryptol-GqjHK6 /tmp/haskell-cryptol-2.8.0-1m9gfwp09 I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.xzqcHHOJ2e... I: success in 1141.0805 seconds md5: libghc-cryptol-doc_2.8.0-1_all.deb: OK sha1: libghc-cryptol-doc_2.8.0-1_all.deb: OK sha256: libghc-cryptol-doc_2.8.0-1_all.deb: OK Checksums: OK