starting phase `set-SOURCE-DATE-EPOCH' phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds starting phase `set-paths' environment variable `PATH' set to `/gnu/store/3m0mqg3dipp4zlmjsyyvcdp030idji3h-ghc-8.10.7/bin:/gnu/store/hqysqhh80g7qy8287b8p2gwz0379vh50-tar-1.34/bin:/gnu/store/8rvnivj15gmirawhikgbjaang5b4w779-gzip-1.10/bin:/gnu/store/64zk0izmaframq6cd0xlsmk0rxn3zc52-bzip2-1.0.8/bin:/gnu/store/z6bw81zw5b5jm3p02y906p0wnjbjqa7n-xz-5.2.5/bin:/gnu/store/jfmrxybjkd0nvh1n34hbzv0lwsnmxz1v-file-5.39/bin:/gnu/store/49j4cjqc8sckyh4qhf9j9dmc6anc8wk9-diffutils-3.8/bin:/gnu/store/znjj5y98lvi46fll85qg22ngz966gx1d-patch-2.7.6/bin:/gnu/store/yq3xalg1p2p5p5hfpw4v5jx0v86qw45w-findutils-4.8.0/bin:/gnu/store/bgyr8c7bl1sqhpapm2kghiya0k6zvi51-gawk-5.1.0/bin:/gnu/store/dsldg7i4y6hxdknh7cv93rbxbp17xm93-sed-4.8/bin:/gnu/store/4znchc8whjbs50mvxgc0skmkvyhy9xk1-grep-3.6/bin:/gnu/store/wllq3y3sl5bldm9vsx2fcwhcmks4i9ar-coreutils-8.32/bin:/gnu/store/zyhbjfyqh10yiw1dw1x1i7n70jm9ygdn-make-4.3/bin:/gnu/store/2an4h5ndc22dv62q3l985ciq862q4bj7-bash-minimal-5.1.8/bin:/gnu/store/g58zxpycy64m790vwjlzpadmbn065fia-ld-wrapper-0/bin:/gnu/store/cr38d3gvf52ckns2b01lwgw86hk3mvcc-binutils-2.37/bin:/gnu/store/h88kd46c8br0wc4i6hq19cjby081ina4-gcc-10.3.0/bin:/gnu/store/mjdjgiz9k5rrbj440r16z6p5g33nr7d7-glibc-2.33/bin:/gnu/store/mjdjgiz9k5rrbj440r16z6p5g33nr7d7-glibc-2.33/sbin' find-files: /gnu/store/hqysqhh80g7qy8287b8p2gwz0379vh50-tar-1.34/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/8rvnivj15gmirawhikgbjaang5b4w779-gzip-1.10/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/64zk0izmaframq6cd0xlsmk0rxn3zc52-bzip2-1.0.8/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/z6bw81zw5b5jm3p02y906p0wnjbjqa7n-xz-5.2.5/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/jfmrxybjkd0nvh1n34hbzv0lwsnmxz1v-file-5.39/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/49j4cjqc8sckyh4qhf9j9dmc6anc8wk9-diffutils-3.8/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/znjj5y98lvi46fll85qg22ngz966gx1d-patch-2.7.6/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/yq3xalg1p2p5p5hfpw4v5jx0v86qw45w-findutils-4.8.0/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/bgyr8c7bl1sqhpapm2kghiya0k6zvi51-gawk-5.1.0/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/dsldg7i4y6hxdknh7cv93rbxbp17xm93-sed-4.8/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/4znchc8whjbs50mvxgc0skmkvyhy9xk1-grep-3.6/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/wllq3y3sl5bldm9vsx2fcwhcmks4i9ar-coreutils-8.32/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/zyhbjfyqh10yiw1dw1x1i7n70jm9ygdn-make-4.3/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/2an4h5ndc22dv62q3l985ciq862q4bj7-bash-minimal-5.1.8/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/g58zxpycy64m790vwjlzpadmbn065fia-ld-wrapper-0/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/cr38d3gvf52ckns2b01lwgw86hk3mvcc-binutils-2.37/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/h88kd46c8br0wc4i6hq19cjby081ina4-gcc-10.3.0/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/mjdjgiz9k5rrbj440r16z6p5g33nr7d7-glibc-2.33/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/88bdm10sayqjnggrxlbdmk3rv1qqdrvl-glibc-2.33-static/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/y4x3whxg8i1p9w9vy67lz3cw8xfil8bh-glibc-utf8-locales-2.33/lib/ghc-8.10.7: No such file or directory find-files: /gnu/store/k8xlwnnmhgmvzyxxfjq3z3fci73zx7x9-linux-libre-headers-5.10.35/lib/ghc-8.10.7: No such file or directory environment variable `GHC_PACKAGE_PATH' set to `/gnu/store/3m0mqg3dipp4zlmjsyyvcdp030idji3h-ghc-8.10.7/lib/ghc-8.10.7/package.conf.d:/gnu/store/wbx6h6mwdyaflkvzwqi65wca39l8y5nw-ghc-quickcheck-2.14.2/lib/ghc-8.10.7/ghc-quickcheck-2.14.2.conf.d:/gnu/store/vakji3wii94qrg7ij1b4x7z2bsxjya2v-ghc-random-1.2.0/lib/ghc-8.10.7/ghc-random-1.2.0.conf.d:/gnu/store/p6r0z94gpsc49rxg3hzzhv9sv114m9md-ghc-syb-0.7.2.1/lib/ghc-8.10.7/ghc-syb-0.7.2.1.conf.d' environment variable `BASH_LOADABLES_PATH' unset environment variable `C_INCLUDE_PATH' set to `/gnu/store/64zk0izmaframq6cd0xlsmk0rxn3zc52-bzip2-1.0.8/include:/gnu/store/z6bw81zw5b5jm3p02y906p0wnjbjqa7n-xz-5.2.5/include:/gnu/store/jfmrxybjkd0nvh1n34hbzv0lwsnmxz1v-file-5.39/include:/gnu/store/bgyr8c7bl1sqhpapm2kghiya0k6zvi51-gawk-5.1.0/include:/gnu/store/zyhbjfyqh10yiw1dw1x1i7n70jm9ygdn-make-4.3/include:/gnu/store/cr38d3gvf52ckns2b01lwgw86hk3mvcc-binutils-2.37/include:/gnu/store/h88kd46c8br0wc4i6hq19cjby081ina4-gcc-10.3.0/include:/gnu/store/mjdjgiz9k5rrbj440r16z6p5g33nr7d7-glibc-2.33/include:/gnu/store/k8xlwnnmhgmvzyxxfjq3z3fci73zx7x9-linux-libre-headers-5.10.35/include' environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/64zk0izmaframq6cd0xlsmk0rxn3zc52-bzip2-1.0.8/include:/gnu/store/z6bw81zw5b5jm3p02y906p0wnjbjqa7n-xz-5.2.5/include:/gnu/store/jfmrxybjkd0nvh1n34hbzv0lwsnmxz1v-file-5.39/include:/gnu/store/bgyr8c7bl1sqhpapm2kghiya0k6zvi51-gawk-5.1.0/include:/gnu/store/zyhbjfyqh10yiw1dw1x1i7n70jm9ygdn-make-4.3/include:/gnu/store/cr38d3gvf52ckns2b01lwgw86hk3mvcc-binutils-2.37/include:/gnu/store/h88kd46c8br0wc4i6hq19cjby081ina4-gcc-10.3.0/include/c++:/gnu/store/h88kd46c8br0wc4i6hq19cjby081ina4-gcc-10.3.0/include:/gnu/store/mjdjgiz9k5rrbj440r16z6p5g33nr7d7-glibc-2.33/include:/gnu/store/k8xlwnnmhgmvzyxxfjq3z3fci73zx7x9-linux-libre-headers-5.10.35/include' environment variable `LIBRARY_PATH' set to `/gnu/store/3m0mqg3dipp4zlmjsyyvcdp030idji3h-ghc-8.10.7/lib:/gnu/store/wbx6h6mwdyaflkvzwqi65wca39l8y5nw-ghc-quickcheck-2.14.2/lib:/gnu/store/vakji3wii94qrg7ij1b4x7z2bsxjya2v-ghc-random-1.2.0/lib:/gnu/store/p6r0z94gpsc49rxg3hzzhv9sv114m9md-ghc-syb-0.7.2.1/lib:/gnu/store/64zk0izmaframq6cd0xlsmk0rxn3zc52-bzip2-1.0.8/lib:/gnu/store/z6bw81zw5b5jm3p02y906p0wnjbjqa7n-xz-5.2.5/lib:/gnu/store/jfmrxybjkd0nvh1n34hbzv0lwsnmxz1v-file-5.39/lib:/gnu/store/bgyr8c7bl1sqhpapm2kghiya0k6zvi51-gawk-5.1.0/lib:/gnu/store/cr38d3gvf52ckns2b01lwgw86hk3mvcc-binutils-2.37/lib:/gnu/store/mjdjgiz9k5rrbj440r16z6p5g33nr7d7-glibc-2.33/lib:/gnu/store/88bdm10sayqjnggrxlbdmk3rv1qqdrvl-glibc-2.33-static/lib:/gnu/store/y4x3whxg8i1p9w9vy67lz3cw8xfil8bh-glibc-utf8-locales-2.33/lib' environment variable `GUIX_LOCPATH' set to `/gnu/store/y4x3whxg8i1p9w9vy67lz3cw8xfil8bh-glibc-utf8-locales-2.33/lib/locale' phase `set-paths' succeeded after 0.1 seconds starting phase `install-locale' using 'en_US.utf8' locale for category "LC_ALL" phase `install-locale' succeeded after 0.0 seconds starting phase `unpack' ChasingBottoms-1.3.1.10/ ChasingBottoms-1.3.1.10/ChasingBottoms.cabal ChasingBottoms-1.3.1.10/LICENCE ChasingBottoms-1.3.1.10/Setup.hs ChasingBottoms-1.3.1.10/Test/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/Approx.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/Approx/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/Approx/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/ApproxShow.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/ApproxShow/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/ApproxShow/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/ContinuousFunctions.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/ContinuousFunctions/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/ContinuousFunctions/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/IsBottom.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/IsBottom.hs-boot ChasingBottoms-1.3.1.10/Test/ChasingBottoms/IsBottom/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/IsBottom/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/IsType.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/IsType/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/IsType/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/Nat.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/Nat/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/Nat/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/SemanticOrd.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/SemanticOrd/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/SemanticOrd/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/TestUtilities.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/TestUtilities/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/TestUtilities/Generators.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/Tests.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/TimeOut.hs ChasingBottoms-1.3.1.10/Test/ChasingBottoms/TimeOut/ ChasingBottoms-1.3.1.10/Test/ChasingBottoms/TimeOut/Tests.hs phase `unpack' succeeded after 0.0 seconds starting phase `generate-setuphs' phase `generate-setuphs' succeeded after 0.0 seconds starting phase `patch-cabal-file' phase `patch-cabal-file' succeeded after 0.0 seconds starting phase `patch-usr-bin-file' phase `patch-usr-bin-file' succeeded after 0.0 seconds starting phase `patch-source-shebangs' phase `patch-source-shebangs' succeeded after 0.0 seconds starting phase `setup-compiler' phase `setup-compiler' succeeded after 0.1 seconds starting phase `configure' running "runhaskell Setup.hs" with command "configure" and parameters ("--prefix=/gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10" "--libdir=/gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10/lib" "--docdir=/gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10/share/doc/ghc-chasingbottoms-1.3.1.10" "--libsubdir=$compiler/$pkg-$version" "--package-db=/tmp/guix-build-ghc-chasingbottoms-1.3.1.10.drv-0/package.conf.d" "--global" "--enable-tests" "--enable-shared" "--enable-executable-dynamic" "--ghc-option=-fPIC" "--ghc-option=-optl=-Wl,-rpath=/gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10/lib/$compiler/$pkg-$version") Configuring ChasingBottoms-1.3.1.10... phase `configure' succeeded after 0.9 seconds starting phase `patch-generated-file-shebangs' phase `patch-generated-file-shebangs' succeeded after 0.0 seconds starting phase `build' running "runhaskell Setup.hs" with command "build" and parameters () Preprocessing library for ChasingBottoms-1.3.1.10.. Building library for ChasingBottoms-1.3.1.10.. [ 1 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/Test/ChasingBottoms/IsBottom.o-boot, dist/build/Test/ChasingBottoms/IsBottom.dyn_o ) [ 2 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/Test/ChasingBottoms/IsType.o, dist/build/Test/ChasingBottoms/IsType.dyn_o ) [ 3 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/Test/ChasingBottoms/Nat.o, dist/build/Test/ChasingBottoms/Nat.dyn_o ) [ 4 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/Test/ChasingBottoms/Approx.o, dist/build/Test/ChasingBottoms/Approx.dyn_o ) [ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/Test/ChasingBottoms/TimeOut.o, dist/build/Test/ChasingBottoms/TimeOut.dyn_o ) [ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/Test/ChasingBottoms/IsBottom.o, dist/build/Test/ChasingBottoms/IsBottom.dyn_o ) [ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/Test/ChasingBottoms/SemanticOrd.o, dist/build/Test/ChasingBottoms/SemanticOrd.dyn_o ) [ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/Test/ChasingBottoms/ContinuousFunctions.o, dist/build/Test/ChasingBottoms/ContinuousFunctions.dyn_o ) [ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/Test/ChasingBottoms/ApproxShow.o, dist/build/Test/ChasingBottoms/ApproxShow.dyn_o ) [10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist/build/Test/ChasingBottoms.o, dist/build/Test/ChasingBottoms.dyn_o ) Preprocessing test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.10.. Building test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.10.. [ 1 of 20] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.dyn_o-boot ) [ 2 of 20] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType.dyn_o ) [ 3 of 20] Compiling Test.ChasingBottoms.IsType.Tests ( Test/ChasingBottoms/IsType/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType/Tests.dyn_o ) [ 4 of 20] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat.dyn_o ) [ 5 of 20] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx.dyn_o ) [ 6 of 20] Compiling Test.ChasingBottoms.TestUtilities ( Test/ChasingBottoms/TestUtilities.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities.dyn_o ) [ 7 of 20] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut.dyn_o ) [ 8 of 20] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.dyn_o ) [ 9 of 20] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd.dyn_o ) [10 of 20] Compiling Test.ChasingBottoms.Nat.Tests ( Test/ChasingBottoms/Nat/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat/Tests.dyn_o ) [11 of 20] Compiling Test.ChasingBottoms.IsBottom.Tests ( Test/ChasingBottoms/IsBottom/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom/Tests.dyn_o ) [12 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions.dyn_o ) [13 of 20] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow.dyn_o ) [14 of 20] Compiling Test.ChasingBottoms.TestUtilities.Generators ( Test/ChasingBottoms/TestUtilities/Generators.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities/Generators.dyn_o ) [15 of 20] Compiling Test.ChasingBottoms.SemanticOrd.Tests ( Test/ChasingBottoms/SemanticOrd/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd/Tests.dyn_o ) [16 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions.Tests ( Test/ChasingBottoms/ContinuousFunctions/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions/Tests.dyn_o ) [17 of 20] Compiling Test.ChasingBottoms.ApproxShow.Tests ( Test/ChasingBottoms/ApproxShow/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow/Tests.dyn_o ) [18 of 20] Compiling Test.ChasingBottoms.Approx.Tests ( Test/ChasingBottoms/Approx/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx/Tests.dyn_o ) [19 of 20] Compiling Test.ChasingBottoms.TimeOut.Tests ( Test/ChasingBottoms/TimeOut/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut/Tests.dyn_o ) [20 of 20] Compiling Main ( Test/ChasingBottoms/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Main.dyn_o ) Linking dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite ... phase `build' succeeded after 11.2 seconds starting phase `check' running "runhaskell Setup.hs" with command "test" and parameters () Running 1 test suites... Test suite ChasingBottomsTestSuite: RUNNING... Test suite ChasingBottomsTestSuite: PASS Test suite logged to: dist/test/ChasingBottoms-1.3.1.10-ChasingBottomsTestSuite.log 1 of 1 test suites (1 of 1 test cases) passed. phase `check' succeeded after 3.8 seconds starting phase `haddock' running "runhaskell Setup.hs" with command "haddock" and parameters () Preprocessing library for ChasingBottoms-1.3.1.10.. Running Haddock on library for ChasingBottoms-1.3.1.10.. Warning: The documentation for the following packages are not installed. No links will be generated to these packages: array-0.5.4.0, base-4.14.3.0, bytestring-0.10.12.0, containers-0.6.5.1, deepseq-1.4.4.0, ghc-boot-th-8.10.7, ghc-prim-0.6.1, integer-gmp-1.0.3.0, mtl-2.2.2, pretty-1.1.3.6, random-1.2.0, syb-0.7.2.1, template-haskell-2.16.0.0, transformers-0.5.6.2 Haddock coverage: 100% ( 6 / 6) in 'Test.ChasingBottoms.Nat' 100% ( 2 / 2) in 'Test.ChasingBottoms.Approx' 83% ( 5 / 6) in 'Test.ChasingBottoms.TimeOut' Missing documentation for: Result (Test/ChasingBottoms/TimeOut.hs:34) 100% ( 7 / 7) in 'Test.ChasingBottoms.IsBottom' 100% ( 5 / 5) in 'Test.ChasingBottoms.SemanticOrd' 100% ( 25 / 25) in 'Test.ChasingBottoms.ContinuousFunctions' 66% ( 2 / 3) in 'Test.ChasingBottoms.ApproxShow' Missing documentation for: ApproxShow (Test/ChasingBottoms/ApproxShow.hs:30) 100% ( 8 / 8) in 'Test.ChasingBottoms' Warning: Test.ChasingBottoms.Nat: could not find link destinations for: - Data.Data.Data - GHC.Enum.Enum - GHC.Enum.succ - GHC.Enum.pred - GHC.Enum.toEnum - GHC.Types.Int - GHC.Enum.fromEnum - GHC.Enum.enumFrom - GHC.Enum.enumFromThen - GHC.Enum.enumFromTo - GHC.Enum.enumFromThenTo - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Real.Integral - GHC.Real.quot - GHC.Real.rem - GHC.Real.div - GHC.Real.mod - GHC.Real.quotRem - GHC.Real.divMod - GHC.Real.toInteger - GHC.Integer.Type.Integer - GHC.Num.Num - GHC.Num.+ - GHC.Num.- - GHC.Num.* - GHC.Num.negate - GHC.Num.abs - GHC.Num.signum - GHC.Num.fromInteger - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Real.Real - GHC.Real.toRational - GHC.Real.Rational - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Types.False - GHC.Types.True - GHC.Maybe.Maybe - GHC.Maybe.Nothing - GHC.Maybe.Just - Data.Tuple.curry - GHC.Base.$ - Data.Tuple.snd Warning: Test.ChasingBottoms.Approx: could not find link destinations for: - Data.Data.Data Warning: Test.ChasingBottoms.TimeOut: could not find link destinations for: - GHC.Exception.Type.SomeException - GHC.Show.Show - GHC.Show.showsPrec - GHC.Types.Int - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Types.IO - GHC.Base.return - GHC.IO.evaluate Warning: Test.ChasingBottoms.IsBottom: could not find link destinations for: - GHC.Types.Bool - GHC.Types.False - GHC.Types.True - GHC.IO.Exception.ArrayException - GHC.Exception.ErrorCall - Control.Exception.Base.NoMethodError - Control.Exception.Base.NonTermination - Control.Exception.Base.PatternMatchFail - Control.Exception.Base.RecConError - Control.Exception.Base.RecSelError - Control.Exception.Base.RecUpdError - GHC.Exception.Type.DivideByZero - GHC.Types.IO - GHC.Base.String - GHC.IO.Exception.AssertionFailed - GHC.Maybe.Maybe - GHC.Types.Int - GHC.Maybe.Just Warning: Test.ChasingBottoms.SemanticOrd: could not find link destinations for: - GHC.Maybe.Maybe - GHC.Types.Int - GHC.Maybe.Just - GHC.Classes.Eq - GHC.Classes.== - GHC.Types.Bool - GHC.Classes./= - GHC.Classes.Ord - GHC.Classes.compare - GHC.Types.Ordering - GHC.Classes.< - GHC.Classes.<= - GHC.Classes.> - GHC.Classes.>= - GHC.Classes.max - GHC.Classes.min - GHC.Show.Show - GHC.Show.showsPrec - GHC.Show.ShowS - GHC.Show.show - GHC.Base.String - GHC.Show.showList - GHC.Maybe.Nothing - Data.Data.Data - GHC.Types.True - GHC.Types.False Warning: Test.ChasingBottoms.ContinuousFunctions: could not find link destinations for: - Data.Data.Data - Data.Sequence.Internal.Seq - GHC.Base.Monad - GHC.Types.Type - GHC.Base.>>= - GHC.Base.>> - GHC.Base.return - GHC.Base.Functor - GHC.Base.fmap - GHC.Base.<$ - GHC.Base.Applicative - GHC.Base.pure - GHC.Base.<*> - GHC.Base.liftA2 - GHC.Base.*> - GHC.Base.<* - System.Random.Random - GHC.Types.Int - GHC.Types.Bool - GHC.Integer.Type.Integer Warning: Test.ChasingBottoms.ApproxShow: could not find link destinations for: - GHC.Types.Int - GHC.Show.ShowS - GHC.Base.String - Data.Data.Data - GHC.Show.showsPrec Documentation created: dist/doc/html/ChasingBottoms/index.html Preprocessing test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.10.. phase `haddock' succeeded after 1.2 seconds starting phase `install' running "runhaskell Setup.hs" with command "copy" and parameters () Installing library in /gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10/lib/ghc-8.10.7/ChasingBottoms-1.3.1.10 phase `install' succeeded after 0.3 seconds starting phase `register' running "runhaskell Setup.hs" with command "register" and parameters ("--gen-pkg-config=/gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10/ghc-chasingbottoms-1.3.1.10.conf") phase `register' succeeded after 0.4 seconds starting phase `patch-shebangs' phase `patch-shebangs' succeeded after 0.0 seconds starting phase `strip' stripping binaries in "/gnu/store/8g67g8sfcaz620fx784grl9kz2wn9g5p-ghc-chasingbottoms-1.3.1.10-static/lib" with "strip" and flags ("--strip-unneeded" "--enable-deterministic-archives") stripping binaries in "/gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10/lib" with "strip" and flags ("--strip-unneeded" "--enable-deterministic-archives") phase `strip' succeeded after 0.0 seconds starting phase `validate-runpath' validating RUNPATH of 0 binaries in "/gnu/store/8g67g8sfcaz620fx784grl9kz2wn9g5p-ghc-chasingbottoms-1.3.1.10-static/lib"... validating RUNPATH of 1 binaries in "/gnu/store/88gn8xyibp68sxzn47206d8rcad2skf5-ghc-chasingbottoms-1.3.1.10/lib"... phase `validate-runpath' succeeded after 0.0 seconds starting phase `validate-documentation-location' phase `validate-documentation-location' succeeded after 0.0 seconds starting phase `delete-info-dir-file' phase `delete-info-dir-file' succeeded after 0.0 seconds starting phase `patch-dot-desktop-files' phase `patch-dot-desktop-files' succeeded after 0.0 seconds starting phase `make-dynamic-linker-cache' phase `make-dynamic-linker-cache' succeeded after 0.0 seconds starting phase `install-license-files' installing 1 license files from '.' phase `install-license-files' succeeded after 0.0 seconds starting phase `reset-gzip-timestamps' phase `reset-gzip-timestamps' succeeded after 0.0 seconds starting phase `compress-documentation' phase `compress-documentation' succeeded after 0.0 seconds