Input buildinfo: https://buildinfos.debian.net/buildinfo-pool/h/haskell-genvalidity-hspec/haskell-genvalidity-hspec_0.7.0.4-1+b4_amd64.buildinfo Use metasnap for getting required timestamps New buildinfo file: /tmp/haskell-genvalidity-hspec-0.7.0.4-1+b4kop15x7e/haskell-genvalidity-hspec_0.7.0.4-1+b4_amd64.buildinfo Get source package info: haskell-genvalidity-hspec=0.7.0.4-1 Source URL: http://snapshot.notset.fr/mr/package/haskell-genvalidity-hspec/0.7.0.4-1/srcfiles?fileinfo=1 env -i PATH=/usr/sbin:/usr/bin:/sbin:/bin TMPDIR=/tmp mmdebstrap --arch=amd64 --include=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-7 binutils=2.35-2 binutils-common=2.35-2 binutils-x86-64-linux-gnu=2.35-2 bsdextrautils=2.36-2 bsdutils=1:2.36-2 build-essential=12.8 bzip2=1.0.8-4 cdbs=0.4.162 coreutils=8.32-3 cpp=4:10.1.0-1 cpp-10=10.2.0-5 dash=0.5.10.2-7 dctrl-tools=2.24-3+b1 debconf=1.5.74 debhelper=13.2 debianutils=4.11.1 dh-autoreconf=19 dh-buildinfo=0.11+nmu2 dh-strip-nondeterminism=1.9.0-1 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 g++=4:10.1.0-1 g++-10=10.2.0-5 gcc=4:10.1.0-1 gcc-10=10.2.0-5 gcc-10-base=10.2.0-5 gettext=0.19.8.1-10 gettext-base=0.19.8.1-10 ghc=8.8.4-1 ghc-prof=8.8.4-1 grep=3.4-1 groff-base=1.22.4-5 gzip=1.10-2 haskell-devscripts-minimal=0.16.0 hostname=3.23 hspec-discover=2.7.1-1 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 libasan6=10.2.0-5 libatomic1=10.2.0-5 libattr1=1:2.4.48-5 libaudit-common=1:2.8.5-3 libaudit1=1:2.8.5-3+b1 libbinutils=2.35-2 libblkid1=2.36-2 libbrotli1=1.0.7-7 libbsd-dev=0.10.0-1 libbsd0=0.10.0-1 libbz2-1.0=1.0.8-4 libc-bin=2.31-3 libc-dev-bin=2.31-3 libc6=2.31-3 libc6-dev=2.31-3 libcap-ng0=0.7.9-2.2 libcc1-0=10.2.0-5 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.35-2 libctf0=2.35-2 libcurl3-gnutls=7.68.0-1+b1 libdb5.3=5.3.28+dfsg1-0.6 libdebconfclient0=0.253 libdebhelper-perl=13.2 libdpkg-perl=1.20.5 libelf1=0.180-1+b1 libffi-dev=3.3-4 libffi7=3.3-4 libfile-stripnondeterminism-perl=1.9.0-1 libgcc-10-dev=10.2.0-5 libgcc-s1=10.2.0-5 libgcrypt20=1.8.6-2 libgdbm-compat4=1.18.1-5 libgdbm6=1.18.1-5 libghc-ansi-terminal-dev=0.10.3-1+b1 libghc-ansi-terminal-prof=0.10.3-1+b1 libghc-call-stack-dev=0.2.0-1+b1 libghc-call-stack-prof=0.2.0-1+b1 libghc-clock-dev=0.8-1+b1 libghc-clock-prof=0.8-1+b1 libghc-colour-dev=2.3.5-2+b1 libghc-colour-prof=2.3.5-2+b1 libghc-genvalidity-dev=0.11.0.0-1+b1 libghc-genvalidity-prof=0.11.0.0-1+b1 libghc-genvalidity-property-dev=0.5.0.1-1+b4 libghc-genvalidity-property-prof=0.5.0.1-1+b4 libghc-haskell-lexer-dev=1.1-1+b1 libghc-haskell-lexer-prof=1.1-1+b1 libghc-hspec-core-dev=2.7.1-1+b2 libghc-hspec-core-prof=2.7.1-1+b2 libghc-hspec-dev=2.7.1-2+b2 libghc-hspec-expectations-dev=0.8.2-4+b1 libghc-hspec-expectations-prof=0.8.2-4+b1 libghc-hspec-prof=2.7.1-2+b2 libghc-hunit-dev=1.6.0.0-3+b1 libghc-hunit-prof=1.6.0.0-3+b1 libghc-pretty-show-dev=1.10-1+b1 libghc-pretty-show-prof=1.10-1+b1 libghc-primitive-dev=0.7.0.1-1+b1 libghc-primitive-prof=0.7.0.1-1+b1 libghc-quickcheck-io-dev=0.2.0-4+b2 libghc-quickcheck-io-prof=0.2.0-4+b2 libghc-quickcheck2-dev=2.13.2-1+b2 libghc-quickcheck2-prof=2.13.2-1+b2 libghc-random-dev=1.1-12+b1 libghc-random-prof=1.1-12+b1 libghc-setenv-dev=0.1.1.3-9+b1 libghc-setenv-prof=0.1.1.3-9+b1 libghc-splitmix-dev=0.0.5-1 libghc-splitmix-prof=0.0.5-1 libghc-tf-random-dev=0.5-10+b1 libghc-tf-random-prof=0.5-10+b1 libghc-validity-dev=0.11.0.0-2 libghc-validity-prof=0.11.0.0-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+b1 libgomp1=10.2.0-5 libgpg-error0=1.38-2 libgssapi-krb5-2=1.17-10 libhogweed6=3.6-2 libicu67=67.1-4 libidn2-0=2.3.0-1 libisl22=0.22.1-1 libitm1=10.2.0-5 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+b1 libldap-common=2.4.50+dfsg-1 liblsan0=10.2.0-5 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.36-2 libmpc3=1.2.0~rc1-1 libmpfr6=4.1.0-3 libncurses-dev=6.2-1 libncurses5-dev=6.2-1 libncurses6=6.2-1 libncursesw6=6.2-1 libnettle8=3.6-2 libnghttp2-14=1.41.0-3 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.3-1 libpsl5=0.21.0-1.1 libquadmath0=10.2.0-5 librtmp1=2.4+20151223.gitfa8646d.1-2+b2 libsasl2-2=2.1.27+dfsg-2 libsasl2-modules-db=2.1.27+dfsg-2 libseccomp2=2.4.3-1+b1 libselinux1=3.1-2 libsigsegv2=2.12-2 libsmartcols1=2.36-2 libssh2-1=1.8.0-2.1 libssl1.1=1.1.1g-1 libstdc++-10-dev=10.2.0-5 libstdc++6=10.2.0-5 libsub-override-perl=0.09-2 libsystemd0=246.2-1 libtasn1-6=4.16.0-2 libtinfo6=6.2-1 libtool=2.4.6-14 libtsan0=10.2.0-5 libubsan1=10.2.0-5 libuchardet0=0.0.7-1 libudev1=246.2-1 libunistring2=0.9.10-4 libuuid1=2.36-2 libxml2=2.9.10+dfsg-5+b1 libzstd1=1.4.5+dfsg-4 linux-libc-dev=5.7.10-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-4 tar=1.30+dfsg-7 util-linux=2.36-2 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/20211009T024746Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200821T144650Z/ 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-genvalidity-hspec=0.7.0.4-1 && mkdir -p /build/haskell-genvalidity-hspec-V6X88e && dpkg-source --no-check -x /*.dsc /build/haskell-genvalidity-hspec-V6X88e/haskell-genvalidity-hspec-0.7.0.4 && cd /build/haskell-genvalidity-hspec-V6X88e/haskell-genvalidity-hspec-0.7.0.4 && { printf '%s' 'haskell-genvalidity-hspec (0.7.0.4-1+b4) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * validity-0.11.0.0 changed from 9393a to c8147 -- amd64 / i386 Build Daemon (x86-ubc-01) Sat, 22 Aug 2020 09:36:02 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-genvalidity-hspec-V6X88e" --customize-hook=chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-genvalidity-hspec-V6X88e/haskell-genvalidity-hspec-0.7.0.4 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1598088962" dpkg-buildpackage -uc -a amd64 --build=any" --customize-hook=sync-out /build/haskell-genvalidity-hspec-V6X88e /tmp/haskell-genvalidity-hspec-0.7.0.4-1+b4kop15x7e bullseye /dev/null deb http://snapshot.notset.fr/archive/debian/20200821T144650Z 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.q4NHThbG9T 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.q4NHThbG9T Reading package lists... Building dependency tree... util-linux is already the newest version (2.36-2). 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/20200821T144650Z unstable/main amd64 libfakeroot amd64 1.24-1 [45.7 kB] Get:2 http://snapshot.notset.fr/archive/debian/20200821T144650Z 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 (865 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.31-3) ... I: running special hook: copy-in /usr/share/keyrings/debian-archive-bullseye-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-security-automatic.gpg /usr/share/keyrings/debian-archive-bullseye-stable.gpg /usr/share/keyrings/debian-archive-buster-automatic.gpg /usr/share/keyrings/debian-archive-buster-security-automatic.gpg /usr/share/keyrings/debian-archive-buster-stable.gpg /usr/share/keyrings/debian-archive-keyring.gpg /usr/share/keyrings/debian-archive-removed-keys.gpg /usr/share/keyrings/debian-archive-stretch-automatic.gpg /usr/share/keyrings/debian-archive-stretch-security-automatic.gpg /usr/share/keyrings/debian-archive-stretch-stable.gpg /usr/share/keyrings/debian-ports-archive-keyring-removed.gpg /usr/share/keyrings/debian-ports-archive-keyring.gpg /usr/share/keyrings/debian-keyring.gpg /etc/apt/trusted.gpg.d/ I: running --essential-hook in shell: sh -c 'chroot "$1" sh -c "rm /etc/apt/sources.list && echo 'deb http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb-src http://snapshot.notset.fr/archive/debian/20210814T212851Z/ bookworm main deb http://snapshot.notset.fr/archive/debian/20211009T024746Z/ unstable main deb http://snapshot.notset.fr/archive/debian/20200821T144650Z/ unstable main' >> /etc/apt/sources.list && apt-get update"' exec /tmp/mmdebstrap.q4NHThbG9T Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm InRelease [81.6 kB] Get:2 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable InRelease [165 kB] Hit:3 http://snapshot.notset.fr/archive/debian/20200821T144650Z unstable InRelease Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Ign:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources Ign:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages Get:4 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main Sources [11.4 MB] Get:5 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main amd64 Packages [11.1 MB] Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Ign:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages Get:6 http://snapshot.notset.fr/archive/debian/20211009T024746Z unstable/main amd64 Packages [11.9 MB] Fetched 34.6 MB in 30s (1173 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.q4NHThbG9T I: running --customize-hook in shell: sh -c 'chroot "$1" env sh -c "apt-get source --only-source -d haskell-genvalidity-hspec=0.7.0.4-1 && mkdir -p /build/haskell-genvalidity-hspec-V6X88e && dpkg-source --no-check -x /*.dsc /build/haskell-genvalidity-hspec-V6X88e/haskell-genvalidity-hspec-0.7.0.4 && cd /build/haskell-genvalidity-hspec-V6X88e/haskell-genvalidity-hspec-0.7.0.4 && { printf '%s' 'haskell-genvalidity-hspec (0.7.0.4-1+b4) sid; urgency=low, binary-only=yes * Binary-only non-maintainer upload for amd64; no source changes. * validity-0.11.0.0 changed from 9393a to c8147 -- amd64 / i386 Build Daemon (x86-ubc-01) Sat, 22 Aug 2020 09:36:02 +0000 '; cat debian/changelog; } > debian/changelog.debrebuild && mv debian/changelog.debrebuild debian/changelog && chown -R builduser:builduser /build/haskell-genvalidity-hspec-V6X88e"' exec /tmp/mmdebstrap.q4NHThbG9T Reading package lists... Need to get 19.0 kB of source archives. Get:1 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-genvalidity-hspec 0.7.0.4-1 (dsc) [2749 B] Get:2 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-genvalidity-hspec 0.7.0.4-1 (tar) [13.8 kB] Get:3 http://snapshot.notset.fr/archive/debian/20210814T212851Z bookworm/main haskell-genvalidity-hspec 0.7.0.4-1 (diff) [2388 B] Fetched 19.0 kB in 0s (434 kB/s) Download complete and in download only mode W: Download is performed unsandboxed as root as file 'haskell-genvalidity-hspec_0.7.0.4-1.dsc' couldn't be accessed by user '_apt'. - pkgAcquire::Run (13: Permission denied) dpkg-source: info: extracting haskell-genvalidity-hspec in /build/haskell-genvalidity-hspec-V6X88e/haskell-genvalidity-hspec-0.7.0.4 dpkg-source: info: unpacking haskell-genvalidity-hspec_0.7.0.4.orig.tar.gz dpkg-source: info: unpacking haskell-genvalidity-hspec_0.7.0.4-1.debian.tar.xz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying rtsopts_remove_N I: running --customize-hook in shell: sh -c 'chroot "$1" env --unset=TMPDIR runuser builduser -c "cd /build/haskell-genvalidity-hspec-V6X88e/haskell-genvalidity-hspec-0.7.0.4 && env DEB_BUILD_OPTIONS="parallel=4" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1598088962" dpkg-buildpackage -uc -a amd64 --build=any"' exec /tmp/mmdebstrap.q4NHThbG9T dpkg-buildpackage: info: source package haskell-genvalidity-hspec dpkg-buildpackage: info: source version 0.7.0.4-1+b4 dpkg-buildpackage: info: source distribution sid dpkg-buildpackage: info: source changed by amd64 / i386 Build Daemon (x86-ubc-01) dpkg-source --before-build . dpkg-buildpackage: info: host architecture amd64 fakeroot 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 build-arch test -x debian/rules 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/genvalidity-hspec-0.7.0.4/ --datasubdir=genvalidity-hspec --htmldir=/usr/share/doc/libghc-genvalidity-hspec-doc/html/ --enable-library-profiling --enable-tests Using Parsec parser Configuring genvalidity-hspec-0.7.0.4... Dependency QuickCheck -any: using QuickCheck-2.13.2 Dependency base >=4.9 && <5: using base-4.13.0.0 Dependency genvalidity >=0.8: using genvalidity-0.11.0.0 Dependency genvalidity-property >=0.5: using genvalidity-property-0.5.0.1 Dependency hspec -any: using hspec-2.7.1 Dependency hspec-core -any: using hspec-core-2.7.1 Dependency transformers -any: using transformers-0.5.6.2 Dependency validity >=0.5: using validity-0.11.0.0 Dependency QuickCheck -any: using QuickCheck-2.13.2 Dependency base >=4.9 && <5: using base-4.13.0.0 Dependency genvalidity -any: using genvalidity-0.11.0.0 Dependency genvalidity-hspec -any: using genvalidity-hspec-0.7.0.4 Dependency hspec -any: using hspec-2.7.1 Dependency hspec-core -any: using hspec-core-2.7.1 Source component graph: component lib component test:genvalidity-hspec-test dependency lib Configured component graph: component genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include base-4.13.0.0 include genvalidity-0.11.0.0-ExxLcUdFoLwIxPKtPwYOha include genvalidity-property-0.5.0.1-BCYIExDtrmO2EaXNubGhx4 include hspec-2.7.1-5JvuKFX0Z3iFazfgnEEvF6 include hspec-core-2.7.1-8DLunslkKfrJrZHkpwaqqu include transformers-0.5.6.2 include validity-0.11.0.0-HALxYg7qlyhF9jTnE9GVXy component genvalidity-hspec-0.7.0.4-AQ9Qf7su1rHJm9xAUYIVYh-genvalidity-hspec-test include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include base-4.13.0.0 include genvalidity-0.11.0.0-ExxLcUdFoLwIxPKtPwYOha include genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi include hspec-2.7.1-5JvuKFX0Z3iFazfgnEEvF6 include hspec-core-2.7.1-8DLunslkKfrJrZHkpwaqqu Linked component graph: unit genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include base-4.13.0.0 include genvalidity-0.11.0.0-ExxLcUdFoLwIxPKtPwYOha include genvalidity-property-0.5.0.1-BCYIExDtrmO2EaXNubGhx4 include hspec-2.7.1-5JvuKFX0Z3iFazfgnEEvF6 include hspec-core-2.7.1-8DLunslkKfrJrZHkpwaqqu include transformers-0.5.6.2 include validity-0.11.0.0-HALxYg7qlyhF9jTnE9GVXy Test.Validity=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity,Test.Validity.Applicative=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Applicative,Test.Validity.Arbitrary=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Arbitrary,Test.Validity.Eq=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Eq,Test.Validity.Functor=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Functor,Test.Validity.GenRelativeValidity=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.GenRelativeValidity,Test.Validity.GenValidity=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.GenValidity,Test.Validity.Monad=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Monad,Test.Validity.Monoid=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Monoid,Test.Validity.Ord=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Ord,Test.Validity.RelativeValidity=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.RelativeValidity,Test.Validity.Show=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Show,Test.Validity.Shrinking=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Shrinking,Test.Validity.Utils=genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi:Test.Validity.Utils unit genvalidity-hspec-0.7.0.4-AQ9Qf7su1rHJm9xAUYIVYh-genvalidity-hspec-test include QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD include base-4.13.0.0 include genvalidity-0.11.0.0-ExxLcUdFoLwIxPKtPwYOha include genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi include hspec-2.7.1-5JvuKFX0Z3iFazfgnEEvF6 include hspec-core-2.7.1-8DLunslkKfrJrZHkpwaqqu Ready component graph: definite genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi depends QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD depends base-4.13.0.0 depends genvalidity-0.11.0.0-ExxLcUdFoLwIxPKtPwYOha depends genvalidity-property-0.5.0.1-BCYIExDtrmO2EaXNubGhx4 depends hspec-2.7.1-5JvuKFX0Z3iFazfgnEEvF6 depends hspec-core-2.7.1-8DLunslkKfrJrZHkpwaqqu depends transformers-0.5.6.2 depends validity-0.11.0.0-HALxYg7qlyhF9jTnE9GVXy definite genvalidity-hspec-0.7.0.4-AQ9Qf7su1rHJm9xAUYIVYh-genvalidity-hspec-test depends QuickCheck-2.13.2-4wWbKcyoHya6ofaj2IHJWD depends base-4.13.0.0 depends genvalidity-0.11.0.0-ExxLcUdFoLwIxPKtPwYOha depends genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi depends hspec-2.7.1-5JvuKFX0Z3iFazfgnEEvF6 depends hspec-core-2.7.1-8DLunslkKfrJrZHkpwaqqu Using Cabal-3.0.1.0 compiled by ghc-8.8 Using compiler: ghc-8.8.4 Using install prefix: /usr Executables installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi Dynamic Libraries installed in: /usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4 Private executables installed in: /usr/lib/x86_64-linux-ghc-8.8.4/genvalidity-hspec-0.7.0.4 Data files installed in: /usr/share/genvalidity-hspec Documentation installed in: /usr/share/doc/x86_64-linux-ghc-8.8.4/genvalidity-hspec-0.7.0.4 Configuration files installed in: /usr/etc No alex found 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 10 found on system at: /usr/bin/x86_64-linux-gnu-gcc Using ghc version 8.8.4 found on system at: /usr/bin/ghc Using ghc-pkg version 8.8.4 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 No happy found 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.7 found on system at: /usr/bin/hsc2hs No hscolour found 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.4 found on system at: /usr/bin/runghc Using strip version 2.35 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 && \ build_recipe Running debian/hlibrary.setup build --builddir=dist-ghc Preprocessing library for genvalidity-hspec-0.7.0.4.. Building library for genvalidity-hspec-0.7.0.4.. [ 1 of 15] Compiling Paths_genvalidity_hspec ( dist-ghc/build/autogen/Paths_genvalidity_hspec.hs, dist-ghc/build/Paths_genvalidity_hspec.o ) [ 2 of 15] Compiling Test.Validity.Utils ( src/Test/Validity/Utils.hs, dist-ghc/build/Test/Validity/Utils.o ) [ 3 of 15] Compiling Test.Validity.Shrinking ( src/Test/Validity/Shrinking.hs, dist-ghc/build/Test/Validity/Shrinking.o ) [ 4 of 15] Compiling Test.Validity.Show ( src/Test/Validity/Show.hs, dist-ghc/build/Test/Validity/Show.o ) [ 5 of 15] Compiling Test.Validity.RelativeValidity ( src/Test/Validity/RelativeValidity.hs, dist-ghc/build/Test/Validity/RelativeValidity.o ) [ 6 of 15] Compiling Test.Validity.Ord ( src/Test/Validity/Ord.hs, dist-ghc/build/Test/Validity/Ord.o ) [ 7 of 15] Compiling Test.Validity.Monoid ( src/Test/Validity/Monoid.hs, dist-ghc/build/Test/Validity/Monoid.o ) [ 8 of 15] Compiling Test.Validity.Monad ( src/Test/Validity/Monad.hs, dist-ghc/build/Test/Validity/Monad.o ) [ 9 of 15] Compiling Test.Validity.GenValidity ( src/Test/Validity/GenValidity.hs, dist-ghc/build/Test/Validity/GenValidity.o ) [10 of 15] Compiling Test.Validity.GenRelativeValidity ( src/Test/Validity/GenRelativeValidity.hs, dist-ghc/build/Test/Validity/GenRelativeValidity.o ) [11 of 15] Compiling Test.Validity.Functor ( src/Test/Validity/Functor.hs, dist-ghc/build/Test/Validity/Functor.o ) [12 of 15] Compiling Test.Validity.Eq ( src/Test/Validity/Eq.hs, dist-ghc/build/Test/Validity/Eq.o ) [13 of 15] Compiling Test.Validity.Arbitrary ( src/Test/Validity/Arbitrary.hs, dist-ghc/build/Test/Validity/Arbitrary.o ) [14 of 15] Compiling Test.Validity.Applicative ( src/Test/Validity/Applicative.hs, dist-ghc/build/Test/Validity/Applicative.o ) [15 of 15] Compiling Test.Validity ( src/Test/Validity.hs, dist-ghc/build/Test/Validity.o ) [ 1 of 15] Compiling Paths_genvalidity_hspec ( dist-ghc/build/autogen/Paths_genvalidity_hspec.hs, dist-ghc/build/Paths_genvalidity_hspec.p_o ) [ 2 of 15] Compiling Test.Validity.Utils ( src/Test/Validity/Utils.hs, dist-ghc/build/Test/Validity/Utils.p_o ) [ 3 of 15] Compiling Test.Validity.Shrinking ( src/Test/Validity/Shrinking.hs, dist-ghc/build/Test/Validity/Shrinking.p_o ) [ 4 of 15] Compiling Test.Validity.Show ( src/Test/Validity/Show.hs, dist-ghc/build/Test/Validity/Show.p_o ) [ 5 of 15] Compiling Test.Validity.RelativeValidity ( src/Test/Validity/RelativeValidity.hs, dist-ghc/build/Test/Validity/RelativeValidity.p_o ) [ 6 of 15] Compiling Test.Validity.Ord ( src/Test/Validity/Ord.hs, dist-ghc/build/Test/Validity/Ord.p_o ) [ 7 of 15] Compiling Test.Validity.Monoid ( src/Test/Validity/Monoid.hs, dist-ghc/build/Test/Validity/Monoid.p_o ) [ 8 of 15] Compiling Test.Validity.Monad ( src/Test/Validity/Monad.hs, dist-ghc/build/Test/Validity/Monad.p_o ) [ 9 of 15] Compiling Test.Validity.GenValidity ( src/Test/Validity/GenValidity.hs, dist-ghc/build/Test/Validity/GenValidity.p_o ) [10 of 15] Compiling Test.Validity.GenRelativeValidity ( src/Test/Validity/GenRelativeValidity.hs, dist-ghc/build/Test/Validity/GenRelativeValidity.p_o ) [11 of 15] Compiling Test.Validity.Functor ( src/Test/Validity/Functor.hs, dist-ghc/build/Test/Validity/Functor.p_o ) [12 of 15] Compiling Test.Validity.Eq ( src/Test/Validity/Eq.hs, dist-ghc/build/Test/Validity/Eq.p_o ) [13 of 15] Compiling Test.Validity.Arbitrary ( src/Test/Validity/Arbitrary.hs, dist-ghc/build/Test/Validity/Arbitrary.p_o ) [14 of 15] Compiling Test.Validity.Applicative ( src/Test/Validity/Applicative.hs, dist-ghc/build/Test/Validity/Applicative.p_o ) [15 of 15] Compiling Test.Validity ( src/Test/Validity.hs, dist-ghc/build/Test/Validity.p_o ) Preprocessing test suite 'genvalidity-hspec-test' for genvalidity-hspec-0.7.0.4.. Building test suite 'genvalidity-hspec-test' for genvalidity-hspec-0.7.0.4.. [ 1 of 14] Compiling Paths_genvalidity_hspec ( dist-ghc/build/genvalidity-hspec-test/autogen/Paths_genvalidity_hspec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Paths_genvalidity_hspec.o ) [ 2 of 14] Compiling Test.Validity.ApplicativeSpec ( test/Test/Validity/ApplicativeSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/ApplicativeSpec.o ) [ 3 of 14] Compiling Test.Validity.ArbitrarySpec ( test/Test/Validity/ArbitrarySpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/ArbitrarySpec.o ) [ 4 of 14] Compiling Test.Validity.EqSpec ( test/Test/Validity/EqSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/EqSpec.o ) [ 5 of 14] Compiling Test.Validity.FunctorSpec ( test/Test/Validity/FunctorSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/FunctorSpec.o ) [ 6 of 14] Compiling Test.Validity.GenRelativeValiditySpec ( test/Test/Validity/GenRelativeValiditySpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/GenRelativeValiditySpec.o ) [ 7 of 14] Compiling Test.Validity.GenValiditySpec ( test/Test/Validity/GenValiditySpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/GenValiditySpec.o ) [ 8 of 14] Compiling Test.Validity.MonadSpec ( test/Test/Validity/MonadSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/MonadSpec.o ) [ 9 of 14] Compiling Test.Validity.MonoidSpec ( test/Test/Validity/MonoidSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/MonoidSpec.o ) [10 of 14] Compiling Test.Validity.OrdSpec ( test/Test/Validity/OrdSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/OrdSpec.o ) [11 of 14] Compiling Test.Validity.RelativeValiditySpec ( test/Test/Validity/RelativeValiditySpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/RelativeValiditySpec.o ) [12 of 14] Compiling Test.Validity.ShowSpec ( test/Test/Validity/ShowSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/ShowSpec.o ) [13 of 14] Compiling Test.Validity.ShrinkingSpec ( test/Test/Validity/ShrinkingSpec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Test/Validity/ShrinkingSpec.o ) [14 of 14] Compiling Main ( test/Spec.hs, dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test-tmp/Main.o ) Linking dist-ghc/build/genvalidity-hspec-test/genvalidity-hspec-test ... touch build-ghc-stamp . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ check_recipe Running debian/hlibrary.setup test --builddir=dist-ghc --show-details=direct Running 1 test suites... Test suite genvalidity-hspec-test: RUNNING... Test.Validity.Applicative Applicative [] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "[] of scalings :: ([Int -> Int])" composed with "[] of increments :: ([Int -> Int])" and applied to "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "[] of ints :: [Int]" +++ OK, passed 100 tests. (*>) :: [] a -> [] b -> [] b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "[] of ints :: [Int]" in front of "[] of ints :: Int" +++ OK, passed 100 tests. (<*) :: [] a -> [] b -> [] a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" +++ OK, passed 100 tests. Applicative Maybe pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "Maybe of scalings :: (Maybe (Int -> Int))" composed with "Maybe of increments :: (Maybe (Int -> Int))" and applied to "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. (*>) :: Maybe a -> Maybe b -> Maybe b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "Maybe of ints :: (Maybe Int)" in front of "Maybe of ints :: Int" +++ OK, passed 100 tests. (<*) :: Maybe a -> Maybe b -> Maybe a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "Maybe of ints :: Int" behind "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Applicative (Either Int) pure :: a -> (Either Int) a and (<*>) :: (Either Int) (a -> b) -> (Either Int) a -> (Either Int) b satisfy the identity law: 'pure id <*> v = v' for "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "(Either Int) of scalings :: (Either Int (Int -> Int))" composed with "(Either Int) of increments :: (Either Int (Int -> Int))" and applied to "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "(Either Int) of increments :: (Either Int (Int -> Int))" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. (*>) :: (Either Int) a -> (Either Int) b -> (Either Int) b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "(Either Int) of ints :: (Either Int Int)" in front of "(Either Int) of ints :: Int" +++ OK, passed 100 tests. (<*) :: (Either Int) a -> (Either Int) b -> (Either Int) a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "(Either Int) of ints :: Int" behind "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. Applicative [] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "[] of scalings :: ([Int -> Int])" composed with "[] of increments :: ([Int -> Int])" and applied to "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "[] of ints :: [Int]" +++ OK, passed 100 tests. (*>) :: [] a -> [] b -> [] b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "[] of ints :: [Int]" in front of "[] of ints :: Int" +++ OK, passed 100 tests. (<*) :: [] a -> [] b -> [] a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" +++ OK, passed 100 tests. Applicative Maybe pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "Maybe of scalings :: (Maybe (Int -> Int))" composed with "Maybe of increments :: (Maybe (Int -> Int))" and applied to "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. (*>) :: Maybe a -> Maybe b -> Maybe b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "Maybe of ints :: (Maybe Int)" in front of "Maybe of ints :: Int" +++ OK, passed 100 tests. (<*) :: Maybe a -> Maybe b -> Maybe a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "Maybe of ints :: Int" behind "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Applicative [] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "[] of scalings :: ([Int -> Int])" composed with "[] of increments :: ([Int -> Int])" and applied to "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "[] of ints :: [Int]" +++ OK, passed 100 tests. (*>) :: [] a -> [] b -> [] b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "[] of ints :: [Int]" in front of "[] of ints :: Int" +++ OK, passed 100 tests. (<*) :: [] a -> [] b -> [] a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" +++ OK, passed 100 tests. Applicative Maybe pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "Maybe of scalings :: (Maybe (Int -> Int))" composed with "Maybe of increments :: (Maybe (Int -> Int))" and applied to "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. (*>) :: Maybe a -> Maybe b -> Maybe b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "Maybe of ints :: (Maybe Int)" in front of "Maybe of ints :: Int" +++ OK, passed 100 tests. (<*) :: Maybe a -> Maybe b -> Maybe a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "Maybe of ints :: Int" behind "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Applicative [] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b satisfy the identity law: 'pure id <*> v = v' for "list of fives :: [Int]" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "scalings in a list :: ([Int -> Int])" composed with "increments in a list :: ([Int -> Int])" and applied to "list of fives :: [Int]" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "four :: Int" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "increments in a list :: ([Int -> Int])" sequenced with "four :: Int" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "list of fives :: [Int]" +++ OK, passed 100 tests. (*>) :: [] a -> [] b -> [] b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "list of fives :: [Int]" in front of "purely empty list :: Int" +++ OK, passed 100 tests. (<*) :: [] a -> [] b -> [] a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "purely empty list :: Int" behind "list of fives :: [Int]" +++ OK, passed 100 tests. Applicative Maybe pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b satisfy the identity law: 'pure id <*> v = v' for "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. satisfy the composition law: 'pure (.) <*> u <*> v <*> w = u <*> (v <*> w)' for "appends in a Just :: (Maybe ([Char] -> [Char]))" composed with "prepends in a Just :: (Maybe ([Char] -> [Char]))" and applied to "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "prepends :: ([Char] -> [Char])" sequenced with "ABC :: [Char]" +++ OK, passed 100 tests. satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "prepends in a Just :: (Maybe ([Char] -> [Char]))" sequenced with "ABC :: [Char]" +++ OK, passed 100 tests. satisfy the law about the functor instance: fmap f x = pure f <*> x for "prepends :: ([Char] -> [Char])" mapped over "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. (*>) :: Maybe a -> Maybe b -> Maybe b is equivalent to its default implementation 'u *> v = pure (const id) <*> u <*> v' for "Just an ABC :: (Maybe [Char])" in front of "purely Nothing :: [Char]" +++ OK, passed 100 tests. (<*) :: Maybe a -> Maybe b -> Maybe a is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "purely Nothing :: [Char]" behind "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. Test.Validity.Arbitrary Arbitrary Int arbitrary :: Gen Int only generates valid values +++ OK, passed 100 tests. Test.Validity.Eq Eq (Ratio Integer) (==) :: (Ratio Integer) -> (Ratio Integer) -> Bool is reflexive for "valid (Ratio Integer)"s +++ OK, passed 100 tests. is symmetric for "valid (Ratio Integer)"s +++ OK, passed 100 tests. is transitive for "valid (Ratio Integer)"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a /= b) for "valid (Ratio Integer)"s +++ OK, passed 100 tests. (/=) :: (Ratio Integer) -> (Ratio Integer) -> Bool is antireflexive for "valid (Ratio Integer)"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a == b) for "valid (Ratio Integer)"s +++ OK, passed 100 tests. Eq Int (==) :: Int -> Int -> Bool is reflexive for "unchecked Int"s +++ OK, passed 100 tests. is symmetric for "unchecked Int"s +++ OK, passed 100 tests. is transitive for "unchecked Int"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a /= b) for "unchecked Int"s +++ OK, passed 100 tests. (/=) :: Int -> Int -> Bool is antireflexive for "unchecked Int"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a == b) for "unchecked Int"s +++ OK, passed 100 tests. Eq Int (==) :: Int -> Int -> Bool is reflexive for "arbitrary Int"s +++ OK, passed 100 tests. is symmetric for "arbitrary Int"s +++ OK, passed 100 tests. is transitive for "arbitrary Int"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a /= b) for "arbitrary Int"s +++ OK, passed 100 tests. (/=) :: Int -> Int -> Bool is antireflexive for "arbitrary Int"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a == b) for "arbitrary Int"s +++ OK, passed 100 tests. Eq Int (==) :: Int -> Int -> Bool is reflexive for "even Int"s +++ OK, passed 100 tests. is symmetric for "even Int"s +++ OK, passed 100 tests. is transitive for "even Int"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a /= b) for "even Int"s +++ OK, passed 100 tests. (/=) :: Int -> Int -> Bool is antireflexive for "even Int"s +++ OK, passed 100 tests. is equivalent to (\a b -> not $ a == b) for "even Int"s +++ OK, passed 100 tests. (/=) and (==) don't have opposite semantics Test.Validity.Functor Functor [] fmap :: (a -> b) -> [] a -> [] b satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "[] of ints :: [Int]" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> [] b -> [] a is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" +++ OK, passed 100 tests. Functor Maybe fmap :: (a -> b) -> Maybe a -> Maybe b satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "Maybe of ints :: (Maybe Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> Maybe b -> Maybe a is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Fcks does not satisfy any Functor laws Functor (Either Int) fmap :: (a -> b) -> (Either Int) a -> (Either Int) b satisfies the first Fuctor law: 'fmap id == id' for "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "(Either Int) of ints :: (Either Int Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> (Either Int) b -> (Either Int) a is equivalent to its default implementation for "int :: Int" and "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. Functor ((,) Int) fmap :: (a -> b) -> ((,) Int) a -> ((,) Int) b satisfies the first Fuctor law: 'fmap id == id' for "((,) Int) of ints :: (Int,Int)" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "((,) Int) of ints :: (Int,Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> ((,) Int) b -> ((,) Int) a is equivalent to its default implementation for "int :: Int" and "((,) Int) of ints :: (Int,Int)" +++ OK, passed 100 tests. Functor [] fmap :: (a -> b) -> [] a -> [] b satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "[] of ints :: [Int]" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> [] b -> [] a is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" +++ OK, passed 100 tests. Functor Maybe fmap :: (a -> b) -> Maybe a -> Maybe b satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "Maybe of ints :: (Maybe Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> Maybe b -> Maybe a is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Functor [] fmap :: (a -> b) -> [] a -> [] b satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "[] of ints :: [Int]" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> [] b -> [] a is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" +++ OK, passed 100 tests. Functor Maybe fmap :: (a -> b) -> Maybe a -> Maybe b satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "Maybe of ints :: (Maybe Int)" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> Maybe b -> Maybe a is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Functor [] fmap :: (a -> b) -> [] a -> [] b satisfies the first Fuctor law: 'fmap id == id' for "list of fives :: [Int]" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "list of fives :: [Int]" 's given to "increments :: (Int -> Int)" and "scalings :: (Int -> Int)" +++ OK, passed 100 tests. (<$) :: a -> [] b -> [] a is equivalent to its default implementation for "four :: Int" and "list of fives :: [Int]" +++ OK, passed 100 tests. Functor Maybe fmap :: (a -> b) -> Maybe a -> Maybe b satisfies the first Fuctor law: 'fmap id == id' for "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. satisfieds the second Functor law: 'fmap (f . g) == fmap f . fmap g' for "Just an ABC :: (Maybe [Char])" 's given to "prepends :: ([Char] -> [Char])" and "appends :: ([Char] -> [Char])" +++ OK, passed 100 tests. (<$) :: a -> Maybe b -> Maybe a is equivalent to its default implementation for "ABC :: [Char]" and "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. Test.Validity.GenValidity GenValid (Ratio Integer) genValid :: Gen (Ratio Integer) only generates valid '(Ratio Integer)'s +++ OK, passed 100 tests. GenInvalid (Ratio Integer) genInvalid :: Gen (Ratio Integer) only generates invalid '(Ratio Integer)'s +++ OK, passed 100 tests. GenValid (Ratio Integer) genValid :: Gen (Ratio Integer) only generates valid '(Ratio Integer)'s +++ OK, passed 100 tests. GenInvalid (Ratio Integer) genInvalid :: Gen (Ratio Integer) only generates invalid '(Ratio Integer)'s +++ OK, passed 100 tests. Test.Validity.Monad Monad [] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" +++ OK, passed 100 tests. (>>=) :: [] a -> (b -> [] a) -> [] b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "[] of ints :: [Int]" "perturbations using the int :: (Int -> [Int])" and "perturbations using the double the int :: (Int -> [Int])" +++ OK, passed 100 tests. relation with Applicative [] satisfies 'pure = return' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" +++ OK, passed 100 tests. relation with Functor [] satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" +++ OK, passed 100 tests. Monad Maybe return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "Maybe of ints :: (Maybe Int)" "perturbations using the int :: (Int -> Maybe Int)" and "perturbations using the double the int :: (Int -> Maybe Int)" +++ OK, passed 100 tests. relation with Applicative Maybe satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. relation with Functor Maybe satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Monad (Either Int) return :: a -> (Either Int) a and (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Either Int Int)" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "(Either Int) of ints :: (Either Int Int)" "perturbations using the int :: (Int -> Either Int Int)" and "perturbations using the double the int :: (Int -> Either Int Int)" +++ OK, passed 100 tests. relation with Applicative (Either Int) satisfies 'pure = return' for "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "(Either Int) of additions :: (Either Int (Int -> Int))" and "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "(Either Int) of ints :: (Either Int Int)" and "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. relation with Functor (Either Int) satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "(Either Int) of ints :: (Either Int Int)" +++ OK, passed 100 tests. Monad [] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" +++ OK, passed 100 tests. (>>=) :: [] a -> (b -> [] a) -> [] b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "[] of ints :: [Int]" "perturbations using the int :: (Int -> [Int])" and "perturbations using the double the int :: (Int -> [Int])" +++ OK, passed 100 tests. relation with Applicative [] satisfies 'pure = return' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" +++ OK, passed 100 tests. relation with Functor [] satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" +++ OK, passed 100 tests. Monad Maybe return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "Maybe of ints :: (Maybe Int)" "perturbations using the int :: (Int -> Maybe Int)" and "perturbations using the double the int :: (Int -> Maybe Int)" +++ OK, passed 100 tests. relation with Applicative Maybe satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. relation with Functor Maybe satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Monad [] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" +++ OK, passed 100 tests. (>>=) :: [] a -> (b -> [] a) -> [] b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "[] of ints :: [Int]" "perturbations using the int :: (Int -> [Int])" and "perturbations using the double the int :: (Int -> [Int])" +++ OK, passed 100 tests. relation with Applicative [] satisfies 'pure = return' for "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" +++ OK, passed 100 tests. relation with Functor [] satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" +++ OK, passed 100 tests. Monad Maybe return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "Maybe of ints :: (Maybe Int)" "perturbations using the int :: (Int -> Maybe Int)" and "perturbations using the double the int :: (Int -> Maybe Int)" +++ OK, passed 100 tests. relation with Applicative Maybe satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. relation with Functor Maybe satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" +++ OK, passed 100 tests. Monad [] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b satisfy the first Monad law: 'return a >>= k = k a' for "four :: Int" and "singletonisation :: (Int -> [Int])" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "list of fives :: [Int]" +++ OK, passed 100 tests. (>>=) :: [] a -> (b -> [] a) -> [] b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "list of fives :: [Int]" "singletonisation :: (Int -> [Int])" and "singletonisation :: (Int -> [Int])" +++ OK, passed 100 tests. relation with Applicative [] satisfies 'pure = return' for "list of fives :: [Int]" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "increment in list :: ([Int -> Int])" and "list of fives :: [Int]" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "list of fives :: [Int]" and "list of sixes :: [Int]" +++ OK, passed 100 tests. relation with Functor [] satisfies 'fmap f xs = xs >>= return . f' for "factorisations :: (Int -> Int)" and "list of fives :: [Int]" +++ OK, passed 100 tests. Monad Maybe return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfy the first Monad law: 'return a >>= k = k a' for "ABC :: [Char]" and "justisation :: ([Char] -> Maybe [Char])" +++ OK, passed 100 tests. satisfy the second Monad law: 'm >>= return = m' for "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b satisfies the third Monad law: 'm >>= (x -> k x >>= h) = (m >>= k) >>= h' for "Just an ABC :: (Maybe [Char])" "justisation :: ([Char] -> Maybe [Char])" and "justisation :: ([Char] -> Maybe [Char])" +++ OK, passed 100 tests. relation with Applicative Maybe satisfies 'pure = return' for "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. satisfies '(<*>) = ap' for "append 'a' in Just :: (Maybe ([Char] -> [Char]))" and "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. satisfies '(>>) = (*>)' for "Just an ABC :: (Maybe [Char])" and "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. relation with Functor Maybe satisfies 'fmap f xs = xs >>= return . f' for "appends :: ([Char] -> [Char])" and "Just an ABC :: (Maybe [Char])" +++ OK, passed 100 tests. Test.Validity.Monoid Monoid ([Ratio Integer]) mempty :: ([Ratio Integer]) is the identity for mappend :: ([Ratio Integer]) -> ([Ratio Integer]) -> ([Ratio Integer]) for "valid :: ([Ratio Integer])" +++ OK, passed 100 tests. mappend :: ([Ratio Integer]) -> ([Ratio Integer]) -> ([Ratio Integer]) is an associative operation for "valid :: (([Ratio Integer],[Ratio Integer],[Ratio Integer]))" +++ OK, passed 100 tests. mconcat :: [([Ratio Integer])] -> ([Ratio Integer]) is equivalent to its default implementation for "valid :: ([[Ratio Integer]])" +++ OK, passed 100 tests. Monoid [Int] mempty :: [Int] is the identity for mappend :: [Int] -> [Int] -> [Int] for "unchecked :: [Int]" +++ OK, passed 100 tests. mappend :: [Int] -> [Int] -> [Int] is an associative operation for "unchecked :: ([Int],[Int],[Int])" +++ OK, passed 100 tests. mconcat :: [[Int]] -> [Int] is equivalent to its default implementation for "unchecked :: [[Int]]" +++ OK, passed 100 tests. Monoid [Int] mempty :: [Int] is the identity for mappend :: [Int] -> [Int] -> [Int] for "arbitrary :: [Int]" +++ OK, passed 100 tests. mappend :: [Int] -> [Int] -> [Int] is an associative operation for "arbitrary :: ([Int],[Int],[Int])" +++ OK, passed 100 tests. mconcat :: [[Int]] -> [Int] is equivalent to its default implementation for "arbitrary :: [[Int]]" +++ OK, passed 100 tests. Monoid [Char] mempty :: [Char] is the identity for mappend :: [Char] -> [Char] -> [Char] for "singleton list of 'a' :: [Char]" +++ OK, passed 100 tests. mappend :: [Char] -> [Char] -> [Char] is an associative operation for "singleton list of 'a' :: ([Char],[Char],[Char])" +++ OK, passed 100 tests. mconcat :: [[Char]] -> [Char] is equivalent to its default implementation for "singleton list of 'a' :: [[Char]]" +++ OK, passed 100 tests. Test.Validity.Ord Ord (Ratio Integer) (<=) :: (Ratio Integer) -> (Ratio Integer) -> Bool is reflexive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is antisymmetric for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is transitive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= GT) for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. (>=) :: (Ratio Integer) -> (Ratio Integer) -> Bool is reflexive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is antisymmetric for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is transitive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= LT) for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. (<) :: (Ratio Integer) -> (Ratio Integer) -> Bool is antireflexive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is transitive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == LT) for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. (>) :: (Ratio Integer) -> (Ratio Integer) -> Bool is antireflexive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is transitive for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == GT) for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. "min :: (Ratio Integer -> Ratio Integer -> Ratio Integer)" is equivalent to (\a b -> if a <= b then a else b) for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. "max :: (Ratio Integer -> Ratio Integer -> Ratio Integer)" is equivalent to (\a b -> if a >= b then a else b) for "valid (Ratio Integer)"'s +++ OK, passed 100 tests. NaN >= NaN is False Ord Int (<=) :: Int -> Int -> Bool is reflexive for "unchecked Int"'s +++ OK, passed 100 tests. is antisymmetric for "unchecked Int"'s +++ OK, passed 100 tests. is transitive for "unchecked Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= GT) for "unchecked Int"'s +++ OK, passed 100 tests. (>=) :: Int -> Int -> Bool is reflexive for "unchecked Int"'s +++ OK, passed 100 tests. is antisymmetric for "unchecked Int"'s +++ OK, passed 100 tests. is transitive for "unchecked Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= LT) for "unchecked Int"'s +++ OK, passed 100 tests. (<) :: Int -> Int -> Bool is antireflexive for "unchecked Int"'s +++ OK, passed 100 tests. is transitive for "unchecked Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == LT) for "unchecked Int"'s +++ OK, passed 100 tests. (>) :: Int -> Int -> Bool is antireflexive for "unchecked Int"'s +++ OK, passed 100 tests. is transitive for "unchecked Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == GT) for "unchecked Int"'s +++ OK, passed 100 tests. "min :: (Int -> Int -> Int)" is equivalent to (\a b -> if a <= b then a else b) for "unchecked Int"'s +++ OK, passed 100 tests. "max :: (Int -> Int -> Int)" is equivalent to (\a b -> if a >= b then a else b) for "unchecked Int"'s +++ OK, passed 100 tests. Ord Int (<=) :: Int -> Int -> Bool is reflexive for "arbitrary Int"'s +++ OK, passed 100 tests. is antisymmetric for "arbitrary Int"'s +++ OK, passed 100 tests. is transitive for "arbitrary Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= GT) for "arbitrary Int"'s +++ OK, passed 100 tests. (>=) :: Int -> Int -> Bool is reflexive for "arbitrary Int"'s +++ OK, passed 100 tests. is antisymmetric for "arbitrary Int"'s +++ OK, passed 100 tests. is transitive for "arbitrary Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= LT) for "arbitrary Int"'s +++ OK, passed 100 tests. (<) :: Int -> Int -> Bool is antireflexive for "arbitrary Int"'s +++ OK, passed 100 tests. is transitive for "arbitrary Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == LT) for "arbitrary Int"'s +++ OK, passed 100 tests. (>) :: Int -> Int -> Bool is antireflexive for "arbitrary Int"'s +++ OK, passed 100 tests. is transitive for "arbitrary Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == GT) for "arbitrary Int"'s +++ OK, passed 100 tests. "min :: (Int -> Int -> Int)" is equivalent to (\a b -> if a <= b then a else b) for "arbitrary Int"'s +++ OK, passed 100 tests. "max :: (Int -> Int -> Int)" is equivalent to (\a b -> if a >= b then a else b) for "arbitrary Int"'s +++ OK, passed 100 tests. Ord Int (<=) :: Int -> Int -> Bool is reflexive for "even Int"'s +++ OK, passed 100 tests. is antisymmetric for "even Int"'s +++ OK, passed 100 tests. is transitive for "even Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= GT) for "even Int"'s +++ OK, passed 100 tests. (>=) :: Int -> Int -> Bool is reflexive for "even Int"'s +++ OK, passed 100 tests. is antisymmetric for "even Int"'s +++ OK, passed 100 tests. is transitive for "even Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b /= LT) for "even Int"'s +++ OK, passed 100 tests. (<) :: Int -> Int -> Bool is antireflexive for "even Int"'s +++ OK, passed 100 tests. is transitive for "even Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == LT) for "even Int"'s +++ OK, passed 100 tests. (>) :: Int -> Int -> Bool is antireflexive for "even Int"'s +++ OK, passed 100 tests. is transitive for "even Int"'s +++ OK, passed 100 tests. is equivalent to (\a b -> compare a b == GT) for "even Int"'s +++ OK, passed 100 tests. "min :: (Int -> Int -> Int)" is equivalent to (\a b -> if a <= b then a else b) for "even Int"'s +++ OK, passed 100 tests. "max :: (Int -> Int -> Int)" is equivalent to (\a b -> if a >= b then a else b) for "even Int"'s +++ OK, passed 100 tests. Test.Validity.Show Show (Ratio Integer) and Read (Ratio Integer) are implemented such that read . show == id for valid values +++ OK, passed 100 tests. Show Int and Read Int are implemented such that read . show == id for unchecked values +++ OK, passed 100 tests. Show (Ratio Integer) and Read (Ratio Integer) are implemented such that read . show == id for arbitrary values +++ OK, passed 100 tests. Show Int and Read Int are implemented such that read . show == id for even values +++ OK, passed 100 tests. show and read don't have the correct semantics Test.Validity.Shrinking shrinkValid :: (Ratio Int8 -> [Ratio Int8]) preserves validity +++ OK, passed 100 tests. never shrinks to itself for valid values +++ OK, passed 100 tests. shrinkInvalid :: (Ratio Int8 -> [Ratio Int8]) preserves invalidity +++ OK, passed 100 tests. shrinkValid :: (Int -> [Int]) preserves validity +++ OK, passed 100 tests. never shrinks to itself for valid values +++ OK, passed 100 tests. shrinkInvalid :: (Ratio Int8 -> [Ratio Int8]) preserves invalidity +++ OK, passed 100 tests. shrinkUncheckedPreservesValidOnGenValid Ordering +++ OK, passed 100 tests. [Ordering] +++ OK, passed 100 tests. shrinkValidPreservesValidOnGenValid Ordering +++ OK, passed 100 tests. [Ordering] +++ OK, passed 100 tests. shrinkInvalidPreservesInvalidOnGenInvalid Ordering +++ OK, passed 100 tests. [Ordering] +++ OK, passed 100 tests. shrinkUncheckedDoesNotShrinkToItself Int +++ OK, passed 100 tests. [Int] +++ OK, passed 100 tests. shrinkValidDoesNotShrinkToItself Ordering +++ OK, passed 100 tests. [Ordering] +++ OK, passed 100 tests. Finished in 15.5953 seconds 285 examples, 0 failures Test suite genvalidity-hspec-test: PASS Test suite logged to: dist-ghc/test/genvalidity-hspec-0.7.0.4-genvalidity-hspec-test.log 1 of 1 test suites (1 of 1 test cases) passed. touch check-ghc-stamp fakeroot debian/rules binary-arch 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 Adding cdbs dependencies to debian/libghc-genvalidity-hspec-dev.substvars dh_installdirs -plibghc-genvalidity-hspec-dev \ 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.4/genvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ extra_depends_recipe ghc Running dh_haskell_extra_depends ghc genvalidity-hspec-0.7.0.4.conf . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_dev_recipe "libghc-genvalidity-hspec-dev" Running cd debian/tmp-inst-ghc Running mkdir -p usr/lib/haskell-packages/ghc/lib Running find usr/lib/haskell-packages/ghc/lib/ \( \! -name \*_p.a \! -name \*.p_hi \! -type d \) -exec install -Dm 644 \{\} ../libghc-genvalidity-hspec-dev/\{\} \; Running install -Dm 644 genvalidity-hspec-0.7.0.4.conf debian/libghc-genvalidity-hspec-dev/var/lib/ghc/package.conf.d/genvalidity-hspec-0.7.0.4.conf Running rm -f genvalidity-hspec-0.7.0.4.conf Running dh_haskell_provides -plibghc-genvalidity-hspec-dev Running dh_haskell_depends -plibghc-genvalidity-hspec-dev Running dh_haskell_shlibdeps -plibghc-genvalidity-hspec-dev dpkg-shlibdeps: warning: binaries to analyze should already be installed in their package's directory dh_haskell_blurbs "ghc" -plibghc-genvalidity-hspec-dev Adding cdbs dependencies to debian/libghc-genvalidity-hspec-prof.substvars dh_installdirs -plibghc-genvalidity-hspec-prof \ . /usr/share/haskell-devscripts/Dh_Haskell.sh && \ install_prof_recipe "libghc-genvalidity-hspec-prof" Running cd debian/tmp-inst-ghc Running mkdir -p usr/lib/haskell-packages/ghc/lib Running find usr/lib/haskell-packages/ghc/lib/ \! \( \! -name \*_p.a \! -name \*.p_hi \) -exec install -Dm 644 \{\} ../libghc-genvalidity-hspec-prof/\{\} \; Running dh_haskell_provides -plibghc-genvalidity-hspec-prof Running dh_haskell_depends -plibghc-genvalidity-hspec-prof dh_haskell_blurbs "ghc" -plibghc-genvalidity-hspec-prof dh_installdocs -plibghc-genvalidity-hspec-dev dh_installexamples -plibghc-genvalidity-hspec-dev dh_installman -plibghc-genvalidity-hspec-dev dh_installinfo -plibghc-genvalidity-hspec-dev dh_installmenu -plibghc-genvalidity-hspec-dev dh_installcron -plibghc-genvalidity-hspec-dev dh_systemd_enable -plibghc-genvalidity-hspec-dev dh_installinit -plibghc-genvalidity-hspec-dev dh_installdebconf -plibghc-genvalidity-hspec-dev dh_installemacsen -plibghc-genvalidity-hspec-dev dh_installcatalogs -plibghc-genvalidity-hspec-dev dh_installpam -plibghc-genvalidity-hspec-dev dh_installlogrotate -plibghc-genvalidity-hspec-dev dh_installlogcheck -plibghc-genvalidity-hspec-dev dh_installchangelogs -plibghc-genvalidity-hspec-dev dh_installudev -plibghc-genvalidity-hspec-dev dh_lintian -plibghc-genvalidity-hspec-dev dh_bugfiles -plibghc-genvalidity-hspec-dev dh_install -plibghc-genvalidity-hspec-dev dh_systemd_start -plibghc-genvalidity-hspec-dev dh_link -plibghc-genvalidity-hspec-dev dh_buildinfo -plibghc-genvalidity-hspec-dev dh_installmime -plibghc-genvalidity-hspec-dev dh_installgsettings -plibghc-genvalidity-hspec-dev dh_installdocs -plibghc-genvalidity-hspec-prof dh_installexamples -plibghc-genvalidity-hspec-prof dh_installman -plibghc-genvalidity-hspec-prof dh_installinfo -plibghc-genvalidity-hspec-prof dh_installmenu -plibghc-genvalidity-hspec-prof dh_installcron -plibghc-genvalidity-hspec-prof dh_systemd_enable -plibghc-genvalidity-hspec-prof dh_installinit -plibghc-genvalidity-hspec-prof dh_installdebconf -plibghc-genvalidity-hspec-prof dh_installemacsen -plibghc-genvalidity-hspec-prof dh_installcatalogs -plibghc-genvalidity-hspec-prof dh_installpam -plibghc-genvalidity-hspec-prof dh_installlogrotate -plibghc-genvalidity-hspec-prof dh_installlogcheck -plibghc-genvalidity-hspec-prof dh_installchangelogs -plibghc-genvalidity-hspec-prof dh_installudev -plibghc-genvalidity-hspec-prof dh_lintian -plibghc-genvalidity-hspec-prof dh_bugfiles -plibghc-genvalidity-hspec-prof dh_install -plibghc-genvalidity-hspec-prof dh_systemd_start -plibghc-genvalidity-hspec-prof dh_link -plibghc-genvalidity-hspec-prof dh_buildinfo -plibghc-genvalidity-hspec-prof dh_installmime -plibghc-genvalidity-hspec-prof dh_installgsettings -plibghc-genvalidity-hspec-prof dh_strip -plibghc-genvalidity-hspec-dev --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-genvalidity-hspec-dev dh_compress -plibghc-genvalidity-hspec-dev -X .haddock -X .hs -X .txt dh_fixperms -plibghc-genvalidity-hspec-dev dh_makeshlibs -plibghc-genvalidity-hspec-dev -XlibHS dh_strip -plibghc-genvalidity-hspec-prof --no-automatic-dbgsym dh_strip_nondeterminism -plibghc-genvalidity-hspec-prof dh_compress -plibghc-genvalidity-hspec-prof -X .haddock -X .hs -X .txt dh_fixperms -plibghc-genvalidity-hspec-prof dh_makeshlibs -plibghc-genvalidity-hspec-prof -XlibHS dh_installdeb -plibghc-genvalidity-hspec-dev dh_perl -plibghc-genvalidity-hspec-dev dh_shlibdeps -plibghc-genvalidity-hspec-dev -- --ignore-missing-info dpkg-shlibdeps: warning: debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so contains an unresolvable reference to symbol stg_ap_p_fast: it's probably a plugin dpkg-shlibdeps: warning: 28 other similar warnings have been skipped (use -v to see them all) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHStime-1.9.3-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSbinary-0.8.7.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSprimitive-0.7.0.1-CN4ea3Jrhra6yENuqrDg51-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSdeepseq-1.4.4.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHShaskell-lexer-1.1-6vhYTJJkEEY3SkGEX9nN9F-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSclock-0.8-A49D1ulhgED3S3X2LkGyEI-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libgmp.so.10 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSansi-terminal-0.10.3-DS0jBrus2yKFjX9eUfmc3L-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSfilepath-1.4.2.1-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against librt.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSpretty-1.1.3.6-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSpretty-show-1.10-7q5amcqtFPNELOrR9L3gUm-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libm.so.6 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSarray-0.5.4.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHScolour-2.3.5-HwkwGdq0zHOAgUmo2lVa4V-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHShspec-2.7.1-5JvuKFX0Z3iFazfgnEEvF6-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSinteger-gmp-1.0.2.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSrandom-1.1-CUqV1zxrwrE4K5XCdTZSYy-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSbytestring-0.10.10.1-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHStext-1.2.4.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSstm-2.5.0.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSdirectory-1.3.6.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSsetenv-0.1.1.3-AApHapTZwGVKX9z2HargZZ-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHScontainers-0.6.2.1-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHScall-stack-0.2.0-60bTmb9VEHP3C0mVwwOjhh-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libdl.so.2 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSunix-2.7.2.2-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHStf-random-0.5-9HF06zWGTuQIFpJn5Dfvt0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libutil.so.1 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHStemplate-haskell-2.15.0.0-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHSghc-boot-th-8.8.4-ghc8.8.4.so (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libpthread.so.0 (it uses none of the library's symbols) dpkg-shlibdeps: warning: package could avoid a useless dependency if debian/libghc-genvalidity-hspec-dev/usr/lib/haskell-packages/ghc/lib/x86_64-linux-ghc-8.8.4/libHSgenvalidity-hspec-0.7.0.4-7o9c6YBLfcADmh7N4G5PIi-ghc8.8.4.so was not linked against libHStransformers-0.5.6.2-ghc8.8.4.so (it uses none of the library's symbols) dh_installdeb -plibghc-genvalidity-hspec-prof dh_perl -plibghc-genvalidity-hspec-prof dh_shlibdeps -plibghc-genvalidity-hspec-prof -- --ignore-missing-info dh_gencontrol -plibghc-genvalidity-hspec-dev -- '-DGHC-Package=${haskell:ghc-package}' dpkg-gencontrol: warning: Conflicts field of package libghc-genvalidity-hspec-dev: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-genvalidity-hspec-dev: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-genvalidity-hspec-dev dh_builddeb -plibghc-genvalidity-hspec-dev dpkg-deb: building package 'libghc-genvalidity-hspec-dev' in '../libghc-genvalidity-hspec-dev_0.7.0.4-1+b4_amd64.deb'. dh_gencontrol -plibghc-genvalidity-hspec-prof dpkg-gencontrol: warning: Conflicts field of package libghc-genvalidity-hspec-prof: substitution variable ${haskell:Conflicts} used, but is not defined dpkg-gencontrol: warning: package libghc-genvalidity-hspec-prof: substitution variable ${haskell:ghc-version} unused, but is defined dh_md5sums -plibghc-genvalidity-hspec-prof dh_builddeb -plibghc-genvalidity-hspec-prof dpkg-deb: building package 'libghc-genvalidity-hspec-prof' in '../libghc-genvalidity-hspec-prof_0.7.0.4-1+b4_amd64.deb'. dpkg-genbuildinfo --build=any dpkg-genchanges --build=any >../haskell-genvalidity-hspec_0.7.0.4-1+b4_amd64.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: 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-specific upload (source code and arch-indep packages not included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: running special hook: sync-out /build/haskell-genvalidity-hspec-V6X88e /tmp/haskell-genvalidity-hspec-0.7.0.4-1+b4kop15x7e I: cleaning package lists and apt cache... I: creating tarball... I: done I: removing tempdir /tmp/mmdebstrap.q4NHThbG9T... I: success in 580.4852 seconds md5: libghc-genvalidity-hspec-dev_0.7.0.4-1+b4_amd64.deb: OK md5: libghc-genvalidity-hspec-prof_0.7.0.4-1+b4_amd64.deb: OK sha1: libghc-genvalidity-hspec-dev_0.7.0.4-1+b4_amd64.deb: OK sha1: libghc-genvalidity-hspec-prof_0.7.0.4-1+b4_amd64.deb: OK sha256: libghc-genvalidity-hspec-dev_0.7.0.4-1+b4_amd64.deb: OK sha256: libghc-genvalidity-hspec-prof_0.7.0.4-1+b4_amd64.deb: OK Checksums: OK