Running phase: setupCompilerEnvironmentPhase Build with /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3. Running phase: unpackPhase unpacking source archive /nix/store/r80xm14h93gqw74ay0rdsfhlp1v2v75s-ChasingBottoms-1.3.1.17.tar.gz source root is ChasingBottoms-1.3.1.17 setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file "ChasingBottoms-1.3.1.17/Test/ChasingBottoms/TimeOut/Tests.hs" Running phase: patchPhase Replace Cabal file with edited version from mirror://hackage/ChasingBottoms-1.3.1.17/revision/1.cabal. Running phase: compileBuildDriverPhase setupCompileFlags: -package-db=/build/tmp.myQOCu6MsK/setup-package.conf.d -threaded [1 of 2] Compiling Main ( Setup.hs, /build/tmp.myQOCu6MsK/Main.o ) [2 of 2] Linking Setup Running phase: updateAutotoolsGnuConfigScriptsPhase Running phase: configurePhase configureFlags: --verbose --prefix=/nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc/share/doc/ChasingBottoms-1.3.1.17 --with-gcc=gcc --package-db=/build/tmp.myQOCu6MsK/package.conf.d --ghc-option=-j16 --ghc-option=+RTS --ghc-option=-A64M --ghc-option=-RTS --enable-library-profiling --profiling-detail=exported-functions --disable-profiling --enable-shared --disable-coverage --enable-static --disable-executable-dynamic --enable-tests --disable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --extra-lib-dirs=/nix/store/62qhvy2m2lpqj7ca39j9wvp2kkcxwdcg-ncurses-6.6/lib --extra-lib-dirs=/nix/store/rkfkkdgwz8y31hk76i4b9s59h5raya9n-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/hkxx26hifhkm5xsfwk1khwi1bkal3i9k-elfutils-0.195/lib --extra-lib-dirs=/nix/store/sy8ark85hgjhhcr1ycgarf5w7ajw8jcc-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/51bryd6zjk96w46s7g30azhbfrwhbh76-numactl-2.0.18/lib Using Parsec parser Configuring ChasingBottoms-1.3.1.17... Dependency QuickCheck >=2.10 && <2.18: using QuickCheck-2.15.0.1 Dependency base >=4.2 && <4.23: using base-4.20.2.0 Dependency containers >=0.5 && <0.9: using containers-0.7 Dependency mtl >=2 && <2.4: using mtl-2.3.1 Dependency random >=1.0 && <1.4: using random-1.2.1.3 Dependency syb >=0.1.0.2 && <0.8: using syb-0.7.2.4 Dependency QuickCheck >=2.10 && <2.18: using QuickCheck-2.15.0.1 Dependency array >=0.3 && <0.6: using array-0.5.8.0 Dependency base >=4.2 && <4.23: using base-4.20.2.0 Dependency containers >=0.5 && <0.9: using containers-0.7 Dependency mtl >=2 && <2.4: using mtl-2.3.1 Dependency random >=1.0 && <1.4: using random-1.2.1.3 Dependency syb >=0.1.0.2 && <0.8: using syb-0.7.2.4 Source component graph: component test:ChasingBottomsTestSuite component lib Configured component graph: component ChasingBottoms-1.3.1.17-LRAvSFuSO5a1mtddnsoGbZ-ChasingBottomsTestSuite include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF include array-0.5.8.0-d499 include base-4.20.2.0-2363 include containers-0.7-5389 include mtl-2.3.1-366e include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi component ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF include base-4.20.2.0-2363 include containers-0.7-5389 include mtl-2.3.1-366e include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi Linked component graph: unit ChasingBottoms-1.3.1.17-LRAvSFuSO5a1mtddnsoGbZ-ChasingBottomsTestSuite include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF include array-0.5.8.0-d499 include base-4.20.2.0-2363 include containers-0.7-5389 include mtl-2.3.1-366e include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi unit ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF include base-4.20.2.0-2363 include containers-0.7-5389 include mtl-2.3.1-366e include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi Test.ChasingBottoms=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms,Test.ChasingBottoms.Approx=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms.Approx,Test.ChasingBottoms.ApproxShow=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms.ApproxShow,Test.ChasingBottoms.ContinuousFunctions=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms.ContinuousFunctions,Test.ChasingBottoms.IsBottom=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms.IsBottom,Test.ChasingBottoms.Nat=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms.Nat,Test.ChasingBottoms.SemanticOrd=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms.SemanticOrd,Test.ChasingBottoms.TimeOut=ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ:Test.ChasingBottoms.TimeOut Ready component graph: definite ChasingBottoms-1.3.1.17-LRAvSFuSO5a1mtddnsoGbZ-ChasingBottomsTestSuite depends QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF depends array-0.5.8.0-d499 depends base-4.20.2.0-2363 depends containers-0.7-5389 depends mtl-2.3.1-366e depends random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK depends syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi definite ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ depends QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF depends base-4.20.2.0-2363 depends containers-0.7-5389 depends mtl-2.3.1-366e depends random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK depends syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi Using Cabal-3.12.1.0 compiled by ghc-9.10 Using compiler: ghc-9.10.3 Using install prefix: /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17 Executables installed in: /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/bin Libraries installed in: /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-ad9c/ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ Dynamic Libraries installed in: /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-ad9c Private executables installed in: /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/libexec/x86_64-linux-ghc-9.10.3-ad9c/ChasingBottoms-1.3.1.17 Data files installed in: /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/share/x86_64-linux-ghc-9.10.3-ad9c/ChasingBottoms-1.3.1.17 Documentation installed in: /nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc/share/doc/ChasingBottoms-1.3.1.17 Configuration files installed in: /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/etc No alex found Using ar found on system at: /nix/store/nhjmc8clp6igx6n6zrjxlh7zri78p7ng-binutils-wrapper-2.46/bin/ar No c2hs found No cpphs found No doctest found Using gcc version 15.2.0 given by user at: /nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0/bin/gcc Using ghc version 9.10.3 found on system at: /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/ghc Using ghc-pkg version 9.10.3 found on system at: /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/ghc-pkg-9.10.3 No ghcjs found No ghcjs-pkg found No greencard found Using haddock version 2.31.1 found on system at: /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/haddock-ghc-9.10.3 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.69 found on system at: /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/hpc-ghc-9.10.3 Using hsc2hs version 0.68.10 found on system at: /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3 Using hscolour version 1.25 found on system at: /nix/store/7jmv3q39mz536pqn37cb6p25jd9hz5yi-hscolour-1.25/bin/HsColour No jhc found Using ld found on system at: /nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0/bin/ld No pkg-config found Using runghc version 9.10.3 found on system at: /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/runghc-9.10.3 Using strip version 2.46 found on system at: /nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0/bin/strip Using tar found on system at: /nix/store/fq62mc3s8ddxgk1nvlbzly2zmr7v2cax-gnutar-1.35/bin/tar No uhc found Running phase: buildPhase Preprocessing test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.17... Building test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.17... [ 1 of 20] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType.o ) [ 2 of 20] Compiling Test.ChasingBottoms.IsType.Tests ( Test/ChasingBottoms/IsType/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType/Tests.o ) [ 3 of 20] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat.o ) [ 4 of 20] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx.o ) [ 5 of 20] Compiling Test.ChasingBottoms.TestUtilities ( Test/ChasingBottoms/TestUtilities.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities.o ) [ 6 of 20] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.o-boot ) [ 7 of 20] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut.o ) [ 8 of 20] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.o ) [ 9 of 20] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd.o ) [10 of 20] Compiling Test.ChasingBottoms.Nat.Tests ( Test/ChasingBottoms/Nat/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat/Tests.o ) [11 of 20] Compiling Test.ChasingBottoms.IsBottom.Tests ( Test/ChasingBottoms/IsBottom/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom/Tests.o ) Test/ChasingBottoms/IsBottom/Tests.hs:56:19: warning: [GHC-53633] [-Woverlapping-patterns] Pattern match is redundant In a pattern binding: Just x = ... | 56 | , isBottom (let Just x = Nothing in x :: Char) | ^^^^^^^^^^^^^^^^ [12 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions.o ) [13 of 20] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow.o ) [14 of 20] Compiling Test.ChasingBottoms.TestUtilities.Generators ( Test/ChasingBottoms/TestUtilities/Generators.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities/Generators.o ) [15 of 20] Compiling Test.ChasingBottoms.SemanticOrd.Tests ( Test/ChasingBottoms/SemanticOrd/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd/Tests.o ) [16 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions.Tests ( Test/ChasingBottoms/ContinuousFunctions/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions/Tests.o ) [17 of 20] Compiling Test.ChasingBottoms.ApproxShow.Tests ( Test/ChasingBottoms/ApproxShow/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow/Tests.o ) [18 of 20] Compiling Test.ChasingBottoms.Approx.Tests ( Test/ChasingBottoms/Approx/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx/Tests.o ) [19 of 20] Compiling Test.ChasingBottoms.TimeOut.Tests ( Test/ChasingBottoms/TimeOut/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut/Tests.o ) [20 of 20] Compiling Main ( Test/ChasingBottoms/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Main.o ) [21 of 21] Linking dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite Preprocessing library for ChasingBottoms-1.3.1.17... Building library for ChasingBottoms-1.3.1.17... [ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/Test/ChasingBottoms/IsType.o, dist/build/Test/ChasingBottoms/IsType.dyn_o ) [ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/Test/ChasingBottoms/Nat.o, dist/build/Test/ChasingBottoms/Nat.dyn_o ) [ 3 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/Test/ChasingBottoms/Approx.o, dist/build/Test/ChasingBottoms/Approx.dyn_o ) [ 4 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-boot ) [ 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 ) [ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/Test/ChasingBottoms/IsType.p_o ) [ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/Test/ChasingBottoms/Nat.p_o ) [ 3 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/Test/ChasingBottoms/Approx.p_o ) [ 4 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/Test/ChasingBottoms/IsBottom.p_o-boot ) [ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/Test/ChasingBottoms/TimeOut.p_o ) [ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/Test/ChasingBottoms/IsBottom.p_o ) [ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/Test/ChasingBottoms/SemanticOrd.p_o ) [ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/Test/ChasingBottoms/ContinuousFunctions.p_o ) [ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/Test/ChasingBottoms/ApproxShow.p_o ) [10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist/build/Test/ChasingBottoms.p_o ) Running phase: checkPhase Running 1 test suites... Test suite ChasingBottomsTestSuite: RUNNING... Approx: [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True] ApproxShow: [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True] ContinuousFunctions: +++ OK, passed 1000 tests. +++ OK, passed 1000 tests; 923 discarded. +++ OK, passed 1000 tests; 860 discarded. +++ OK, passed 1000 tests. OK. OK. OK. OK. True Generators: +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. True IsBottom: [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True] IsType: [True,True,True,True,True,True,True,True,True,True,True,True,True] Nat: +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests; 917 discarded. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1 test. +++ OK, passed 1000 tests; 2837 discarded. +++ OK, passed 1000 tests; 2926 discarded. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests; 1051 discarded. +++ OK, passed 1000 tests; 130 discarded. +++ OK, passed 1000 tests; 136 discarded. +++ OK, passed 1000 tests; 132 discarded. +++ OK, passed 1000 tests; 130 discarded. +++ OK, passed 1000 tests. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. True SemanticOrd: +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. +++ OK, passed 1000 tests. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. OK. True TimeOut: True All tests succeeded. Test suite ChasingBottomsTestSuite: PASS Test suite logged to: dist/test/ChasingBottoms-1.3.1.17-ChasingBottomsTestSuite.log 1 of 1 test suites (1 of 1 test cases) passed. Running phase: haddockPhase Preprocessing test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.17... Preprocessing library for ChasingBottoms-1.3.1.17... Running Haddock on library for ChasingBottoms-1.3.1.17... [ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, nothing ) [ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, nothing ) [ 3 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, nothing ) [ 4 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, nothing ) [ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, nothing ) [ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, nothing ) [ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, nothing ) [ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, nothing ) [ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, nothing ) [10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, nothing ) 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' Warning: 'PatternMatch' is ambiguous. It is defined * at Test/ChasingBottoms/ContinuousFunctions.hs:198:5 * at Test/ChasingBottoms/ContinuousFunctions.hs:197:1 You may be able to disambiguate the identifier by qualifying it or by specifying the type/value namespace explicitly. Defaulting to the one defined at Test/ChasingBottoms/ContinuousFunctions.hs:197:1 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' Documentation created: dist/doc/html/ChasingBottoms/, dist/doc/html/ChasingBottoms/ChasingBottoms.txt Running phase: installPhase Installing library in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-ad9c/ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ Running phase: fixupPhase shrinking RPATHs of ELF executables and libraries in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17 shrinking /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-ad9c/libHSChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ-ghc9.10.3.so checking for references to /build/ in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17... patching script interpreter paths in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17 stripping (with command strip and flags -S -p) in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/lib shrinking RPATHs of ELF executables and libraries in /nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc checking for references to /build/ in /nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc... patching script interpreter paths in /nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc