ChasingBottoms-1.3.1.17
x86_64-linux.home-manager-psi
· build #66
· raw
setupCompilerEnvironmentPhase
1Build with /nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3.unpackPhase
2unpacking source archive /nix/store/r80xm14h93gqw74ay0rdsfhlp1v2v75s-ChasingBottoms-1.3.1.17.tar.gz3source root is ChasingBottoms-1.3.1.174setting SOURCE_DATE_EPOCH to timestamp 1000000000 of file "ChasingBottoms-1.3.1.17/Test/ChasingBottoms/TimeOut/Tests.hs"patchPhase
5Replace Cabal file with edited version from mirror://hackage/ChasingBottoms-1.3.1.17/revision/1.cabal.compileBuildDriverPhase
6setupCompileFlags: -package-db=/build/tmp.myQOCu6MsK/setup-package.conf.d -threaded7[1 of 2] Compiling Main ( Setup.hs, /build/tmp.myQOCu6MsK/Main.o )8[2 of 2] Linking SetupconfigurePhase
9configureFlags: --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/lib10Using Parsec parser11Configuring ChasingBottoms-1.3.1.17...12Dependency QuickCheck >=2.10 && <2.18: using QuickCheck-2.15.0.113Dependency base >=4.2 && <4.23: using base-4.20.2.014Dependency containers >=0.5 && <0.9: using containers-0.715Dependency mtl >=2 && <2.4: using mtl-2.3.116Dependency random >=1.0 && <1.4: using random-1.2.1.317Dependency syb >=0.1.0.2 && <0.8: using syb-0.7.2.418Dependency QuickCheck >=2.10 && <2.18: using QuickCheck-2.15.0.119Dependency array >=0.3 && <0.6: using array-0.5.8.020Dependency base >=4.2 && <4.23: using base-4.20.2.021Dependency containers >=0.5 && <0.9: using containers-0.722Dependency mtl >=2 && <2.4: using mtl-2.3.123Dependency random >=1.0 && <1.4: using random-1.2.1.324Dependency syb >=0.1.0.2 && <0.8: using syb-0.7.2.425Source component graph:26 component test:ChasingBottomsTestSuite27 component lib28Configured component graph:29 component ChasingBottoms-1.3.1.17-LRAvSFuSO5a1mtddnsoGbZ-ChasingBottomsTestSuite30 include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF31 include array-0.5.8.0-d49932 include base-4.20.2.0-236333 include containers-0.7-538934 include mtl-2.3.1-366e35 include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK36 include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi37 component ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ38 include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF39 include base-4.20.2.0-236340 include containers-0.7-538941 include mtl-2.3.1-366e42 include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK43 include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi44Linked component graph:45 unit ChasingBottoms-1.3.1.17-LRAvSFuSO5a1mtddnsoGbZ-ChasingBottomsTestSuite46 include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF47 include array-0.5.8.0-d49948 include base-4.20.2.0-236349 include containers-0.7-538950 include mtl-2.3.1-366e51 include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK52 include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi53 unit ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ54 include QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF55 include base-4.20.2.0-236356 include containers-0.7-538957 include mtl-2.3.1-366e58 include random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK59 include syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi60 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.TimeOut61Ready component graph:62 definite ChasingBottoms-1.3.1.17-LRAvSFuSO5a1mtddnsoGbZ-ChasingBottomsTestSuite63 depends QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF64 depends array-0.5.8.0-d49965 depends base-4.20.2.0-236366 depends containers-0.7-538967 depends mtl-2.3.1-366e68 depends random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK69 depends syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi70 definite ChasingBottoms-1.3.1.17-4rzkoGv7VKP6AmIglslvRQ71 depends QuickCheck-2.15.0.1-3N2cq88qhTx9tzOlwUpVlF72 depends base-4.20.2.0-236373 depends containers-0.7-538974 depends mtl-2.3.1-366e75 depends random-1.2.1.3-yV1qbWmTPy9LUqbgouXfK76 depends syb-0.7.2.4-iRK1xiT7Sy1Ze3SylKoOi77Using Cabal-3.12.1.0 compiled by ghc-9.1078Using compiler: ghc-9.10.379Using install prefix:80/nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.1781Executables installed in:82/nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/bin83Libraries installed in:84/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-4rzkoGv7VKP6AmIglslvRQ85Dynamic Libraries installed in:86/nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-ad9c87Private executables installed in:88/nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/libexec/x86_64-linux-ghc-9.10.3-ad9c/ChasingBottoms-1.3.1.1789Data files installed in:90/nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/share/x86_64-linux-ghc-9.10.3-ad9c/ChasingBottoms-1.3.1.1791Documentation installed in:92/nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc/share/doc/ChasingBottoms-1.3.1.1793Configuration files installed in:94/nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/etc95No alex found96Using ar found on system at:97/nix/store/nhjmc8clp6igx6n6zrjxlh7zri78p7ng-binutils-wrapper-2.46/bin/ar98No c2hs found99No cpphs found100No doctest found101Using gcc version 15.2.0 given by user at:102/nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0/bin/gcc103Using ghc version 9.10.3 found on system at:104/nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/ghc105Using ghc-pkg version 9.10.3 found on system at:106/nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/ghc-pkg-9.10.3107No ghcjs found108No ghcjs-pkg found109No greencard found110Using haddock version 2.31.1 found on system at:111/nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/haddock-ghc-9.10.3112No happy found113Using haskell-suite found on system at: haskell-suite-dummy-location114Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location115No hmake found116Using hpc version 0.69 found on system at:117/nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/hpc-ghc-9.10.3118Using hsc2hs version 0.68.10 found on system at:119/nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3120Using hscolour version 1.25 found on system at:121/nix/store/7jmv3q39mz536pqn37cb6p25jd9hz5yi-hscolour-1.25/bin/HsColour122No jhc found123Using ld found on system at:124/nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0/bin/ld125No pkg-config found126Using runghc version 9.10.3 found on system at:127/nix/store/y48hvc1f09367cz5f03dcncv6n3lkf18-ghc-9.10.3/bin/runghc-9.10.3128Using strip version 2.46 found on system at:129/nix/store/vdaz6sk455r8sbpi7wzaf9vlz5i9yyvx-gcc-wrapper-15.2.0/bin/strip130Using tar found on system at:131/nix/store/fq62mc3s8ddxgk1nvlbzly2zmr7v2cax-gnutar-1.35/bin/tar132No uhc foundbuildPhase
133Preprocessing test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.17...134Building test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.17...135[ 1 of 20] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType.o )136[ 2 of 20] Compiling Test.ChasingBottoms.IsType.Tests ( Test/ChasingBottoms/IsType/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsType/Tests.o )137[ 3 of 20] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat.o )138[ 4 of 20] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx.o )139[ 5 of 20] Compiling Test.ChasingBottoms.TestUtilities ( Test/ChasingBottoms/TestUtilities.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities.o )140[ 6 of 20] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.o-boot )141[ 7 of 20] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut.o )142[ 8 of 20] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom.o )143[ 9 of 20] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd.o )144[10 of 20] Compiling Test.ChasingBottoms.Nat.Tests ( Test/ChasingBottoms/Nat/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Nat/Tests.o )145[11 of 20] Compiling Test.ChasingBottoms.IsBottom.Tests ( Test/ChasingBottoms/IsBottom/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/IsBottom/Tests.o )146Test/ChasingBottoms/IsBottom/Tests.hs:56:19: warning: [GHC-53633] [-Woverlapping-patterns]147 Pattern match is redundant148 In a pattern binding: Just x = ...149 |15056 | , isBottom (let Just x = Nothing in x :: Char)151 | ^^^^^^^^^^^^^^^^152153[12 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions.o )154[13 of 20] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow.o )155[14 of 20] Compiling Test.ChasingBottoms.TestUtilities.Generators ( Test/ChasingBottoms/TestUtilities/Generators.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TestUtilities/Generators.o )156[15 of 20] Compiling Test.ChasingBottoms.SemanticOrd.Tests ( Test/ChasingBottoms/SemanticOrd/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/SemanticOrd/Tests.o )157[16 of 20] Compiling Test.ChasingBottoms.ContinuousFunctions.Tests ( Test/ChasingBottoms/ContinuousFunctions/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ContinuousFunctions/Tests.o )158[17 of 20] Compiling Test.ChasingBottoms.ApproxShow.Tests ( Test/ChasingBottoms/ApproxShow/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/ApproxShow/Tests.o )159[18 of 20] Compiling Test.ChasingBottoms.Approx.Tests ( Test/ChasingBottoms/Approx/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/Approx/Tests.o )160[19 of 20] Compiling Test.ChasingBottoms.TimeOut.Tests ( Test/ChasingBottoms/TimeOut/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Test/ChasingBottoms/TimeOut/Tests.o )161[20 of 20] Compiling Main ( Test/ChasingBottoms/Tests.hs, dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite-tmp/Main.o )162[21 of 21] Linking dist/build/ChasingBottomsTestSuite/ChasingBottomsTestSuite163Preprocessing library for ChasingBottoms-1.3.1.17...164Building library for ChasingBottoms-1.3.1.17...165[ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/Test/ChasingBottoms/IsType.o, dist/build/Test/ChasingBottoms/IsType.dyn_o )166[ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/Test/ChasingBottoms/Nat.o, dist/build/Test/ChasingBottoms/Nat.dyn_o )167[ 3 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/Test/ChasingBottoms/Approx.o, dist/build/Test/ChasingBottoms/Approx.dyn_o )168[ 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 )169[ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/Test/ChasingBottoms/TimeOut.o, dist/build/Test/ChasingBottoms/TimeOut.dyn_o )170[ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/Test/ChasingBottoms/IsBottom.o, dist/build/Test/ChasingBottoms/IsBottom.dyn_o )171[ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/Test/ChasingBottoms/SemanticOrd.o, dist/build/Test/ChasingBottoms/SemanticOrd.dyn_o )172[ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/Test/ChasingBottoms/ContinuousFunctions.o, dist/build/Test/ChasingBottoms/ContinuousFunctions.dyn_o )173[ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/Test/ChasingBottoms/ApproxShow.o, dist/build/Test/ChasingBottoms/ApproxShow.dyn_o )174[10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist/build/Test/ChasingBottoms.o, dist/build/Test/ChasingBottoms.dyn_o )175[ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, dist/build/Test/ChasingBottoms/IsType.p_o )176[ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, dist/build/Test/ChasingBottoms/Nat.p_o )177[ 3 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, dist/build/Test/ChasingBottoms/Approx.p_o )178[ 4 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, dist/build/Test/ChasingBottoms/IsBottom.p_o-boot )179[ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, dist/build/Test/ChasingBottoms/TimeOut.p_o )180[ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, dist/build/Test/ChasingBottoms/IsBottom.p_o )181[ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, dist/build/Test/ChasingBottoms/SemanticOrd.p_o )182[ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, dist/build/Test/ChasingBottoms/ContinuousFunctions.p_o )183[ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, dist/build/Test/ChasingBottoms/ApproxShow.p_o )184[10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, dist/build/Test/ChasingBottoms.p_o )checkPhase
185Running 1 test suites...186Test suite ChasingBottomsTestSuite: RUNNING...187Approx:188 [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True]189ApproxShow:190 [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True]191ContinuousFunctions:192+++ OK, passed 1000 tests.193+++ OK, passed 1000 tests; 923 discarded.194+++ OK, passed 1000 tests; 860 discarded.195+++ OK, passed 1000 tests.196OK.197OK.198OK.199OK.200 True201Generators:202+++ OK, passed 1000 tests.203+++ OK, passed 1000 tests.204+++ OK, passed 1000 tests.205+++ OK, passed 1000 tests.206+++ OK, passed 1000 tests.207+++ OK, passed 1000 tests.208+++ OK, passed 1000 tests.209+++ OK, passed 1000 tests.210+++ OK, passed 1000 tests.211+++ OK, passed 1000 tests.212+++ OK, passed 1000 tests.213+++ OK, passed 1000 tests.214OK.215OK.216OK.217OK.218OK.219OK.220OK.221OK.222OK.223OK.224OK.225OK.226 True227IsBottom:228 [True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True,True]229IsType:230 [True,True,True,True,True,True,True,True,True,True,True,True,True]231Nat:232+++ OK, passed 1000 tests.233+++ OK, passed 1000 tests.234+++ OK, passed 1000 tests.235+++ OK, passed 1000 tests.236+++ OK, passed 1000 tests.237+++ OK, passed 1000 tests.238+++ OK, passed 1000 tests.239+++ OK, passed 1000 tests.240+++ OK, passed 1000 tests.241+++ OK, passed 1000 tests.242+++ OK, passed 1000 tests.243+++ OK, passed 1000 tests.244+++ OK, passed 1000 tests.245+++ OK, passed 1000 tests.246+++ OK, passed 1000 tests.247+++ OK, passed 1000 tests.248+++ OK, passed 1000 tests.249+++ OK, passed 1000 tests.250+++ OK, passed 1000 tests.251+++ OK, passed 1000 tests.252+++ OK, passed 1000 tests.253+++ OK, passed 1000 tests.254+++ OK, passed 1000 tests.255+++ OK, passed 1000 tests.256+++ OK, passed 1000 tests.257+++ OK, passed 1000 tests.258+++ OK, passed 1000 tests.259+++ OK, passed 1000 tests.260+++ OK, passed 1000 tests.261+++ OK, passed 1000 tests.262+++ OK, passed 1000 tests.263+++ OK, passed 1000 tests.264+++ OK, passed 1000 tests.265+++ OK, passed 1000 tests.266+++ OK, passed 1000 tests.267+++ OK, passed 1000 tests.268+++ OK, passed 1000 tests.269+++ OK, passed 1000 tests.270+++ OK, passed 1000 tests.271+++ OK, passed 1000 tests.272+++ OK, passed 1000 tests.273+++ OK, passed 1000 tests.274+++ OK, passed 1000 tests.275+++ OK, passed 1000 tests.276+++ OK, passed 1000 tests.277+++ OK, passed 1000 tests; 917 discarded.278+++ OK, passed 1000 tests.279+++ OK, passed 1000 tests.280+++ OK, passed 1000 tests.281+++ OK, passed 1000 tests.282+++ OK, passed 1000 tests.283+++ OK, passed 1000 tests.284+++ OK, passed 1000 tests.285+++ OK, passed 1000 tests.286+++ OK, passed 1000 tests.287+++ OK, passed 1000 tests.288+++ OK, passed 1000 tests.289+++ OK, passed 1000 tests.290+++ OK, passed 1 test.291+++ OK, passed 1000 tests; 2837 discarded.292+++ OK, passed 1000 tests; 2926 discarded.293+++ OK, passed 1000 tests.294+++ OK, passed 1000 tests; 1051 discarded.295+++ OK, passed 1000 tests; 130 discarded.296+++ OK, passed 1000 tests; 136 discarded.297+++ OK, passed 1000 tests; 132 discarded.298+++ OK, passed 1000 tests; 130 discarded.299+++ OK, passed 1000 tests.300OK.301OK.302OK.303OK.304OK.305OK.306OK.307OK.308OK.309OK.310OK.311OK.312OK.313OK.314OK.315OK.316OK.317OK.318OK.319OK.320OK.321OK.322OK.323OK.324OK.325OK.326OK.327OK.328OK.329OK.330OK.331OK.332OK.333OK.334OK.335OK.336OK.337OK.338OK.339OK.340OK.341OK.342OK.343OK.344OK.345OK.346OK.347OK.348OK.349OK.350OK.351OK.352OK.353OK.354OK.355OK.356OK.357OK.358OK.359OK.360OK.361OK.362OK.363OK.364OK.365OK.366OK.367OK.368 True369SemanticOrd:370+++ OK, passed 1000 tests.371+++ OK, passed 1000 tests.372+++ OK, passed 1000 tests.373+++ OK, passed 1000 tests.374+++ OK, passed 1000 tests.375+++ OK, passed 1000 tests.376+++ OK, passed 1000 tests.377+++ OK, passed 1000 tests.378+++ OK, passed 1000 tests.379+++ OK, passed 1000 tests.380+++ OK, passed 1000 tests.381+++ OK, passed 1000 tests.382+++ OK, passed 1000 tests.383+++ OK, passed 1000 tests.384+++ OK, passed 1000 tests.385+++ OK, passed 1000 tests.386+++ OK, passed 1000 tests.387+++ OK, passed 1000 tests.388+++ OK, passed 1000 tests.389+++ OK, passed 1000 tests.390+++ OK, passed 1000 tests.391+++ OK, passed 1000 tests.392+++ OK, passed 1000 tests.393+++ OK, passed 1000 tests.394+++ OK, passed 1000 tests.395+++ OK, passed 1000 tests.396+++ OK, passed 1000 tests.397+++ OK, passed 1000 tests.398+++ OK, passed 1000 tests.399+++ OK, passed 1000 tests.400+++ OK, passed 1000 tests.401+++ OK, passed 1000 tests.402+++ OK, passed 1000 tests.403+++ OK, passed 1000 tests.404+++ OK, passed 1000 tests.405+++ OK, passed 1000 tests.406+++ OK, passed 1000 tests.407+++ OK, passed 1000 tests.408+++ OK, passed 1000 tests.409+++ OK, passed 1000 tests.410+++ OK, passed 1000 tests.411+++ OK, passed 1000 tests.412+++ OK, passed 1000 tests.413+++ OK, passed 1000 tests.414+++ OK, passed 1000 tests.415+++ OK, passed 1000 tests.416+++ OK, passed 1000 tests.417+++ OK, passed 1000 tests.418+++ OK, passed 1000 tests.419+++ OK, passed 1000 tests.420+++ OK, passed 1000 tests.421+++ OK, passed 1000 tests.422+++ OK, passed 1000 tests.423+++ OK, passed 1000 tests.424+++ OK, passed 1000 tests.425+++ OK, passed 1000 tests.426+++ OK, passed 1000 tests.427+++ OK, passed 1000 tests.428+++ OK, passed 1000 tests.429+++ OK, passed 1000 tests.430+++ OK, passed 1000 tests.431+++ OK, passed 1000 tests.432+++ OK, passed 1000 tests.433+++ OK, passed 1000 tests.434+++ OK, passed 1000 tests.435+++ OK, passed 1000 tests.436+++ OK, passed 1000 tests.437+++ OK, passed 1000 tests.438+++ OK, passed 1000 tests.439+++ OK, passed 1000 tests.440+++ OK, passed 1000 tests.441+++ OK, passed 1000 tests.442+++ OK, passed 1000 tests.443+++ OK, passed 1000 tests.444+++ OK, passed 1000 tests.445+++ OK, passed 1000 tests.446+++ OK, passed 1000 tests.447+++ OK, passed 1000 tests.448+++ OK, passed 1000 tests.449+++ OK, passed 1000 tests.450+++ OK, passed 1000 tests.451+++ OK, passed 1000 tests.452+++ OK, passed 1000 tests.453+++ OK, passed 1000 tests.454+++ OK, passed 1000 tests.455+++ OK, passed 1000 tests.456+++ OK, passed 1000 tests.457+++ OK, passed 1000 tests.458+++ OK, passed 1000 tests.459+++ OK, passed 1000 tests.460+++ OK, passed 1000 tests.461+++ OK, passed 1000 tests.462+++ OK, passed 1000 tests.463+++ OK, passed 1000 tests.464+++ OK, passed 1000 tests.465+++ OK, passed 1000 tests.466+++ OK, passed 1000 tests.467+++ OK, passed 1000 tests.468+++ OK, passed 1000 tests.469+++ OK, passed 1000 tests.470+++ OK, passed 1000 tests.471+++ OK, passed 1000 tests.472+++ OK, passed 1000 tests.473+++ OK, passed 1000 tests.474OK.475OK.476OK.477OK.478OK.479OK.480OK.481OK.482OK.483OK.484OK.485OK.486OK.487OK.488OK.489OK.490OK.491OK.492OK.493OK.494OK.495OK.496OK.497OK.498OK.499OK.500OK.501OK.502OK.503OK.504OK.505OK.506OK.507OK.508OK.509OK.510OK.511OK.512OK.513OK.514OK.515OK.516OK.517OK.518OK.519OK.520OK.521OK.522OK.523OK.524OK.525OK.526OK.527OK.528OK.529OK.530OK.531OK.532OK.533OK.534OK.535OK.536OK.537OK.538OK.539OK.540OK.541OK.542OK.543OK.544OK.545OK.546OK.547OK.548OK.549OK.550OK.551OK.552OK.553OK.554OK.555OK.556OK.557OK.558OK.559OK.560OK.561OK.562OK.563OK.564OK.565OK.566OK.567OK.568OK.569OK.570OK.571OK.572OK.573OK.574OK.575OK.576OK.577OK.578 True579TimeOut:580 True581582All tests succeeded.583Test suite ChasingBottomsTestSuite: PASS584Test suite logged to:585dist/test/ChasingBottoms-1.3.1.17-ChasingBottomsTestSuite.log5861 of 1 test suites (1 of 1 test cases) passed.haddockPhase
587Preprocessing test suite 'ChasingBottomsTestSuite' for ChasingBottoms-1.3.1.17...588Preprocessing library for ChasingBottoms-1.3.1.17...589Running Haddock on library for ChasingBottoms-1.3.1.17...590[ 1 of 10] Compiling Test.ChasingBottoms.IsType ( Test/ChasingBottoms/IsType.hs, nothing )591[ 2 of 10] Compiling Test.ChasingBottoms.Nat ( Test/ChasingBottoms/Nat.hs, nothing )592[ 3 of 10] Compiling Test.ChasingBottoms.Approx ( Test/ChasingBottoms/Approx.hs, nothing )593[ 4 of 10] Compiling Test.ChasingBottoms.IsBottom[boot] ( Test/ChasingBottoms/IsBottom.hs-boot, nothing )594[ 5 of 10] Compiling Test.ChasingBottoms.TimeOut ( Test/ChasingBottoms/TimeOut.hs, nothing )595[ 6 of 10] Compiling Test.ChasingBottoms.IsBottom ( Test/ChasingBottoms/IsBottom.hs, nothing )596[ 7 of 10] Compiling Test.ChasingBottoms.SemanticOrd ( Test/ChasingBottoms/SemanticOrd.hs, nothing )597[ 8 of 10] Compiling Test.ChasingBottoms.ContinuousFunctions ( Test/ChasingBottoms/ContinuousFunctions.hs, nothing )598[ 9 of 10] Compiling Test.ChasingBottoms.ApproxShow ( Test/ChasingBottoms/ApproxShow.hs, nothing )599[10 of 10] Compiling Test.ChasingBottoms ( Test/ChasingBottoms.hs, nothing )600Haddock coverage:601 100% ( 6 / 6) in 'Test.ChasingBottoms.Nat'602 100% ( 2 / 2) in 'Test.ChasingBottoms.Approx'603 83% ( 5 / 6) in 'Test.ChasingBottoms.TimeOut'604 Missing documentation for:605 Result (Test/ChasingBottoms/TimeOut.hs:34)606 100% ( 7 / 7) in 'Test.ChasingBottoms.IsBottom'607 100% ( 5 / 5) in 'Test.ChasingBottoms.SemanticOrd'608Warning: 'PatternMatch' is ambiguous. It is defined609 * at Test/ChasingBottoms/ContinuousFunctions.hs:198:5610 * at Test/ChasingBottoms/ContinuousFunctions.hs:197:1611 You may be able to disambiguate the identifier by qualifying it or612 by specifying the type/value namespace explicitly.613 Defaulting to the one defined at Test/ChasingBottoms/ContinuousFunctions.hs:197:1614 100% ( 25 / 25) in 'Test.ChasingBottoms.ContinuousFunctions'615 66% ( 2 / 3) in 'Test.ChasingBottoms.ApproxShow'616 Missing documentation for:617 ApproxShow (Test/ChasingBottoms/ApproxShow.hs:30)618 100% ( 8 / 8) in 'Test.ChasingBottoms'619Documentation created: dist/doc/html/ChasingBottoms/,620dist/doc/html/ChasingBottoms/ChasingBottoms.txtinstallPhase
621Installing 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-4rzkoGv7VKP6AmIglslvRQfixupPhase
622shrinking RPATHs of ELF executables and libraries in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17623shrinking /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.so624checking for references to /build/ in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17...625patching script interpreter paths in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17626stripping (with command strip and flags -S -p) in /nix/store/szq0dcwxaghcrhqcfbh7yffq7zkpb5ny-ChasingBottoms-1.3.1.17/lib627shrinking RPATHs of ELF executables and libraries in /nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc628checking for references to /build/ in /nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc...629patching script interpreter paths in /nix/store/l9i90mijxxrh7y2g7nn07yffx46cg78y-ChasingBottoms-1.3.1.17-doc