1. 0.02 s $ /nix/store/vzx1mi9c0xfadmsm9dhd83d005cb1qs9-coreutils-9.8/bin/timeout --kill-after=15s 7200s /nix/store/99b1z08awpxj8b6mzggn59gp1shljnff-nix-2.34.5/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link git+https://github.com/NorfairKing/sydtest?ref=per-test-coverage-manifest&rev=fc2fedff3b4492aa36756a1271afa7d0122b7987#checks.x86_64-linux.mutation-really-safe-money --print-build-logs
  2. 0.09 s warning: ignoring the client-specified setting 'netrc-file', because it is a restricted setting and you are not a trusted user
  3. 0.09 s warning: ignoring the client-specified setting 'post-build-hook', because it is a restricted setting and you are not a trusted user
  4. 0.09 s warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user.
  5. 0.09 s Run `man nix.conf` for more information on the `substituters` configuration option.
  6. 0.09 s warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user.
  7. 0.09 s Run `man nix.conf` for more information on the `substituters` configuration option.
  8. 0.09 s warning: ignoring the client-specified setting 'trusted-public-keys', because it is a restricted setting and you are not a trusted user
  9. 0.09 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  10. 0.09 s Pass '--accept-flake-config' to trust it
  11. 0.09 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  12. 0.09 s Pass '--accept-flake-config' to trust it
  13. 0.09 s warning: ignoring the client-specified setting 'netrc-file', because it is a restricted setting and you are not a trusted user
  14. 0.09 s warning: ignoring the client-specified setting 'post-build-hook', because it is a restricted setting and you are not a trusted user
  15. 0.09 s warning: ignoring untrusted substituter 'https://sydtest.cachix.org', you are not a trusted user.
  16. 0.09 s Run `man nix.conf` for more information on the `substituters` configuration option.
  17. 0.09 s warning: ignoring untrusted substituter 'https://cache.staging.nix-ci.com', you are not a trusted user.
  18. 0.09 s Run `man nix.conf` for more information on the `substituters` configuration option.
  19. 0.09 s warning: ignoring the client-specified setting 'trusted-public-keys', because it is a restricted setting and you are not a trusted user
  20. 0.12 s
  21. 0.85 s Waiting for lock on sydtest
  22. 0.89 s Building really-safe-money
  23. 1.12 s [really-safe-money] Phase: setupCompilerEnvironmentPhase
  24. 1.13 s [really-safe-money] Build with /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3.
  25. 1.64 s [really-safe-money] Phase: unpackPhase
  26. 1.65 s [really-safe-money] unpacking source archive /nix/store/z4fcvqq05r19fl7s91sq9n2cv1z8zvkn-really-safe-money-source-0.0.0.0/really-safe-money-0.0.0.0.tar.gz
  27. 1.66 s [really-safe-money] source root is really-safe-money-0.0.0.0
  28. 1.68 s [really-safe-money] setting SOURCE_DATE_EPOCH to timestamp 1775995925 of file "really-safe-money-0.0.0.0/src/Numeric/DecimalLiteral.hs"
  29. 1.69 s [really-safe-money] Phase: patchPhase
  30. 1.71 s [really-safe-money] Phase: compileBuildDriverPhase
  31. 1.72 s [really-safe-money] setupCompileFlags: -package-db=/build/tmp.U29pMi8eGk/setup-package.conf.d -threaded
  32. 1.80 s [really-safe-money] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.U29pMi8eGk/Main.o )
  33. 1.86 s [really-safe-money] [2 of 2] Linking Setup
  34. 3.36 s [really-safe-money] Phase: updateAutotoolsGnuConfigScriptsPhase
  35. 3.38 s [really-safe-money] Phase: configurePhase
  36. 3.38 s [really-safe-money] configureFlags: --verbose --prefix=/nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --with-gcc=gcc --package-db=/build/tmp.U29pMi8eGk/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 --disable-static --disable-executable-dynamic --disable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Werror --extra-lib-dirs=/nix/store/45z5ja3qb26d66l44gkni38r7bk36fnh-ncurses-6.5/lib --extra-lib-dirs=/nix/store/6rwsi7k52chjbpxr74khmzdr5hzlc4bb-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/5nklmmj1ypr5vpkg7rxna1ywyzl8lca8-elfutils-0.194/lib --extra-lib-dirs=/nix/store/3xq68v4gdh0pmkxdwxy76bh36w99nb5q-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/kw1l2rrslifbdm7l8blgmaf7xidh0n5q-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/lib
  37. 3.39 s [really-safe-money] Using Parsec parser
  38. 3.39 s [really-safe-money] Configuring really-safe-money-0.0.0.0...
  39. 4.23 s [really-safe-money] Dependency base >=4.7 && <5: using base-4.20.2.0
  40. 4.23 s [really-safe-money] Dependency containers: using containers-0.7
  41. 4.23 s [really-safe-money] Dependency deepseq: using deepseq-1.5.0.0
  42. 4.23 s [really-safe-money] Dependency validity: using validity-0.12.1.0
  43. 4.23 s [really-safe-money] Dependency validity-containers: using validity-containers-0.5.0.5
  44. 4.23 s [really-safe-money] Dependency validity-scientific: using validity-scientific-0.2.0.3
  45. 4.23 s [really-safe-money] Source component graph: component lib
  46. 4.23 s [really-safe-money] Configured component graph:
  47. 4.23 s [really-safe-money] component really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  48. 4.23 s [really-safe-money] include base-4.20.2.0-69bc
  49. 4.23 s [really-safe-money] include containers-0.7-9663
  50. 4.23 s [really-safe-money] include deepseq-1.5.0.0-8053
  51. 4.23 s [really-safe-money] include validity-0.12.1.0-4TEvFhkkr1KCk3pihWi5pT
  52. 4.23 s [really-safe-money] include validity-containers-0.5.0.5-263HuJLc2AW7dqVKG1ESRe
  53. 4.23 s [really-safe-money] include validity-scientific-0.2.0.3-AhzJPfaAyiFcgF3zYNYos
  54. 4.23 s [really-safe-money] Linked component graph:
  55. 4.23 s [really-safe-money] unit really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  56. 4.23 s [really-safe-money] include base-4.20.2.0-69bc
  57. 4.23 s [really-safe-money] include containers-0.7-9663
  58. 4.23 s [really-safe-money] include deepseq-1.5.0.0-8053
  59. 4.23 s [really-safe-money] include validity-0.12.1.0-4TEvFhkkr1KCk3pihWi5pT
  60. 4.23 s [really-safe-money] include validity-containers-0.5.0.5-263HuJLc2AW7dqVKG1ESRe
  61. 4.23 s [really-safe-money] include validity-scientific-0.2.0.3-AhzJPfaAyiFcgF3zYNYos
  62. 4.23 s [really-safe-money] Money.Account=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.Account,Money.AccountOf=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.AccountOf,Money.Amount=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.Amount,Money.AmountOf=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.AmountOf,Money.ConversionRate=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.ConversionRate,Money.ConversionRateOf=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.ConversionRateOf,Money.Currency=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.Currency,Money.MultiAccount=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.MultiAccount,Money.MultiAmount=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.MultiAmount,Money.QuantisationFactor=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Money.QuantisationFactor,Numeric.DecimalLiteral=really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i:Numeric.DecimalLiteral
  63. 4.23 s [really-safe-money] Ready component graph:
  64. 4.23 s [really-safe-money] definite really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  65. 4.23 s [really-safe-money] depends base-4.20.2.0-69bc
  66. 4.23 s [really-safe-money] depends containers-0.7-9663
  67. 4.23 s [really-safe-money] depends deepseq-1.5.0.0-8053
  68. 4.23 s [really-safe-money] depends validity-0.12.1.0-4TEvFhkkr1KCk3pihWi5pT
  69. 4.23 s [really-safe-money] depends validity-containers-0.5.0.5-263HuJLc2AW7dqVKG1ESRe
  70. 4.23 s [really-safe-money] depends validity-scientific-0.2.0.3-AhzJPfaAyiFcgF3zYNYos
  71. 4.23 s [really-safe-money] Using Cabal-3.12.1.0 compiled by ghc-9.10
  72. 4.23 s [really-safe-money] Using compiler: ghc-9.10.3
  73. 4.23 s [really-safe-money] Using install prefix:
  74. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0
  75. 4.23 s [really-safe-money] Executables installed in:
  76. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/bin
  77. 4.23 s [really-safe-money] Libraries installed in:
  78. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  79. 4.23 s [really-safe-money] Dynamic Libraries installed in:
  80. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151
  81. 4.23 s [really-safe-money] Private executables installed in:
  82. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-c151/really-safe-money-0.0.0.0
  83. 4.23 s [really-safe-money] Data files installed in:
  84. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/share/x86_64-linux-ghc-9.10.3-c151/really-safe-money-0.0.0.0
  85. 4.23 s [really-safe-money] Documentation installed in:
  86. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/share/doc/x86_64-linux-ghc-9.10.3-c151/really-safe-money-0.0.0.0
  87. 4.23 s [really-safe-money] Configuration files installed in:
  88. 4.23 s [really-safe-money] /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/etc
  89. 4.23 s [really-safe-money] No alex found
  90. 4.23 s [really-safe-money] Using ar found on system at:
  91. 4.23 s [really-safe-money] /nix/store/hnan7l0v68sahyxbazz5y358prz253d1-binutils-wrapper-2.44/bin/ar
  92. 4.23 s [really-safe-money] No c2hs found
  93. 4.23 s [really-safe-money] No cpphs found
  94. 4.23 s [really-safe-money] No doctest found
  95. 4.23 s [really-safe-money] Using gcc version 14.3.0 given by user at:
  96. 4.23 s [really-safe-money] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/gcc
  97. 4.23 s [really-safe-money] Using ghc version 9.10.3 found on system at:
  98. 4.23 s [really-safe-money] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc
  99. 4.23 s [really-safe-money] Using ghc-pkg version 9.10.3 found on system at:
  100. 4.23 s [really-safe-money] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc-pkg-9.10.3
  101. 4.23 s [really-safe-money] No ghcjs found
  102. 4.23 s [really-safe-money] No ghcjs-pkg found
  103. 4.23 s [really-safe-money] No greencard found
  104. 4.23 s [really-safe-money] Using haddock version 2.31.1 found on system at:
  105. 4.23 s [really-safe-money] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/haddock-ghc-9.10.3
  106. 4.23 s [really-safe-money] No happy found
  107. 4.23 s [really-safe-money] Using haskell-suite found on system at: haskell-suite-dummy-location
  108. 4.23 s [really-safe-money] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  109. 4.23 s [really-safe-money] No hmake found
  110. 4.23 s [really-safe-money] Using hpc version 0.69 found on system at:
  111. 4.23 s [really-safe-money] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hpc-ghc-9.10.3
  112. 4.23 s [really-safe-money] Using hsc2hs version 0.68.10 found on system at:
  113. 4.23 s [really-safe-money] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  114. 4.23 s [really-safe-money] Using hscolour version 1.25 found on system at:
  115. 4.23 s [really-safe-money] /nix/store/4f97zghyhdx2dj13mir9002n11iljwc5-hscolour-1.25/bin/HsColour
  116. 4.23 s [really-safe-money] No jhc found
  117. 4.23 s [really-safe-money] Using ld found on system at:
  118. 4.23 s [really-safe-money] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/ld
  119. 4.23 s [really-safe-money] No pkg-config found
  120. 4.23 s [really-safe-money] Using runghc version 9.10.3 found on system at:
  121. 4.23 s [really-safe-money] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/runghc-9.10.3
  122. 4.23 s [really-safe-money] Using strip version 2.44 found on system at:
  123. 4.23 s [really-safe-money] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/strip
  124. 4.23 s [really-safe-money] Using tar found on system at:
  125. 4.23 s [really-safe-money] /nix/store/df3vxyq7lwf9l02h0wljsq0h3189rp75-gnutar-1.35/bin/tar
  126. 4.23 s [really-safe-money] No uhc found
  127. 4.59 s [really-safe-money] Phase: buildPhase
  128. 4.59 s [really-safe-money] mutation-nix: setting MUTATION_MANIFEST_DIR=/nix/store/f6chm4bh9gb2xbgl6a2rvi5bdvzdxiq9-really-safe-money-0.0.0.0-manifest
  129. 4.66 s [really-safe-money] Preprocessing library for really-safe-money-0.0.0.0...
  130. 4.66 s [really-safe-money] Building library for really-safe-money-0.0.0.0...
  131. 4.89 s [really-safe-money] [ 1 of 12] Compiling Numeric.DecimalLiteral ( src/Numeric/DecimalLiteral.hs, dist/build/Numeric/DecimalLiteral.o, dist/build/Numeric/DecimalLiteral.dyn_o )
  132. 5.05 s [really-safe-money] mutation: instrumenting Numeric.DecimalLiteral
  133. 7.92 s [really-safe-money] [ 2 of 12] Compiling Money.QuantisationFactor ( src/Money/QuantisationFactor.hs, dist/build/Money/QuantisationFactor.o, dist/build/Money/QuantisationFactor.dyn_o )
  134. 7.97 s [really-safe-money] mutation: instrumenting Money.QuantisationFactor
  135. 8.31 s [really-safe-money] [ 3 of 12] Compiling Money.Currency ( src/Money/Currency.hs, dist/build/Money/Currency.o, dist/build/Money/Currency.dyn_o )
  136. 8.31 s [really-safe-money] mutation: instrumenting Money.ConversionRate
  137. 8.31 s [really-safe-money] mutation: instrumenting Money.Currency
  138. 8.62 s [really-safe-money] mutation: instrumenting Money.ConversionRateOf
  139. 8.67 s [really-safe-money] mutation: instrumenting Money.Amount
  140. 9.22 s [really-safe-money] [ 4 of 12] Compiling Money.ConversionRate ( src/Money/ConversionRate.hs, dist/build/Money/ConversionRate.o, dist/build/Money/ConversionRate.dyn_o )
  141. 9.22 s [really-safe-money] [ 5 of 12] Compiling Money.ConversionRateOf ( src/Money/ConversionRateOf.hs, dist/build/Money/ConversionRateOf.o, dist/build/Money/ConversionRateOf.dyn_o )
  142. 9.22 s [really-safe-money] [ 6 of 12] Compiling Money.Amount ( src/Money/Amount.hs, dist/build/Money/Amount.o, dist/build/Money/Amount.dyn_o )
  143. 11.28 s Building genvalidity-sydtest-source
  144. 11.72 s [genvalidity-sydtest-source] Phase: setupCompilerEnvironmentPhase
  145. 11.73 s [genvalidity-sydtest-source] Build with /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3.
  146. 12.68 s [genvalidity-sydtest-source] Phase: unpackPhase
  147. 12.68 s [genvalidity-sydtest-source] unpacking source archive /nix/store/dqdpwym3w17fcyylxh144v7wvc1c621z-genvalidity-sydtest
  148. 12.70 s [genvalidity-sydtest-source] source root is genvalidity-sydtest
  149. 12.73 s [genvalidity-sydtest-source] Phase: patchPhase
  150. 12.74 s [genvalidity-sydtest-source] Phase: compileBuildDriverPhase
  151. 12.75 s [genvalidity-sydtest-source] setupCompileFlags: -package-db=/build/tmp.DlxZb0zGxR/setup-package.conf.d -threaded
  152. 12.83 s [genvalidity-sydtest-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.DlxZb0zGxR/Main.o )
  153. 12.91 s [genvalidity-sydtest-source] [2 of 2] Linking Setup
  154. 14.60 s [genvalidity-sydtest-source] Phase: updateAutotoolsGnuConfigScriptsPhase
  155. 14.65 s [genvalidity-sydtest-source] Phase: configurePhase
  156. 14.65 s [genvalidity-sydtest-source] configureFlags: --verbose --prefix=/nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/share/doc/genvalidity-sydtest-1.0.1.0 --with-gcc=gcc --package-db=/build/tmp.DlxZb0zGxR/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 --ghc-option=-Wall --ghc-option=-Werror --extra-lib-dirs=/nix/store/45z5ja3qb26d66l44gkni38r7bk36fnh-ncurses-6.5/lib --extra-lib-dirs=/nix/store/6rwsi7k52chjbpxr74khmzdr5hzlc4bb-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/5nklmmj1ypr5vpkg7rxna1ywyzl8lca8-elfutils-0.194/lib --extra-lib-dirs=/nix/store/3xq68v4gdh0pmkxdwxy76bh36w99nb5q-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/kw1l2rrslifbdm7l8blgmaf7xidh0n5q-numactl-2.0.18/lib
  157. 14.65 s [genvalidity-sydtest-source] Using Parsec parser
  158. 14.65 s [genvalidity-sydtest-source] Configuring genvalidity-sydtest-1.0.1.0...
  159. 15.68 s [genvalidity-sydtest-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  160. 15.68 s [genvalidity-sydtest-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  161. 15.68 s [genvalidity-sydtest-source] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
  162. 15.68 s [genvalidity-sydtest-source] Dependency sydtest: using sydtest-0.23.0.2
  163. 15.68 s [genvalidity-sydtest-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  164. 15.68 s [genvalidity-sydtest-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  165. 15.68 s [genvalidity-sydtest-source] Dependency genvalidity: using genvalidity-1.1.1.0
  166. 15.68 s [genvalidity-sydtest-source] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.1.0
  167. 15.68 s [genvalidity-sydtest-source] Dependency sydtest: using sydtest-0.23.0.2
  168. 15.68 s [genvalidity-sydtest-source] Source component graph:
  169. 15.68 s [genvalidity-sydtest-source] component lib
  170. 15.68 s [genvalidity-sydtest-source] component test:genvalidity-sydtest-test dependency lib
  171. 15.68 s [genvalidity-sydtest-source] Configured component graph:
  172. 15.68 s [genvalidity-sydtest-source] component genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  173. 15.68 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  174. 15.68 s [genvalidity-sydtest-source] include base-4.20.2.0-69bc
  175. 15.68 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  176. 15.68 s [genvalidity-sydtest-source] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  177. 15.68 s [genvalidity-sydtest-source] component genvalidity-sydtest-1.0.1.0-6CeHbreBRPlKQfzB32rObP-genvalidity-sydtest-test
  178. 15.68 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  179. 15.68 s [genvalidity-sydtest-source] include base-4.20.2.0-69bc
  180. 15.68 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  181. 15.68 s [genvalidity-sydtest-source] include genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  182. 15.68 s [genvalidity-sydtest-source] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  183. 15.68 s [genvalidity-sydtest-source] Linked component graph:
  184. 15.68 s [genvalidity-sydtest-source] unit genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  185. 15.68 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  186. 15.68 s [genvalidity-sydtest-source] include base-4.20.2.0-69bc
  187. 15.68 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  188. 15.68 s [genvalidity-sydtest-source] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  189. 15.68 s [genvalidity-sydtest-source] Test.Syd.Validity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity,Test.Syd.Validity.Applicative=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Applicative,Test.Syd.Validity.Arbitrary=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Arbitrary,Test.Syd.Validity.Eq=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Eq,Test.Syd.Validity.Functions=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions,Test.Syd.Validity.Functions.CanFail=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.CanFail,Test.Syd.Validity.Functions.Equivalence=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Equivalence,Test.Syd.Validity.Functions.Idempotence=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Idempotence,Test.Syd.Validity.Functions.Inverse=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Inverse,Test.Syd.Validity.Functions.Validity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Validity,Test.Syd.Validity.Functor=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functor,Test.Syd.Validity.GenValidity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.GenValidity,Test.Syd.Validity.GenValidity.Property=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.GenValidity.Property,Test.Syd.Validity.Monad=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Monad,Test.Syd.Validity.Monoid=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Monoid,Test.Syd.Validity.Operations=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations,Test.Syd.Validity.Operations.Associativity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations.Associativity,Test.Syd.Validity.Operations.Commutativity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations.Commutativity,Test.Syd.Validity.Operations.Identity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations.Identity,Test.Syd.Validity.Ord=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Ord,Test.Syd.Validity.Property=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Property,Test.Syd.Validity.Property.Utils=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Property.Utils,Test.Syd.Validity.Relations=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations,Test.Syd.Validity.Relations.Antireflexivity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Antireflexivity,Test.Syd.Validity.Relations.Antisymmetry=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Antisymmetry,Test.Syd.Validity.Relations.Reflexivity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Reflexivity,Test.Syd.Validity.Relations.Symmetry=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Symmetry,Test.Syd.Validity.Relations.Transitivity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Transitivity,Test.Syd.Validity.Show=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Show,Test.Syd.Validity.Shrinking=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Shrinking,Test.Syd.Validity.Shrinking.Property=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Shrinking.Property,Test.Syd.Validity.Types=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Types,Test.Syd.Validity.Utils=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Utils
  190. 15.68 s [genvalidity-sydtest-source] unit genvalidity-sydtest-1.0.1.0-6CeHbreBRPlKQfzB32rObP-genvalidity-sydtest-test
  191. 15.68 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  192. 15.68 s [genvalidity-sydtest-source] include base-4.20.2.0-69bc
  193. 15.68 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  194. 15.68 s [genvalidity-sydtest-source] include genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  195. 15.68 s [genvalidity-sydtest-source] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  196. 15.68 s [genvalidity-sydtest-source] Ready component graph:
  197. 15.68 s [genvalidity-sydtest-source] definite genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  198. 15.68 s [genvalidity-sydtest-source] depends QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  199. 15.68 s [genvalidity-sydtest-source] depends base-4.20.2.0-69bc
  200. 15.68 s [genvalidity-sydtest-source] depends genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  201. 15.68 s [genvalidity-sydtest-source] depends sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  202. 15.68 s [genvalidity-sydtest-source] definite genvalidity-sydtest-1.0.1.0-6CeHbreBRPlKQfzB32rObP-genvalidity-sydtest-test
  203. 15.68 s [genvalidity-sydtest-source] depends QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  204. 15.68 s [genvalidity-sydtest-source] depends base-4.20.2.0-69bc
  205. 15.68 s [genvalidity-sydtest-source] depends genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  206. 15.68 s [genvalidity-sydtest-source] depends genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  207. 15.68 s [genvalidity-sydtest-source] depends sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  208. 15.68 s [genvalidity-sydtest-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
  209. 15.68 s [genvalidity-sydtest-source] Using compiler: ghc-9.10.3
  210. 15.68 s [genvalidity-sydtest-source] Using install prefix:
  211. 15.68 s [genvalidity-sydtest-source] /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0
  212. 15.68 s [genvalidity-sydtest-source] Executables installed in:
  213. 15.68 s [genvalidity-sydtest-source] /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0/bin
  214. 15.68 s [genvalidity-sydtest-source] Libraries installed in:
  215. 15.68 s [genvalidity-sydtest-source] /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  216. 15.68 s [genvalidity-sydtest-source] Dynamic Libraries installed in:
  217. 15.68 s [genvalidity-sydtest-source] /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151
  218. 15.68 s [genvalidity-sydtest-source] Private executables installed in:
  219. 15.68 s [genvalidity-sydtest-source] /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0/libexec/x86_64-linux-ghc-9.10.3-c151/genvalidity-sydtest-1.0.1.0
  220. 15.68 s [genvalidity-sydtest-source] Data files installed in:
  221. 15.68 s [genvalidity-sydtest-source] /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0/share/x86_64-linux-ghc-9.10.3-c151/genvalidity-sydtest-1.0.1.0
  222. 15.68 s [genvalidity-sydtest-source] Documentation installed in: /share/doc/genvalidity-sydtest-1.0.1.0
  223. 15.68 s [genvalidity-sydtest-source] Configuration files installed in:
  224. 15.68 s [genvalidity-sydtest-source] /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0/etc
  225. 15.68 s [genvalidity-sydtest-source] No alex found
  226. 15.68 s [genvalidity-sydtest-source] Using ar found on system at:
  227. 15.68 s [genvalidity-sydtest-source] /nix/store/hnan7l0v68sahyxbazz5y358prz253d1-binutils-wrapper-2.44/bin/ar
  228. 15.68 s [genvalidity-sydtest-source] No c2hs found
  229. 15.68 s [genvalidity-sydtest-source] No cpphs found
  230. 15.68 s [genvalidity-sydtest-source] No doctest found
  231. 15.68 s [genvalidity-sydtest-source] Using gcc version 14.3.0 given by user at:
  232. 15.68 s [genvalidity-sydtest-source] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/gcc
  233. 15.68 s [genvalidity-sydtest-source] Using ghc version 9.10.3 found on system at:
  234. 15.68 s [genvalidity-sydtest-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc
  235. 15.68 s [genvalidity-sydtest-source] Using ghc-pkg version 9.10.3 found on system at:
  236. 15.68 s [genvalidity-sydtest-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc-pkg-9.10.3
  237. 15.68 s [genvalidity-sydtest-source] No ghcjs found
  238. 15.68 s [genvalidity-sydtest-source] No ghcjs-pkg found
  239. 15.68 s [genvalidity-sydtest-source] No greencard found
  240. 15.68 s [genvalidity-sydtest-source] Using haddock version 2.31.1 found on system at:
  241. 15.73 s [genvalidity-sydtest-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/haddock-ghc-9.10.3
  242. 15.73 s [genvalidity-sydtest-source] No happy found
  243. 15.73 s [genvalidity-sydtest-source] Using haskell-suite found on system at: haskell-suite-dummy-location
  244. 15.73 s [genvalidity-sydtest-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  245. 15.73 s [genvalidity-sydtest-source] No hmake found
  246. 15.73 s [genvalidity-sydtest-source] Using hpc version 0.69 found on system at:
  247. 15.73 s [genvalidity-sydtest-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hpc-ghc-9.10.3
  248. 15.73 s [genvalidity-sydtest-source] Using hsc2hs version 0.68.10 found on system at:
  249. 15.73 s [genvalidity-sydtest-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  250. 15.73 s [genvalidity-sydtest-source] Using hscolour version 1.25 found on system at:
  251. 15.73 s [genvalidity-sydtest-source] /nix/store/4f97zghyhdx2dj13mir9002n11iljwc5-hscolour-1.25/bin/HsColour
  252. 15.73 s [genvalidity-sydtest-source] No jhc found
  253. 15.73 s [genvalidity-sydtest-source] Using ld found on system at:
  254. 15.73 s [genvalidity-sydtest-source] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/ld
  255. 15.73 s [genvalidity-sydtest-source] No pkg-config found
  256. 15.73 s [genvalidity-sydtest-source] Using runghc version 9.10.3 found on system at:
  257. 15.73 s [genvalidity-sydtest-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/runghc-9.10.3
  258. 15.73 s [genvalidity-sydtest-source] Using strip version 2.44 found on system at:
  259. 15.73 s [genvalidity-sydtest-source] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/strip
  260. 15.73 s [genvalidity-sydtest-source] Using tar found on system at:
  261. 15.73 s [genvalidity-sydtest-source] /nix/store/df3vxyq7lwf9l02h0wljsq0h3189rp75-gnutar-1.35/bin/tar
  262. 15.73 s [genvalidity-sydtest-source] No uhc found
  263. 16.73 s [genvalidity-sydtest-source] Phase: buildPhase
  264. 16.76 s [genvalidity-sydtest-source] Distribution quality warnings:
  265. 16.76 s [genvalidity-sydtest-source] [no-description] No 'description' field.
  266. 16.76 s [genvalidity-sydtest-source] [missing-upper-bounds] On library, these packages miss upper bounds:
  267. 16.76 s [genvalidity-sydtest-source] - QuickCheck
  268. 16.76 s [genvalidity-sydtest-source] - genvalidity
  269. 16.76 s [genvalidity-sydtest-source] - sydtest
  270. 16.76 s [genvalidity-sydtest-source] Please add them. There is more information at https://pvp.haskell.org/
  271. 16.76 s [genvalidity-sydtest-source] Building source dist for genvalidity-sydtest-1.0.1.0...
  272. 16.79 s [genvalidity-sydtest-source] Source tarball created: dist/genvalidity-sydtest-1.0.1.0.tar.gz
  273. 16.80 s [genvalidity-sydtest-source] Phase: checkPhase
  274. 16.82 s [genvalidity-sydtest-source] Phase: haddockPhase
  275. 16.83 s [genvalidity-sydtest-source] Phase: installPhase
  276. 16.85 s [genvalidity-sydtest-source] Phase: fixupPhase
  277. 16.90 s Progress: 1 of 8 built (1 building)
  278. 16.94 s Building genvalidity-sydtest
  279. 17.37 s [genvalidity-sydtest] Phase: setupCompilerEnvironmentPhase
  280. 17.38 s [genvalidity-sydtest] Build with /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3.
  281. 18.45 s [genvalidity-sydtest] Phase: unpackPhase
  282. 18.46 s [genvalidity-sydtest] unpacking source archive /nix/store/m7864bgzx8zvzb5rcl3nsf15xcr62p3v-genvalidity-sydtest-source-1.0.1.0/genvalidity-sydtest-1.0.1.0.tar.gz
  283. 18.47 s [genvalidity-sydtest] source root is genvalidity-sydtest-1.0.1.0
  284. 18.49 s [genvalidity-sydtest] setting SOURCE_DATE_EPOCH to timestamp 1778527734 of file "genvalidity-sydtest-1.0.1.0/test/Test/Syd/Validity/ShrinkingSpec.hs"
  285. 18.49 s [genvalidity-sydtest] warning: file "genvalidity-sydtest-1.0.1.0/test/Test/Syd/Validity/ShrinkingSpec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
  286. 18.50 s [genvalidity-sydtest] Phase: patchPhase
  287. 18.52 s [genvalidity-sydtest] Phase: compileBuildDriverPhase
  288. 18.52 s [genvalidity-sydtest] setupCompileFlags: -package-db=/build/tmp.aJRgG7aPKF/setup-package.conf.d -threaded
  289. 18.62 s [genvalidity-sydtest] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.aJRgG7aPKF/Main.o )
  290. 18.70 s [genvalidity-sydtest] [2 of 2] Linking Setup
  291. 20.93 s [genvalidity-sydtest] Phase: updateAutotoolsGnuConfigScriptsPhase
  292. 20.96 s [genvalidity-sydtest] Phase: configurePhase
  293. 21.00 s [genvalidity-sydtest] configureFlags: --verbose --prefix=/nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/nh7n9zkq3pmndkqv40aqvvvh29rkjija-genvalidity-sydtest-1.0.1.0-doc/share/doc/genvalidity-sydtest-1.0.1.0 --with-gcc=gcc --package-db=/build/tmp.aJRgG7aPKF/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 --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-option=-Wall --ghc-option=-Werror --extra-lib-dirs=/nix/store/45z5ja3qb26d66l44gkni38r7bk36fnh-ncurses-6.5/lib --extra-lib-dirs=/nix/store/6rwsi7k52chjbpxr74khmzdr5hzlc4bb-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/5nklmmj1ypr5vpkg7rxna1ywyzl8lca8-elfutils-0.194/lib --extra-lib-dirs=/nix/store/3xq68v4gdh0pmkxdwxy76bh36w99nb5q-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/kw1l2rrslifbdm7l8blgmaf7xidh0n5q-numactl-2.0.18/lib
  294. 21.04 s [genvalidity-sydtest] Using Parsec parser
  295. 21.04 s [genvalidity-sydtest] Configuring genvalidity-sydtest-1.0.1.0...
  296. 24.06 s [genvalidity-sydtest] Dependency QuickCheck: using QuickCheck-2.15.0.1
  297. 24.06 s [genvalidity-sydtest] Dependency base >=4.7 && <5: using base-4.20.2.0
  298. 24.06 s [genvalidity-sydtest] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
  299. 24.06 s [genvalidity-sydtest] Dependency sydtest: using sydtest-0.23.0.2
  300. 24.06 s [genvalidity-sydtest] Dependency QuickCheck: using QuickCheck-2.15.0.1
  301. 24.06 s [genvalidity-sydtest] Dependency base >=4.7 && <5: using base-4.20.2.0
  302. 24.06 s [genvalidity-sydtest] Dependency genvalidity: using genvalidity-1.1.1.0
  303. 24.06 s [genvalidity-sydtest] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.1.0
  304. 24.06 s [genvalidity-sydtest] Dependency sydtest: using sydtest-0.23.0.2
  305. 24.06 s [genvalidity-sydtest] Source component graph:
  306. 24.06 s [genvalidity-sydtest] component lib
  307. 24.06 s [genvalidity-sydtest] component test:genvalidity-sydtest-test dependency lib
  308. 24.06 s [genvalidity-sydtest] Configured component graph:
  309. 24.06 s [genvalidity-sydtest] component genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  310. 24.06 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  311. 24.06 s [genvalidity-sydtest] include base-4.20.2.0-69bc
  312. 24.06 s [genvalidity-sydtest] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  313. 24.06 s [genvalidity-sydtest] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  314. 24.06 s [genvalidity-sydtest] component genvalidity-sydtest-1.0.1.0-6CeHbreBRPlKQfzB32rObP-genvalidity-sydtest-test
  315. 24.06 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  316. 24.06 s [genvalidity-sydtest] include base-4.20.2.0-69bc
  317. 24.06 s [genvalidity-sydtest] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  318. 24.06 s [genvalidity-sydtest] include genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  319. 24.06 s [genvalidity-sydtest] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  320. 24.06 s [genvalidity-sydtest] Linked component graph:
  321. 24.06 s [genvalidity-sydtest] unit genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  322. 24.06 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  323. 24.06 s [genvalidity-sydtest] include base-4.20.2.0-69bc
  324. 24.06 s [genvalidity-sydtest] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  325. 24.06 s [genvalidity-sydtest] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  326. 24.06 s [genvalidity-sydtest] Test.Syd.Validity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity,Test.Syd.Validity.Applicative=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Applicative,Test.Syd.Validity.Arbitrary=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Arbitrary,Test.Syd.Validity.Eq=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Eq,Test.Syd.Validity.Functions=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions,Test.Syd.Validity.Functions.CanFail=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.CanFail,Test.Syd.Validity.Functions.Equivalence=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Equivalence,Test.Syd.Validity.Functions.Idempotence=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Idempotence,Test.Syd.Validity.Functions.Inverse=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Inverse,Test.Syd.Validity.Functions.Validity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functions.Validity,Test.Syd.Validity.Functor=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Functor,Test.Syd.Validity.GenValidity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.GenValidity,Test.Syd.Validity.GenValidity.Property=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.GenValidity.Property,Test.Syd.Validity.Monad=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Monad,Test.Syd.Validity.Monoid=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Monoid,Test.Syd.Validity.Operations=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations,Test.Syd.Validity.Operations.Associativity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations.Associativity,Test.Syd.Validity.Operations.Commutativity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations.Commutativity,Test.Syd.Validity.Operations.Identity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Operations.Identity,Test.Syd.Validity.Ord=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Ord,Test.Syd.Validity.Property=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Property,Test.Syd.Validity.Property.Utils=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Property.Utils,Test.Syd.Validity.Relations=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations,Test.Syd.Validity.Relations.Antireflexivity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Antireflexivity,Test.Syd.Validity.Relations.Antisymmetry=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Antisymmetry,Test.Syd.Validity.Relations.Reflexivity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Reflexivity,Test.Syd.Validity.Relations.Symmetry=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Symmetry,Test.Syd.Validity.Relations.Transitivity=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Relations.Transitivity,Test.Syd.Validity.Show=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Show,Test.Syd.Validity.Shrinking=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Shrinking,Test.Syd.Validity.Shrinking.Property=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Shrinking.Property,Test.Syd.Validity.Types=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Types,Test.Syd.Validity.Utils=genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL:Test.Syd.Validity.Utils
  327. 24.06 s [genvalidity-sydtest] unit genvalidity-sydtest-1.0.1.0-6CeHbreBRPlKQfzB32rObP-genvalidity-sydtest-test
  328. 24.06 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  329. 24.06 s [genvalidity-sydtest] include base-4.20.2.0-69bc
  330. 24.06 s [genvalidity-sydtest] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  331. 24.06 s [genvalidity-sydtest] include genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  332. 24.06 s [genvalidity-sydtest] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  333. 24.06 s [genvalidity-sydtest] Ready component graph:
  334. 24.06 s [genvalidity-sydtest] definite genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  335. 24.06 s [genvalidity-sydtest] depends QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  336. 24.06 s [genvalidity-sydtest] depends base-4.20.2.0-69bc
  337. 24.06 s [genvalidity-sydtest] depends genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  338. 24.06 s [genvalidity-sydtest] depends sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  339. 24.06 s [genvalidity-sydtest] definite genvalidity-sydtest-1.0.1.0-6CeHbreBRPlKQfzB32rObP-genvalidity-sydtest-test
  340. 24.06 s [genvalidity-sydtest] depends QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  341. 24.06 s [genvalidity-sydtest] depends base-4.20.2.0-69bc
  342. 24.06 s [genvalidity-sydtest] depends genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  343. 24.06 s [genvalidity-sydtest] depends genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  344. 24.06 s [genvalidity-sydtest] depends sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  345. 24.06 s [genvalidity-sydtest] Using Cabal-3.12.1.0 compiled by ghc-9.10
  346. 24.06 s [genvalidity-sydtest] Using compiler: ghc-9.10.3
  347. 24.07 s [genvalidity-sydtest] Using install prefix:
  348. 24.07 s [genvalidity-sydtest] /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0
  349. 24.07 s [genvalidity-sydtest] Executables installed in:
  350. 24.07 s [genvalidity-sydtest] /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/bin
  351. 24.07 s [genvalidity-sydtest] Libraries installed in:
  352. 24.07 s [genvalidity-sydtest] /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  353. 24.07 s [genvalidity-sydtest] Dynamic Libraries installed in:
  354. 24.07 s [genvalidity-sydtest] /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151
  355. 24.07 s [genvalidity-sydtest] Private executables installed in:
  356. 24.07 s [genvalidity-sydtest] /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/libexec/x86_64-linux-ghc-9.10.3-c151/genvalidity-sydtest-1.0.1.0
  357. 24.07 s [genvalidity-sydtest] Data files installed in:
  358. 24.07 s [genvalidity-sydtest] /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/share/x86_64-linux-ghc-9.10.3-c151/genvalidity-sydtest-1.0.1.0
  359. 24.07 s [genvalidity-sydtest] Documentation installed in:
  360. 24.07 s [genvalidity-sydtest] /nix/store/nh7n9zkq3pmndkqv40aqvvvh29rkjija-genvalidity-sydtest-1.0.1.0-doc/share/doc/genvalidity-sydtest-1.0.1.0
  361. 24.07 s [genvalidity-sydtest] Configuration files installed in:
  362. 24.07 s [genvalidity-sydtest] /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/etc
  363. 24.07 s [genvalidity-sydtest] No alex found
  364. 24.07 s [genvalidity-sydtest] Using ar found on system at:
  365. 24.07 s [genvalidity-sydtest] /nix/store/hnan7l0v68sahyxbazz5y358prz253d1-binutils-wrapper-2.44/bin/ar
  366. 24.07 s [genvalidity-sydtest] No c2hs found
  367. 24.07 s [genvalidity-sydtest] No cpphs found
  368. 24.07 s [genvalidity-sydtest] No doctest found
  369. 24.07 s [genvalidity-sydtest] Using gcc version 14.3.0 given by user at:
  370. 24.07 s [genvalidity-sydtest] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/gcc
  371. 24.07 s [genvalidity-sydtest] Using ghc version 9.10.3 found on system at:
  372. 24.07 s [genvalidity-sydtest] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc
  373. 24.07 s [genvalidity-sydtest] Using ghc-pkg version 9.10.3 found on system at:
  374. 24.07 s [genvalidity-sydtest] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc-pkg-9.10.3
  375. 24.07 s [genvalidity-sydtest] No ghcjs found
  376. 24.07 s [genvalidity-sydtest] No ghcjs-pkg found
  377. 24.07 s [genvalidity-sydtest] No greencard found
  378. 24.07 s [genvalidity-sydtest] Using haddock version 2.31.1 found on system at:
  379. 24.10 s [genvalidity-sydtest] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/haddock-ghc-9.10.3
  380. 24.10 s [genvalidity-sydtest] No happy found
  381. 24.10 s [genvalidity-sydtest] Using haskell-suite found on system at: haskell-suite-dummy-location
  382. 24.10 s [genvalidity-sydtest] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  383. 24.10 s [genvalidity-sydtest] No hmake found
  384. 24.10 s [genvalidity-sydtest] Using hpc version 0.69 found on system at:
  385. 24.10 s [genvalidity-sydtest] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hpc-ghc-9.10.3
  386. 24.10 s [genvalidity-sydtest] Using hsc2hs version 0.68.10 found on system at:
  387. 24.10 s [genvalidity-sydtest] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  388. 24.10 s [genvalidity-sydtest] Using hscolour version 1.25 found on system at:
  389. 24.10 s [genvalidity-sydtest] /nix/store/4f97zghyhdx2dj13mir9002n11iljwc5-hscolour-1.25/bin/HsColour
  390. 24.10 s [genvalidity-sydtest] No jhc found
  391. 24.10 s [genvalidity-sydtest] Using ld found on system at:
  392. 24.10 s [genvalidity-sydtest] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/ld
  393. 24.10 s [genvalidity-sydtest] No pkg-config found
  394. 24.10 s [genvalidity-sydtest] Using runghc version 9.10.3 found on system at:
  395. 24.10 s [genvalidity-sydtest] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/runghc-9.10.3
  396. 24.10 s [genvalidity-sydtest] Using strip version 2.44 found on system at:
  397. 24.10 s [genvalidity-sydtest] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/strip
  398. 24.10 s [genvalidity-sydtest] Using tar found on system at:
  399. 24.10 s [genvalidity-sydtest] /nix/store/df3vxyq7lwf9l02h0wljsq0h3189rp75-gnutar-1.35/bin/tar
  400. 24.10 s [genvalidity-sydtest] No uhc found
  401. 25.27 s [genvalidity-sydtest] Phase: buildPhase
  402. 25.47 s [genvalidity-sydtest] Preprocessing library for genvalidity-sydtest-1.0.1.0...
  403. 25.49 s [genvalidity-sydtest] Building library for genvalidity-sydtest-1.0.1.0...
  404. 25.99 s [genvalidity-sydtest] [ 1 of 34] Compiling Paths_genvalidity_sydtest ( dist/build/autogen/Paths_genvalidity_sydtest.hs, dist/build/Paths_genvalidity_sydtest.o, dist/build/Paths_genvalidity_sydtest.dyn_o )
  405. 26.63 s [genvalidity-sydtest] [ 2 of 34] Compiling Test.Syd.Validity.Functions.Idempotence ( src/Test/Syd/Validity/Functions/Idempotence.hs, dist/build/Test/Syd/Validity/Functions/Idempotence.o, dist/build/Test/Syd/Validity/Functions/Idempotence.dyn_o )
  406. 26.68 s [genvalidity-sydtest] [ 3 of 34] Compiling Test.Syd.Validity.Operations.Associativity ( src/Test/Syd/Validity/Operations/Associativity.hs, dist/build/Test/Syd/Validity/Operations/Associativity.o, dist/build/Test/Syd/Validity/Operations/Associativity.dyn_o )
  407. 26.78 s [genvalidity-sydtest] [ 4 of 34] Compiling Test.Syd.Validity.Operations.Commutativity ( src/Test/Syd/Validity/Operations/Commutativity.hs, dist/build/Test/Syd/Validity/Operations/Commutativity.o, dist/build/Test/Syd/Validity/Operations/Commutativity.dyn_o )
  408. 26.79 s [genvalidity-sydtest] [ 5 of 34] Compiling Test.Syd.Validity.Operations.Identity ( src/Test/Syd/Validity/Operations/Identity.hs, dist/build/Test/Syd/Validity/Operations/Identity.o, dist/build/Test/Syd/Validity/Operations/Identity.dyn_o )
  409. 26.83 s [genvalidity-sydtest] [ 6 of 34] Compiling Test.Syd.Validity.Operations ( src/Test/Syd/Validity/Operations.hs, dist/build/Test/Syd/Validity/Operations.o, dist/build/Test/Syd/Validity/Operations.dyn_o )
  410. 26.89 s [genvalidity-sydtest] [ 7 of 34] Compiling Test.Syd.Validity.Property.Utils ( src/Test/Syd/Validity/Property/Utils.hs, dist/build/Test/Syd/Validity/Property/Utils.o, dist/build/Test/Syd/Validity/Property/Utils.dyn_o )
  411. 26.89 s [genvalidity-sydtest] [ 8 of 34] Compiling Test.Syd.Validity.GenValidity.Property ( src/Test/Syd/Validity/GenValidity/Property.hs, dist/build/Test/Syd/Validity/GenValidity/Property.o, dist/build/Test/Syd/Validity/GenValidity/Property.dyn_o )
  412. 26.90 s [genvalidity-sydtest] [ 9 of 34] Compiling Test.Syd.Validity.Functions.Validity ( src/Test/Syd/Validity/Functions/Validity.hs, dist/build/Test/Syd/Validity/Functions/Validity.o, dist/build/Test/Syd/Validity/Functions/Validity.dyn_o )
  413. 26.90 s [genvalidity-sydtest] [10 of 34] Compiling Test.Syd.Validity.Relations.Antireflexivity ( src/Test/Syd/Validity/Relations/Antireflexivity.hs, dist/build/Test/Syd/Validity/Relations/Antireflexivity.o, dist/build/Test/Syd/Validity/Relations/Antireflexivity.dyn_o )
  414. 26.90 s [genvalidity-sydtest] [11 of 34] Compiling Test.Syd.Validity.Relations.Antisymmetry ( src/Test/Syd/Validity/Relations/Antisymmetry.hs, dist/build/Test/Syd/Validity/Relations/Antisymmetry.o, dist/build/Test/Syd/Validity/Relations/Antisymmetry.dyn_o )
  415. 26.90 s [genvalidity-sydtest] [12 of 34] Compiling Test.Syd.Validity.Relations.Reflexivity ( src/Test/Syd/Validity/Relations/Reflexivity.hs, dist/build/Test/Syd/Validity/Relations/Reflexivity.o, dist/build/Test/Syd/Validity/Relations/Reflexivity.dyn_o )
  416. 26.90 s [genvalidity-sydtest] [13 of 34] Compiling Test.Syd.Validity.Relations.Symmetry ( src/Test/Syd/Validity/Relations/Symmetry.hs, dist/build/Test/Syd/Validity/Relations/Symmetry.o, dist/build/Test/Syd/Validity/Relations/Symmetry.dyn_o )
  417. 26.90 s [genvalidity-sydtest] [14 of 34] Compiling Test.Syd.Validity.Relations.Transitivity ( src/Test/Syd/Validity/Relations/Transitivity.hs, dist/build/Test/Syd/Validity/Relations/Transitivity.o, dist/build/Test/Syd/Validity/Relations/Transitivity.dyn_o )
  418. 26.90 s [genvalidity-sydtest] [15 of 34] Compiling Test.Syd.Validity.Relations ( src/Test/Syd/Validity/Relations.hs, dist/build/Test/Syd/Validity/Relations.o, dist/build/Test/Syd/Validity/Relations.dyn_o )
  419. 26.93 s [genvalidity-sydtest] [16 of 34] Compiling Test.Syd.Validity.Shrinking.Property ( src/Test/Syd/Validity/Shrinking/Property.hs, dist/build/Test/Syd/Validity/Shrinking/Property.o, dist/build/Test/Syd/Validity/Shrinking/Property.dyn_o )
  420. 26.93 s [genvalidity-sydtest] [17 of 34] Compiling Test.Syd.Validity.Types ( src/Test/Syd/Validity/Types.hs, dist/build/Test/Syd/Validity/Types.o, dist/build/Test/Syd/Validity/Types.dyn_o )
  421. 26.93 s [genvalidity-sydtest] [18 of 34] Compiling Test.Syd.Validity.Functions.Inverse ( src/Test/Syd/Validity/Functions/Inverse.hs, dist/build/Test/Syd/Validity/Functions/Inverse.o, dist/build/Test/Syd/Validity/Functions/Inverse.dyn_o )
  422. 26.94 s [genvalidity-sydtest] [19 of 34] Compiling Test.Syd.Validity.Functions.Equivalence ( src/Test/Syd/Validity/Functions/Equivalence.hs, dist/build/Test/Syd/Validity/Functions/Equivalence.o, dist/build/Test/Syd/Validity/Functions/Equivalence.dyn_o )
  423. 27.32 s [genvalidity-sydtest] [20 of 34] Compiling Test.Syd.Validity.Functions.CanFail ( src/Test/Syd/Validity/Functions/CanFail.hs, dist/build/Test/Syd/Validity/Functions/CanFail.o, dist/build/Test/Syd/Validity/Functions/CanFail.dyn_o )
  424. 27.32 s [genvalidity-sydtest] [21 of 34] Compiling Test.Syd.Validity.Functions ( src/Test/Syd/Validity/Functions.hs, dist/build/Test/Syd/Validity/Functions.o, dist/build/Test/Syd/Validity/Functions.dyn_o )
  425. 27.45 s [genvalidity-sydtest] [22 of 34] Compiling Test.Syd.Validity.Property ( src/Test/Syd/Validity/Property.hs, dist/build/Test/Syd/Validity/Property.o, dist/build/Test/Syd/Validity/Property.dyn_o )
  426. 27.61 s [genvalidity-sydtest] [23 of 34] Compiling Test.Syd.Validity.Utils ( src/Test/Syd/Validity/Utils.hs, dist/build/Test/Syd/Validity/Utils.o, dist/build/Test/Syd/Validity/Utils.dyn_o )
  427. 27.61 s [genvalidity-sydtest] [24 of 34] Compiling Test.Syd.Validity.Shrinking ( src/Test/Syd/Validity/Shrinking.hs, dist/build/Test/Syd/Validity/Shrinking.o, dist/build/Test/Syd/Validity/Shrinking.dyn_o )
  428. 27.61 s [genvalidity-sydtest] [25 of 34] Compiling Test.Syd.Validity.Show ( src/Test/Syd/Validity/Show.hs, dist/build/Test/Syd/Validity/Show.o, dist/build/Test/Syd/Validity/Show.dyn_o )
  429. 27.61 s [genvalidity-sydtest] [26 of 34] Compiling Test.Syd.Validity.Ord ( src/Test/Syd/Validity/Ord.hs, dist/build/Test/Syd/Validity/Ord.o, dist/build/Test/Syd/Validity/Ord.dyn_o )
  430. 28.31 s [genvalidity-sydtest] [27 of 34] Compiling Test.Syd.Validity.Monoid ( src/Test/Syd/Validity/Monoid.hs, dist/build/Test/Syd/Validity/Monoid.o, dist/build/Test/Syd/Validity/Monoid.dyn_o )
  431. 28.31 s [genvalidity-sydtest] [28 of 34] Compiling Test.Syd.Validity.Monad ( src/Test/Syd/Validity/Monad.hs, dist/build/Test/Syd/Validity/Monad.o, dist/build/Test/Syd/Validity/Monad.dyn_o )
  432. 28.51 s [genvalidity-sydtest] [29 of 34] Compiling Test.Syd.Validity.GenValidity ( src/Test/Syd/Validity/GenValidity.hs, dist/build/Test/Syd/Validity/GenValidity.o, dist/build/Test/Syd/Validity/GenValidity.dyn_o )
  433. 28.51 s [genvalidity-sydtest] [30 of 34] Compiling Test.Syd.Validity.Functor ( src/Test/Syd/Validity/Functor.hs, dist/build/Test/Syd/Validity/Functor.o, dist/build/Test/Syd/Validity/Functor.dyn_o )
  434. 28.51 s [genvalidity-sydtest] [31 of 34] Compiling Test.Syd.Validity.Eq ( src/Test/Syd/Validity/Eq.hs, dist/build/Test/Syd/Validity/Eq.o, dist/build/Test/Syd/Validity/Eq.dyn_o )
  435. 28.51 s [genvalidity-sydtest] [32 of 34] Compiling Test.Syd.Validity.Arbitrary ( src/Test/Syd/Validity/Arbitrary.hs, dist/build/Test/Syd/Validity/Arbitrary.o, dist/build/Test/Syd/Validity/Arbitrary.dyn_o )
  436. 28.51 s [genvalidity-sydtest] [33 of 34] Compiling Test.Syd.Validity.Applicative ( src/Test/Syd/Validity/Applicative.hs, dist/build/Test/Syd/Validity/Applicative.o, dist/build/Test/Syd/Validity/Applicative.dyn_o )
  437. 28.51 s [genvalidity-sydtest] [34 of 34] Compiling Test.Syd.Validity ( src/Test/Syd/Validity.hs, dist/build/Test/Syd/Validity.o, dist/build/Test/Syd/Validity.dyn_o )
  438. 29.05 s [genvalidity-sydtest] [ 1 of 34] Compiling Paths_genvalidity_sydtest ( dist/build/autogen/Paths_genvalidity_sydtest.hs, dist/build/Paths_genvalidity_sydtest.p_o )
  439. 29.63 s [genvalidity-sydtest] [ 2 of 34] Compiling Test.Syd.Validity.Functions.Idempotence ( src/Test/Syd/Validity/Functions/Idempotence.hs, dist/build/Test/Syd/Validity/Functions/Idempotence.p_o )
  440. 29.63 s [genvalidity-sydtest] [ 3 of 34] Compiling Test.Syd.Validity.Operations.Associativity ( src/Test/Syd/Validity/Operations/Associativity.hs, dist/build/Test/Syd/Validity/Operations/Associativity.p_o )
  441. 29.63 s [genvalidity-sydtest] [ 4 of 34] Compiling Test.Syd.Validity.Operations.Commutativity ( src/Test/Syd/Validity/Operations/Commutativity.hs, dist/build/Test/Syd/Validity/Operations/Commutativity.p_o )
  442. 29.63 s [genvalidity-sydtest] [ 5 of 34] Compiling Test.Syd.Validity.Operations.Identity ( src/Test/Syd/Validity/Operations/Identity.hs, dist/build/Test/Syd/Validity/Operations/Identity.p_o )
  443. 29.63 s [genvalidity-sydtest] [ 6 of 34] Compiling Test.Syd.Validity.Operations ( src/Test/Syd/Validity/Operations.hs, dist/build/Test/Syd/Validity/Operations.p_o )
  444. 29.89 s [genvalidity-sydtest] [ 7 of 34] Compiling Test.Syd.Validity.Property.Utils ( src/Test/Syd/Validity/Property/Utils.hs, dist/build/Test/Syd/Validity/Property/Utils.p_o )
  445. 29.89 s [genvalidity-sydtest] [ 8 of 34] Compiling Test.Syd.Validity.GenValidity.Property ( src/Test/Syd/Validity/GenValidity/Property.hs, dist/build/Test/Syd/Validity/GenValidity/Property.p_o )
  446. 29.89 s [genvalidity-sydtest] [ 9 of 34] Compiling Test.Syd.Validity.Functions.Validity ( src/Test/Syd/Validity/Functions/Validity.hs, dist/build/Test/Syd/Validity/Functions/Validity.p_o )
  447. 29.93 s [genvalidity-sydtest] [10 of 34] Compiling Test.Syd.Validity.Relations.Antireflexivity ( src/Test/Syd/Validity/Relations/Antireflexivity.hs, dist/build/Test/Syd/Validity/Relations/Antireflexivity.p_o )
  448. 29.93 s [genvalidity-sydtest] [11 of 34] Compiling Test.Syd.Validity.Relations.Antisymmetry ( src/Test/Syd/Validity/Relations/Antisymmetry.hs, dist/build/Test/Syd/Validity/Relations/Antisymmetry.p_o )
  449. 29.93 s [genvalidity-sydtest] [12 of 34] Compiling Test.Syd.Validity.Relations.Reflexivity ( src/Test/Syd/Validity/Relations/Reflexivity.hs, dist/build/Test/Syd/Validity/Relations/Reflexivity.p_o )
  450. 29.93 s [genvalidity-sydtest] [13 of 34] Compiling Test.Syd.Validity.Relations.Symmetry ( src/Test/Syd/Validity/Relations/Symmetry.hs, dist/build/Test/Syd/Validity/Relations/Symmetry.p_o )
  451. 29.93 s [genvalidity-sydtest] [14 of 34] Compiling Test.Syd.Validity.Relations.Transitivity ( src/Test/Syd/Validity/Relations/Transitivity.hs, dist/build/Test/Syd/Validity/Relations/Transitivity.p_o )
  452. 29.93 s [genvalidity-sydtest] [15 of 34] Compiling Test.Syd.Validity.Relations ( src/Test/Syd/Validity/Relations.hs, dist/build/Test/Syd/Validity/Relations.p_o )
  453. 30.25 s [genvalidity-sydtest] [16 of 34] Compiling Test.Syd.Validity.Shrinking.Property ( src/Test/Syd/Validity/Shrinking/Property.hs, dist/build/Test/Syd/Validity/Shrinking/Property.p_o )
  454. 30.26 s [genvalidity-sydtest] [17 of 34] Compiling Test.Syd.Validity.Types ( src/Test/Syd/Validity/Types.hs, dist/build/Test/Syd/Validity/Types.p_o )
  455. 30.26 s [genvalidity-sydtest] [18 of 34] Compiling Test.Syd.Validity.Functions.Inverse ( src/Test/Syd/Validity/Functions/Inverse.hs, dist/build/Test/Syd/Validity/Functions/Inverse.p_o )
  456. 30.26 s [genvalidity-sydtest] [19 of 34] Compiling Test.Syd.Validity.Functions.Equivalence ( src/Test/Syd/Validity/Functions/Equivalence.hs, dist/build/Test/Syd/Validity/Functions/Equivalence.p_o )
  457. 30.26 s [genvalidity-sydtest] [20 of 34] Compiling Test.Syd.Validity.Functions.CanFail ( src/Test/Syd/Validity/Functions/CanFail.hs, dist/build/Test/Syd/Validity/Functions/CanFail.p_o )
  458. 30.26 s [genvalidity-sydtest] [21 of 34] Compiling Test.Syd.Validity.Functions ( src/Test/Syd/Validity/Functions.hs, dist/build/Test/Syd/Validity/Functions.p_o )
  459. 30.48 s [genvalidity-sydtest] [22 of 34] Compiling Test.Syd.Validity.Property ( src/Test/Syd/Validity/Property.hs, dist/build/Test/Syd/Validity/Property.p_o )
  460. 31.16 s [genvalidity-sydtest] [23 of 34] Compiling Test.Syd.Validity.Utils ( src/Test/Syd/Validity/Utils.hs, dist/build/Test/Syd/Validity/Utils.p_o )
  461. 31.16 s [genvalidity-sydtest] [24 of 34] Compiling Test.Syd.Validity.Shrinking ( src/Test/Syd/Validity/Shrinking.hs, dist/build/Test/Syd/Validity/Shrinking.p_o )
  462. 31.16 s [genvalidity-sydtest] [25 of 34] Compiling Test.Syd.Validity.Show ( src/Test/Syd/Validity/Show.hs, dist/build/Test/Syd/Validity/Show.p_o )
  463. 31.16 s [genvalidity-sydtest] [26 of 34] Compiling Test.Syd.Validity.Ord ( src/Test/Syd/Validity/Ord.hs, dist/build/Test/Syd/Validity/Ord.p_o )
  464. 31.47 s [genvalidity-sydtest] [27 of 34] Compiling Test.Syd.Validity.Monoid ( src/Test/Syd/Validity/Monoid.hs, dist/build/Test/Syd/Validity/Monoid.p_o )
  465. 31.47 s [genvalidity-sydtest] [28 of 34] Compiling Test.Syd.Validity.Monad ( src/Test/Syd/Validity/Monad.hs, dist/build/Test/Syd/Validity/Monad.p_o )
  466. 31.64 s [genvalidity-sydtest] [29 of 34] Compiling Test.Syd.Validity.GenValidity ( src/Test/Syd/Validity/GenValidity.hs, dist/build/Test/Syd/Validity/GenValidity.p_o )
  467. 31.68 s [genvalidity-sydtest] [30 of 34] Compiling Test.Syd.Validity.Functor ( src/Test/Syd/Validity/Functor.hs, dist/build/Test/Syd/Validity/Functor.p_o )
  468. 31.68 s [genvalidity-sydtest] [31 of 34] Compiling Test.Syd.Validity.Eq ( src/Test/Syd/Validity/Eq.hs, dist/build/Test/Syd/Validity/Eq.p_o )
  469. 31.68 s [genvalidity-sydtest] [32 of 34] Compiling Test.Syd.Validity.Arbitrary ( src/Test/Syd/Validity/Arbitrary.hs, dist/build/Test/Syd/Validity/Arbitrary.p_o )
  470. 31.68 s [genvalidity-sydtest] [33 of 34] Compiling Test.Syd.Validity.Applicative ( src/Test/Syd/Validity/Applicative.hs, dist/build/Test/Syd/Validity/Applicative.p_o )
  471. 31.68 s [genvalidity-sydtest] [34 of 34] Compiling Test.Syd.Validity ( src/Test/Syd/Validity.hs, dist/build/Test/Syd/Validity.p_o )
  472. 38.25 s [genvalidity-sydtest] Preprocessing test suite 'genvalidity-sydtest-test' for genvalidity-sydtest-1.0.1.0...
  473. 38.27 s [genvalidity-sydtest] Building test suite 'genvalidity-sydtest-test' for genvalidity-sydtest-1.0.1.0...
  474. 38.75 s [genvalidity-sydtest] [ 1 of 15] Compiling Paths_genvalidity_sydtest ( dist/build/genvalidity-sydtest-test/autogen/Paths_genvalidity_sydtest.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Paths_genvalidity_sydtest.o )
  475. 39.90 s [genvalidity-sydtest] [ 2 of 15] Compiling Test.Syd.Validity.ApplicativeSpec ( test/Test/Syd/Validity/ApplicativeSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/ApplicativeSpec.o )
  476. 40.10 s [genvalidity-sydtest] [ 3 of 15] Compiling Test.Syd.Validity.ArbitrarySpec ( test/Test/Syd/Validity/ArbitrarySpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/ArbitrarySpec.o )
  477. 40.10 s [genvalidity-sydtest] [ 4 of 15] Compiling Test.Syd.Validity.EqSpec ( test/Test/Syd/Validity/EqSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/EqSpec.o )
  478. 40.10 s [genvalidity-sydtest] [ 5 of 15] Compiling Test.Syd.Validity.FunctorSpec ( test/Test/Syd/Validity/FunctorSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/FunctorSpec.o )
  479. 40.10 s [genvalidity-sydtest] [ 6 of 15] Compiling Test.Syd.Validity.GenRelativeValiditySpec ( test/Test/Syd/Validity/GenRelativeValiditySpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/GenRelativeValiditySpec.o )
  480. 40.10 s [genvalidity-sydtest] [ 7 of 15] Compiling Test.Syd.Validity.GenValiditySpec ( test/Test/Syd/Validity/GenValiditySpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/GenValiditySpec.o )
  481. 40.10 s [genvalidity-sydtest] [ 8 of 15] Compiling Test.Syd.Validity.MonadSpec ( test/Test/Syd/Validity/MonadSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/MonadSpec.o )
  482. 40.49 s [genvalidity-sydtest] [ 9 of 15] Compiling Test.Syd.Validity.MonoidSpec ( test/Test/Syd/Validity/MonoidSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/MonoidSpec.o )
  483. 40.49 s [genvalidity-sydtest] [10 of 15] Compiling Test.Syd.Validity.Operations.CommutativitySpec ( test/Test/Syd/Validity/Operations/CommutativitySpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/Operations/CommutativitySpec.o )
  484. 40.50 s [genvalidity-sydtest] [11 of 15] Compiling Test.Syd.Validity.OrdSpec ( test/Test/Syd/Validity/OrdSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/OrdSpec.o )
  485. 40.50 s [genvalidity-sydtest] [12 of 15] Compiling Test.Syd.Validity.RelativeValiditySpec ( test/Test/Syd/Validity/RelativeValiditySpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/RelativeValiditySpec.o )
  486. 40.50 s [genvalidity-sydtest] [13 of 15] Compiling Test.Syd.Validity.ShowSpec ( test/Test/Syd/Validity/ShowSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/ShowSpec.o )
  487. 40.50 s [genvalidity-sydtest] [14 of 15] Compiling Test.Syd.Validity.ShrinkingSpec ( test/Test/Syd/Validity/ShrinkingSpec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Test/Syd/Validity/ShrinkingSpec.o )
  488. 40.50 s [genvalidity-sydtest] [15 of 15] Compiling Main ( test/Spec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Main.o )
  489. 41.52 s [genvalidity-sydtest] [16 of 16] Linking dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test
  490. 46.04 s [genvalidity-sydtest] Phase: checkPhase
  491. 47.20 s [genvalidity-sydtest] Running 1 test suites...
  492. 47.20 s [genvalidity-sydtest] Test suite genvalidity-sydtest-test: RUNNING...
  493. 47.37 s [genvalidity-sydtest] Tests:
  494. 47.38 s [genvalidity-sydtest]
  495. 47.38 s [genvalidity-sydtest] Test.Syd.Validity.MonoidSpec
  496. 47.38 s [genvalidity-sydtest] Monoid [Int]
  497. 47.38 s [genvalidity-sydtest] mappend :: [Int] -> [Int] -> [Int]
  498. 47.38 s [genvalidity-sydtest] ✓ is an associative operation for "valid :: ([Int],[Int],[Int])" 30.66 ms
  499. 47.38 s [genvalidity-sydtest] passed for all of 100 inputs.
  500. 47.38 s [genvalidity-sydtest] mempty :: [Int]
  501. 47.38 s [genvalidity-sydtest] ✓ is the identity for mappend :: [Int] -> [Int] -> [Int] for "valid :: [Int]" 36.01 ms
  502. 47.38 s [genvalidity-sydtest] passed for all of 100 inputs.
  503. 47.38 s [genvalidity-sydtest] mconcat :: [[Int]] -> [Int]
  504. 47.38 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "valid :: [[Int]]" 9.08 ms
  505. 47.38 s [genvalidity-sydtest] passed for all of 100 inputs.
  506. 47.38 s [genvalidity-sydtest] Monoid [Int]
  507. 47.38 s [genvalidity-sydtest] mconcat :: [[Int]] -> [Int]
  508. 47.38 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "arbitrary :: [[Int]]" 71.05 ms
  509. 47.39 s [genvalidity-sydtest] passed for all of 100 inputs.
  510. 47.39 s [genvalidity-sydtest] mempty :: [Int]
  511. 47.39 s [genvalidity-sydtest] ✓ is the identity for mappend :: [Int] -> [Int] -> [Int] for "arbitrary :: [Int]" 2.72 ms
  512. 47.39 s [genvalidity-sydtest] passed for all of 100 inputs.
  513. 47.39 s [genvalidity-sydtest] mappend :: [Int] -> [Int] -> [Int]
  514. 47.39 s [genvalidity-sydtest] ✓ is an associative operation for "arbitrary :: ([Int],[Int],[Int])" 52.00 ms
  515. 47.39 s [genvalidity-sydtest] passed for all of 100 inputs.
  516. 47.39 s [genvalidity-sydtest] Monoid ([Ratio Integer])
  517. 47.39 s [genvalidity-sydtest] mappend :: ([Ratio Integer]) -> ([Ratio Integer]) -> ([Ratio Integer])
  518. 47.39 s [genvalidity-sydtest] ✓ is an associative operation for "valid :: (([Ratio Integer],[Ratio Integer],[Ratio Integer]))" 100.36 ms
  519. 47.39 s [genvalidity-sydtest] passed for all of 100 inputs.
  520. 47.39 s [genvalidity-sydtest] mempty :: ([Ratio Integer])
  521. 47.39 s [genvalidity-sydtest] ✓ is the identity for mappend :: ([Ratio Integer]) -> ([Ratio Integer]) -> ([Ratio Integer]) for "valid :: ([Ratio Integer])" 96.44 ms
  522. 47.39 s [genvalidity-sydtest] passed for all of 100 inputs.
  523. 47.39 s [genvalidity-sydtest] mconcat :: [([Ratio Integer])] -> ([Ratio Integer])
  524. 47.39 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "valid :: ([[Ratio Integer]])" 98.69 ms
  525. 47.39 s [genvalidity-sydtest] passed for all of 100 inputs.
  526. 47.39 s [genvalidity-sydtest] Monoid [Char]
  527. 47.39 s [genvalidity-sydtest] mappend :: [Char] -> [Char] -> [Char]
  528. 47.40 s [genvalidity-sydtest] ✓ is an associative operation for "singleton list of 'a' :: ([Char],[Char],[Char])" 6.56 ms
  529. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  530. 47.40 s [genvalidity-sydtest] mempty :: [Char]
  531. 47.40 s [genvalidity-sydtest] ✓ is the identity for mappend :: [Char] -> [Char] -> [Char] for "singleton list of 'a' :: [Char]" 1.67 ms
  532. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  533. 47.40 s [genvalidity-sydtest] mconcat :: [[Char]] -> [Char]
  534. 47.40 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "singleton list of 'a' :: [[Char]]" 28.45 ms
  535. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  536. 47.40 s [genvalidity-sydtest] Test.Syd.Validity.OrdSpec
  537. 47.40 s [genvalidity-sydtest] Ord (Ratio Integer)
  538. 47.40 s [genvalidity-sydtest] "max :: (Ratio Integer -> Ratio Integer -> Ratio Integer)"
  539. 47.40 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (Ratio Integer)"'s 44.77 ms
  540. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  541. 47.40 s [genvalidity-sydtest] (>=) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  542. 47.40 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 44.36 ms
  543. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  544. 47.40 s [genvalidity-sydtest] ✓ is antisymmetric for "valid (Ratio Integer)"'s 26.98 ms
  545. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  546. 47.40 s [genvalidity-sydtest] ✓ is reflexive for "valid (Ratio Integer)"'s 26.72 ms
  547. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  548. 47.40 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (Ratio Integer)"'s 61.18 ms
  549. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  550. 47.40 s [genvalidity-sydtest] "min :: (Ratio Integer -> Ratio Integer -> Ratio Integer)"
  551. 47.40 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (Ratio Integer)"'s 82.10 ms
  552. 47.40 s [genvalidity-sydtest] passed for all of 100 inputs.
  553. 47.41 s [genvalidity-sydtest] (<=) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  554. 47.41 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (Ratio Integer)"'s 61.48 ms
  555. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  556. 47.41 s [genvalidity-sydtest] ✓ is reflexive for "valid (Ratio Integer)"'s 42.50 ms
  557. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  558. 47.41 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 88.16 ms
  559. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  560. 47.41 s [genvalidity-sydtest] ✓ is antisymmetric for "valid (Ratio Integer)"'s 69.34 ms
  561. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  562. 47.41 s [genvalidity-sydtest] (>) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  563. 47.41 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (Ratio Integer)"'s 41.15 ms
  564. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  565. 47.41 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 81.75 ms
  566. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  567. 47.41 s [genvalidity-sydtest] ✓ is antireflexive for "valid (Ratio Integer)"'s 47.39 ms
  568. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  569. 47.41 s [genvalidity-sydtest] (<) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  570. 47.41 s [genvalidity-sydtest] ✓ is antireflexive for "valid (Ratio Integer)"'s 2.15 ms
  571. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  572. 47.41 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (Ratio Integer)"'s 70.04 ms
  573. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  574. 47.41 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 33.22 ms
  575. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  576. 47.41 s [genvalidity-sydtest] Ord Int
  577. 47.41 s [genvalidity-sydtest] (<=) :: Int -> Int -> Bool
  578. 47.41 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "arbitrary Int"'s 57.68 ms
  579. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  580. 47.41 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 21.52 ms
  581. 47.41 s [genvalidity-sydtest] passed for all of 100 inputs.
  582. 47.41 s [genvalidity-sydtest] ✓ is reflexive for "arbitrary Int"'s 30.97 ms
  583. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  584. 47.42 s [genvalidity-sydtest] ✓ is antisymmetric for "arbitrary Int"'s 36.20 ms
  585. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  586. 47.42 s [genvalidity-sydtest] "min :: (Int -> Int -> Int)"
  587. 47.42 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "arbitrary Int"'s 42.62 ms
  588. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  589. 47.42 s [genvalidity-sydtest] (>) :: Int -> Int -> Bool
  590. 47.42 s [genvalidity-sydtest] ✓ is antireflexive for "arbitrary Int"'s 67.90 ms
  591. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  592. 47.42 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 64.97 ms
  593. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  594. 47.42 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "arbitrary Int"'s 64.97 ms
  595. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  596. 47.42 s [genvalidity-sydtest] "max :: (Int -> Int -> Int)"
  597. 47.42 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "arbitrary Int"'s 65.02 ms
  598. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  599. 47.42 s [genvalidity-sydtest] (<) :: Int -> Int -> Bool
  600. 47.42 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 65.02 ms
  601. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  602. 47.42 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "arbitrary Int"'s 65.01 ms
  603. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  604. 47.42 s [genvalidity-sydtest] ✓ is antireflexive for "arbitrary Int"'s 56.74 ms
  605. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  606. 47.42 s [genvalidity-sydtest] (>=) :: Int -> Int -> Bool
  607. 47.42 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 57.02 ms
  608. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  609. 47.42 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "arbitrary Int"'s 53.46 ms
  610. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  611. 47.42 s [genvalidity-sydtest] ✓ is reflexive for "arbitrary Int"'s 51.98 ms
  612. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  613. 47.42 s [genvalidity-sydtest] ✓ is antisymmetric for "arbitrary Int"'s 51.60 ms
  614. 47.42 s [genvalidity-sydtest] passed for all of 100 inputs.
  615. 47.42 s [genvalidity-sydtest] Ord Int
  616. 47.43 s [genvalidity-sydtest] (>=) :: Int -> Int -> Bool
  617. 47.43 s [genvalidity-sydtest] ✓ is antisymmetric for "valid Int"'s 51.57 ms
  618. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  619. 47.43 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid Int"'s 51.76 ms
  620. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  621. 47.43 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 51.76 ms
  622. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  623. 47.43 s [genvalidity-sydtest] ✓ is reflexive for "valid Int"'s 47.74 ms
  624. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  625. 47.43 s [genvalidity-sydtest] "max :: (Int -> Int -> Int)"
  626. 47.43 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid Int"'s 47.67 ms
  627. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  628. 47.43 s [genvalidity-sydtest] "min :: (Int -> Int -> Int)"
  629. 47.43 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid Int"'s 34.41 ms
  630. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  631. 47.43 s [genvalidity-sydtest] (>) :: Int -> Int -> Bool
  632. 47.43 s [genvalidity-sydtest] ✓ is antireflexive for "valid Int"'s 34.11 ms
  633. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  634. 47.43 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "valid Int"'s 35.79 ms
  635. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  636. 47.43 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 34.17 ms
  637. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  638. 47.43 s [genvalidity-sydtest] (<) :: Int -> Int -> Bool
  639. 47.43 s [genvalidity-sydtest] ✓ is antireflexive for "valid Int"'s 27.10 ms
  640. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  641. 47.43 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 17.49 ms
  642. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  643. 47.43 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "valid Int"'s 14.61 ms
  644. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  645. 47.43 s [genvalidity-sydtest] (<=) :: Int -> Int -> Bool
  646. 47.43 s [genvalidity-sydtest] ✓ is antisymmetric for "valid Int"'s 15.15 ms
  647. 47.43 s [genvalidity-sydtest] passed for all of 100 inputs.
  648. 47.43 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid Int"'s 9.02 ms
  649. 47.44 s [genvalidity-sydtest] passed for all of 100 inputs.
  650. 47.44 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 8.52 ms
  651. 47.44 s [genvalidity-sydtest] passed for all of 100 inputs.
  652. 47.44 s [genvalidity-sydtest] ✓ is reflexive for "valid Int"'s 9.84 ms
  653. 47.44 s [genvalidity-sydtest] passed for all of 100 inputs.
  654. 47.44 s [genvalidity-sydtest] Ord Int
  655. 47.44 s [genvalidity-sydtest] (>=) :: Int -> Int -> Bool
  656. 47.44 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 14.31 ms
  657. 47.44 s [genvalidity-sydtest] passed for all of 100 inputs.
  658. 47.44 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "even Int"'s 14.31 ms
  659. 47.44 s [genvalidity-sydtest] passed for all of 100 inputs.
  660. 47.44 s [genvalidity-sydtest] ✓ is antisymmetric for "even Int"'s 14.23 ms
  661. 47.44 s [genvalidity-sydtest] passed for all of 100 inputs.
  662. 48.72 s [genvalidity-sydtest] ✓ is reflexive for "even Int"'s 14.30 ms
  663. 48.72 s [genvalidity-sydtest] passed for all of 100 inputs.
  664. 48.72 s [genvalidity-sydtest] (<) :: Int -> Int -> Bool
  665. 48.72 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "even Int"'s 14.17 ms
  666. 48.72 s [genvalidity-sydtest] passed for all of 100 inputs.
  667. 48.72 s [genvalidity-sydtest] ✓ is antireflexive for "even Int"'s 18.67 ms
  668. 48.72 s [genvalidity-sydtest] passed for all of 100 inputs.
  669. 48.73 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 19.20 ms
  670. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  671. 48.73 s [genvalidity-sydtest] (>) :: Int -> Int -> Bool
  672. 48.73 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 26.73 ms
  673. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  674. 48.73 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "even Int"'s 27.68 ms
  675. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  676. 48.73 s [genvalidity-sydtest] ✓ is antireflexive for "even Int"'s 26.05 ms
  677. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  678. 48.73 s [genvalidity-sydtest] "max :: (Int -> Int -> Int)"
  679. 48.73 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "even Int"'s 26.94 ms
  680. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  681. 48.73 s [genvalidity-sydtest] "min :: (Int -> Int -> Int)"
  682. 48.73 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "even Int"'s 26.92 ms
  683. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  684. 48.73 s [genvalidity-sydtest] (<=) :: Int -> Int -> Bool
  685. 48.73 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 26.34 ms
  686. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  687. 48.73 s [genvalidity-sydtest] ✓ is reflexive for "even Int"'s 26.29 ms
  688. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  689. 48.73 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "even Int"'s 27.75 ms
  690. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  691. 48.73 s [genvalidity-sydtest] ✓ is antisymmetric for "even Int"'s 27.20 ms
  692. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  693. 48.73 s [genvalidity-sydtest] Test.Syd.Validity.MonadSpec
  694. 48.73 s [genvalidity-sydtest] Monad []
  695. 48.73 s [genvalidity-sydtest] relation with Applicative []
  696. 48.73 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "[] of ints :: [Int]" 27.51 ms
  697. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  698. 48.73 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" 42.59 ms
  699. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  700. 48.73 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" 28.30 ms
  701. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  702. 48.73 s [genvalidity-sydtest] relation with Functor []
  703. 48.73 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" 32.12 ms
  704. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  705. 48.73 s [genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
  706. 48.73 s [genvalidity-sydtest] ✓ 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])" 1349.55 ms
  707. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  708. 48.73 s [genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
  709. 48.73 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" 31.31 ms
  710. 48.73 s [genvalidity-sydtest] passed for all of 100 inputs.
  711. 48.74 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" 31.32 ms
  712. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  713. 48.74 s [genvalidity-sydtest] Monad Maybe
  714. 48.74 s [genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  715. 48.74 s [genvalidity-sydtest] ✓ 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)" 31.05 ms
  716. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  717. 48.74 s [genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  718. 48.74 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" 31.05 ms
  719. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  720. 48.74 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" 31.02 ms
  721. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  722. 48.74 s [genvalidity-sydtest] relation with Functor Maybe
  723. 48.74 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" 31.47 ms
  724. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  725. 48.74 s [genvalidity-sydtest] relation with Applicative Maybe
  726. 48.74 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" 39.45 ms
  727. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  728. 48.74 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" 32.39 ms
  729. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  730. 48.74 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" 33.49 ms
  731. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  732. 48.74 s [genvalidity-sydtest] Monad Maybe
  733. 48.74 s [genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  734. 48.74 s [genvalidity-sydtest] ✓ 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)" 33.57 ms
  735. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  736. 48.74 s [genvalidity-sydtest] relation with Applicative Maybe
  737. 48.74 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" 34.26 ms
  738. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  739. 48.74 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" 33.51 ms
  740. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  741. 48.74 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" 28.53 ms
  742. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  743. 48.74 s [genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  744. 48.74 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" 28.09 ms
  745. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  746. 48.74 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" 37.67 ms
  747. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  748. 48.74 s [genvalidity-sydtest] relation with Functor Maybe
  749. 48.74 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" 24.79 ms
  750. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  751. 48.74 s [genvalidity-sydtest] Monad (Either Int)
  752. 48.74 s [genvalidity-sydtest] return :: a -> (Either Int) a and (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b
  753. 48.74 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "(Either Int) of ints :: (Either Int Int)" 23.78 ms
  754. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  755. 48.74 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Either Int Int)" 36.69 ms
  756. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  757. 48.74 s [genvalidity-sydtest] relation with Applicative (Either Int)
  758. 48.74 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "(Either Int) of additions :: (Either Int (Int -> Int))" and "(Either Int) of ints :: (Either Int Int)" 37.45 ms
  759. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  760. 48.74 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "(Either Int) of ints :: (Either Int Int)" 37.46 ms
  761. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  762. 48.74 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "(Either Int) of ints :: (Either Int Int)" and "(Either Int) of ints :: (Either Int Int)" 37.50 ms
  763. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  764. 48.74 s [genvalidity-sydtest] (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b
  765. 48.74 s [genvalidity-sydtest] ✓ 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)" 36.06 ms
  766. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  767. 48.74 s [genvalidity-sydtest] relation with Functor (Either Int)
  768. 48.74 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "(Either Int) of ints :: (Either Int Int)" 36.06 ms
  769. 48.74 s [genvalidity-sydtest] passed for all of 100 inputs.
  770. 48.74 s [genvalidity-sydtest] Monad Maybe
  771. 48.74 s [genvalidity-sydtest] relation with Functor Maybe
  772. 48.75 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "appends :: ([Char] -> [Char])" and "Just an ABC :: (Maybe [Char])" 48.82 ms
  773. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  774. 48.75 s [genvalidity-sydtest] relation with Applicative Maybe
  775. 48.75 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "Just an ABC :: (Maybe [Char])" 35.72 ms
  776. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  777. 48.75 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Just an ABC :: (Maybe [Char])" and "Just an ABC :: (Maybe [Char])" 42.60 ms
  778. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  779. 48.75 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "append 'a' in Just :: (Maybe ([Char] -> [Char]))" and "Just an ABC :: (Maybe [Char])" 49.04 ms
  780. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  781. 48.75 s [genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  782. 48.75 s [genvalidity-sydtest] ✓ 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])" 44.01 ms
  783. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  784. 48.75 s [genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  785. 48.75 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Just an ABC :: (Maybe [Char])" 43.77 ms
  786. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  787. 48.75 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "ABC :: [Char]" and "justisation :: ([Char] -> Maybe [Char])" 44.70 ms
  788. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  789. 48.75 s [genvalidity-sydtest] Monad []
  790. 48.75 s [genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
  791. 48.75 s [genvalidity-sydtest] ✓ 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])" 94.08 ms
  792. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  793. 48.75 s [genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
  794. 48.75 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "list of fives :: [Int]" 51.08 ms
  795. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  796. 48.75 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "four :: Int" and "singletonisation :: (Int -> [Int])" 98.03 ms
  797. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  798. 48.75 s [genvalidity-sydtest] relation with Applicative []
  799. 48.75 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "list of fives :: [Int]" 84.34 ms
  800. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  801. 48.75 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "list of fives :: [Int]" and "list of sixes :: [Int]" 111.04 ms
  802. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  803. 48.75 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "increment in list :: ([Int -> Int])" and "list of fives :: [Int]" 96.98 ms
  804. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  805. 48.75 s [genvalidity-sydtest] relation with Functor []
  806. 48.75 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "factorisations :: (Int -> Int)" and "list of fives :: [Int]" 97.51 ms
  807. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  808. 48.75 s [genvalidity-sydtest] Monad []
  809. 48.75 s [genvalidity-sydtest] relation with Functor []
  810. 48.75 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" 96.86 ms
  811. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  812. 48.75 s [genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
  813. 48.75 s [genvalidity-sydtest] ✓ 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])" 938.31 ms
  814. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  815. 48.75 s [genvalidity-sydtest] relation with Applicative []
  816. 48.75 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" 140.65 ms
  817. 48.75 s [genvalidity-sydtest] passed for all of 100 inputs.
  818. 48.76 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "[] of ints :: [Int]" 109.91 ms
  819. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  820. 48.76 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" 122.19 ms
  821. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  822. 48.76 s [genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
  823. 48.76 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" 121.63 ms
  824. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  825. 48.76 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" 109.76 ms
  826. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  827. 48.76 s [genvalidity-sydtest] Test.Syd.Validity.EqSpec
  828. 48.76 s [genvalidity-sydtest] Eq (Ratio Integer)
  829. 48.76 s [genvalidity-sydtest] (==) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  830. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Ratio Integer)"s 116.56 ms
  831. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  832. 48.76 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"s 121.54 ms
  833. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  834. 48.76 s [genvalidity-sydtest] ✓ is reflexive for "valid (Ratio Integer)"s 122.16 ms
  835. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  836. 48.76 s [genvalidity-sydtest] ✓ is symmetric for "valid (Ratio Integer)"s 123.02 ms
  837. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  838. 48.76 s [genvalidity-sydtest] (/=) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  839. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Ratio Integer)"s 130.39 ms
  840. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  841. 48.76 s [genvalidity-sydtest] ✓ is antireflexive for "valid (Ratio Integer)"s 122.97 ms
  842. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  843. 48.76 s [genvalidity-sydtest] Eq Int
  844. 48.76 s [genvalidity-sydtest] (==) :: Int -> Int -> Bool
  845. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "valid Int"s 135.62 ms
  846. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  847. 48.76 s [genvalidity-sydtest] ✓ is reflexive for "valid Int"s 124.90 ms
  848. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  849. 48.76 s [genvalidity-sydtest] ✓ is transitive for "valid Int"s 124.59 ms
  850. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  851. 48.76 s [genvalidity-sydtest] ✓ is symmetric for "valid Int"s 124.56 ms
  852. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  853. 48.76 s [genvalidity-sydtest] (/=) :: Int -> Int -> Bool
  854. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "valid Int"s 124.48 ms
  855. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  856. 48.76 s [genvalidity-sydtest] ✓ is antireflexive for "valid Int"s 123.62 ms
  857. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  858. 48.76 s [genvalidity-sydtest] Eq Int
  859. 48.76 s [genvalidity-sydtest] (==) :: Int -> Int -> Bool
  860. 48.76 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"s 119.67 ms
  861. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  862. 48.76 s [genvalidity-sydtest] ✓ is symmetric for "arbitrary Int"s 117.55 ms
  863. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  864. 48.76 s [genvalidity-sydtest] ✓ is reflexive for "arbitrary Int"s 90.31 ms
  865. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  866. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "arbitrary Int"s 88.15 ms
  867. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  868. 48.76 s [genvalidity-sydtest] (/=) :: Int -> Int -> Bool
  869. 48.76 s [genvalidity-sydtest] ✓ is antireflexive for "arbitrary Int"s 99.10 ms
  870. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  871. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "arbitrary Int"s 94.47 ms
  872. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  873. 48.76 s [genvalidity-sydtest] Eq Int
  874. 48.76 s [genvalidity-sydtest] (/=) :: Int -> Int -> Bool
  875. 48.76 s [genvalidity-sydtest] ✓ is antireflexive for "even Int"s 98.97 ms
  876. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  877. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "even Int"s 102.29 ms
  878. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  879. 48.76 s [genvalidity-sydtest] (==) :: Int -> Int -> Bool
  880. 48.76 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "even Int"s 98.18 ms
  881. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  882. 48.76 s [genvalidity-sydtest] ✓ is symmetric for "even Int"s 114.32 ms
  883. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  884. 48.76 s [genvalidity-sydtest] ✓ is reflexive for "even Int"s 97.99 ms
  885. 48.76 s [genvalidity-sydtest] passed for all of 100 inputs.
  886. 48.76 s [genvalidity-sydtest] ✓ is transitive for "even Int"s 97.56 ms
  887. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  888. 48.77 s [genvalidity-sydtest] Test.Syd.Validity.ArbitrarySpec
  889. 48.77 s [genvalidity-sydtest] Arbitrary Int
  890. 48.77 s [genvalidity-sydtest] arbitrary :: Gen Int
  891. 48.77 s [genvalidity-sydtest] ✓ only generates valid values 109.75 ms
  892. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  893. 48.77 s [genvalidity-sydtest] Test.Syd.Validity.Operations.CommutativitySpec
  894. 48.77 s [genvalidity-sydtest] commutative
  895. 48.77 s [genvalidity-sydtest] ✓ cross product is not commutative 317.81 ms
  896. 48.77 s [genvalidity-sydtest] passed for all of 1 inputs.
  897. 48.77 s [genvalidity-sydtest] ✓ + is commutative 116.91 ms
  898. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  899. 48.77 s [genvalidity-sydtest] ✓ * is commutative 121.03 ms
  900. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  901. 48.77 s [genvalidity-sydtest] ✓ - is not commutative 983.90 ms
  902. 48.77 s [genvalidity-sydtest] passed for all of 1 inputs.
  903. 48.77 s [genvalidity-sydtest] ✓ dot product is commutative 123.33 ms
  904. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  905. 48.77 s [genvalidity-sydtest] Test.Syd.Validity.GenValiditySpec
  906. 48.77 s [genvalidity-sydtest] GenValid (Ratio Integer)
  907. 48.77 s [genvalidity-sydtest] genValid :: Gen (Ratio Integer)
  908. 48.77 s [genvalidity-sydtest] ✓ only generates valid '(Ratio Integer)'s 145.27 ms
  909. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  910. 48.77 s [genvalidity-sydtest] GenValid (Ratio Integer)
  911. 48.77 s [genvalidity-sydtest] genValid :: Gen (Ratio Integer)
  912. 48.77 s [genvalidity-sydtest] ✓ only generates valid '(Ratio Integer)'s 141.12 ms
  913. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  914. 48.77 s [genvalidity-sydtest] Test.Syd.Validity.ShrinkingSpec
  915. 48.77 s [genvalidity-sydtest] shrinkValid :: (Int -> [Int])
  916. 48.77 s [genvalidity-sydtest] ✓ preserves validity 168.13 ms
  917. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  918. 48.77 s [genvalidity-sydtest] ✓ never shrinks to itself for valid values 167.80 ms
  919. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  920. 48.77 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid
  921. 48.77 s [genvalidity-sydtest] ✓ [Ordering] 235.09 ms
  922. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  923. 48.77 s [genvalidity-sydtest] ✓ Ordering 159.54 ms
  924. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  925. 48.77 s [genvalidity-sydtest] shrinkValid :: (Ratio Int8 -> [Ratio Int8])
  926. 48.77 s [genvalidity-sydtest] ✓ never shrinks to itself for valid values 180.42 ms
  927. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  928. 48.77 s [genvalidity-sydtest] ✓ preserves validity 224.43 ms
  929. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  930. 48.77 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItself
  931. 48.77 s [genvalidity-sydtest] ✓ [Int] 877.53 ms
  932. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  933. 48.77 s [genvalidity-sydtest] ✓ Int 179.45 ms
  934. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  935. 48.77 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItself
  936. 48.77 s [genvalidity-sydtest] ✓ [Ordering] 267.04 ms
  937. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  938. 48.77 s [genvalidity-sydtest] ✓ Ordering 198.06 ms
  939. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  940. 48.77 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid
  941. 48.77 s [genvalidity-sydtest] ✓ Ordering 193.78 ms
  942. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  943. 48.77 s [genvalidity-sydtest] ✓ [Ordering] 378.74 ms
  944. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  945. 48.77 s [genvalidity-sydtest] Test.Syd.Validity.FunctorSpec
  946. 48.77 s [genvalidity-sydtest] Functor Maybe
  947. 48.77 s [genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
  948. 48.77 s [genvalidity-sydtest] ✓ 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])" 197.07 ms
  949. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  950. 48.77 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Just an ABC :: (Maybe [Char])" 185.79 ms
  951. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  952. 48.77 s [genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
  953. 48.77 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "ABC :: [Char]" and "Just an ABC :: (Maybe [Char])" 176.84 ms
  954. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  955. 48.77 s [genvalidity-sydtest] Functor []
  956. 48.77 s [genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
  957. 48.77 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "list of fives :: [Int]" 214.83 ms
  958. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  959. 48.77 s [genvalidity-sydtest] ✓ 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)" 226.10 ms
  960. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  961. 48.77 s [genvalidity-sydtest] (<$) :: a -> [] b -> [] a
  962. 48.77 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "four :: Int" and "list of fives :: [Int]" 226.01 ms
  963. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  964. 48.77 s [genvalidity-sydtest] Functor []
  965. 48.77 s [genvalidity-sydtest] (<$) :: a -> [] b -> [] a
  966. 48.77 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" 213.37 ms
  967. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  968. 48.77 s [genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
  969. 48.77 s [genvalidity-sydtest] ✓ 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)" 188.96 ms
  970. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  971. 48.77 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" 190.26 ms
  972. 48.77 s [genvalidity-sydtest] passed for all of 100 inputs.
  973. 48.77 s [genvalidity-sydtest] Functor (Either Int)
  974. 48.77 s [genvalidity-sydtest] fmap :: (a -> b) -> (Either Int) a -> (Either Int) b
  975. 48.77 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "(Either Int) of ints :: (Either Int Int)" 196.10 ms
  976. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  977. 48.78 s [genvalidity-sydtest] ✓ 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)" 230.18 ms
  978. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  979. 48.78 s [genvalidity-sydtest] (<$) :: a -> (Either Int) b -> (Either Int) a
  980. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "(Either Int) of ints :: (Either Int Int)" 224.18 ms
  981. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  982. 48.78 s [genvalidity-sydtest] Functor []
  983. 48.78 s [genvalidity-sydtest] (<$) :: a -> [] b -> [] a
  984. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" 221.41 ms
  985. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  986. 48.78 s [genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
  987. 48.78 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" 215.85 ms
  988. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  989. 48.78 s [genvalidity-sydtest] ✓ 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)" 228.75 ms
  990. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  991. 48.78 s [genvalidity-sydtest] Functor Maybe
  992. 48.78 s [genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
  993. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" 216.03 ms
  994. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  995. 48.78 s [genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
  996. 48.78 s [genvalidity-sydtest] ✓ 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)" 220.53 ms
  997. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  998. 48.78 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" 229.97 ms
  999. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1000. 48.78 s [genvalidity-sydtest] Functor ((,) Int)
  1001. 48.78 s [genvalidity-sydtest] fmap :: (a -> b) -> ((,) Int) a -> ((,) Int) b
  1002. 48.78 s [genvalidity-sydtest] ✓ 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)" 256.63 ms
  1003. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1004. 48.78 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "((,) Int) of ints :: (Int,Int)" 226.69 ms
  1005. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1006. 48.78 s [genvalidity-sydtest] (<$) :: a -> ((,) Int) b -> ((,) Int) a
  1007. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "((,) Int) of ints :: (Int,Int)" 238.79 ms
  1008. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1009. 48.78 s [genvalidity-sydtest] Functor Maybe
  1010. 48.78 s [genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
  1011. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" 284.01 ms
  1012. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1013. 48.78 s [genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
  1014. 48.78 s [genvalidity-sydtest] ✓ 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)" 301.69 ms
  1015. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1016. 48.78 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" 301.05 ms
  1017. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1018. 48.78 s [genvalidity-sydtest] Test.Syd.Validity.ShowSpec
  1019. 48.78 s [genvalidity-sydtest] Show (Ratio Integer) and Read (Ratio Integer)
  1020. 48.78 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for arbitrary values 330.78 ms
  1021. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1022. 48.78 s [genvalidity-sydtest] Show Int and Read Int
  1023. 48.78 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for valid values 326.98 ms
  1024. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1025. 48.78 s [genvalidity-sydtest] Show (Ratio Integer) and Read (Ratio Integer)
  1026. 48.78 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for valid values 347.45 ms
  1027. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1028. 48.78 s [genvalidity-sydtest] Show Int and Read Int
  1029. 48.78 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for even values 335.47 ms
  1030. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1031. 48.78 s [genvalidity-sydtest] Test.Syd.Validity.ApplicativeSpec
  1032. 48.78 s [genvalidity-sydtest] Applicative []
  1033. 48.78 s [genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
  1034. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "[] of ints :: [Int]" in front of "[] of ints :: Int" 406.39 ms
  1035. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1036. 48.78 s [genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
  1037. 48.78 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" 345.44 ms
  1038. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1039. 48.78 s [genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "[] of ints :: [Int]" 346.35 ms
  1040. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1041. 48.78 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" 347.85 ms
  1042. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1043. 48.78 s [genvalidity-sydtest] ✓ 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]" 356.12 ms
  1044. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1045. 48.78 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 313.61 ms
  1046. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1047. 48.78 s [genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
  1048. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" 357.46 ms
  1049. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1050. 48.78 s [genvalidity-sydtest] Applicative (Either Int)
  1051. 48.78 s [genvalidity-sydtest] (*>) :: (Either Int) a -> (Either Int) b -> (Either Int) b
  1052. 48.78 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "(Either Int) of ints :: (Either Int Int)" in front of "(Either Int) of ints :: Int" 309.63 ms
  1053. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1054. 48.78 s [genvalidity-sydtest] (<*) :: (Either Int) a -> (Either Int) b -> (Either Int) a
  1055. 48.78 s [genvalidity-sydtest] ✓ 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)" 308.58 ms
  1056. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1057. 48.78 s [genvalidity-sydtest] pure :: a -> (Either Int) a and (<*>) :: (Either Int) (a -> b) -> (Either Int) a -> (Either Int) b
  1058. 48.78 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "(Either Int) of ints :: (Either Int Int)" 295.55 ms
  1059. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1060. 48.78 s [genvalidity-sydtest] ✓ 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)" 304.08 ms
  1061. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1062. 48.78 s [genvalidity-sydtest] ✓ 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)" 322.78 ms
  1063. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1064. 48.78 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 315.07 ms
  1065. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1066. 48.78 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "(Either Int) of increments :: (Either Int (Int -> Int))" sequenced with "int :: Int" 304.43 ms
  1067. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1068. 48.78 s [genvalidity-sydtest] Applicative Maybe
  1069. 48.78 s [genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
  1070. 48.78 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 305.81 ms
  1071. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1072. 48.78 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" 293.21 ms
  1073. 48.78 s [genvalidity-sydtest] passed for all of 100 inputs.
  1074. 48.79 s [genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" 275.98 ms
  1075. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1076. 48.79 s [genvalidity-sydtest] ✓ 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)" 248.67 ms
  1077. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1078. 48.79 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" 223.86 ms
  1079. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1080. 48.79 s [genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
  1081. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "Maybe of ints :: Int" behind "Maybe of ints :: (Maybe Int)" 223.75 ms
  1082. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1083. 48.79 s [genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
  1084. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "Maybe of ints :: (Maybe Int)" in front of "Maybe of ints :: Int" 150.46 ms
  1085. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1086. 48.79 s [genvalidity-sydtest] Applicative Maybe
  1087. 48.79 s [genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
  1088. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "purely Nothing :: [Char]" behind "Just an ABC :: (Maybe [Char])" 151.95 ms
  1089. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1090. 48.79 s [genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
  1091. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "Just an ABC :: (Maybe [Char])" in front of "purely Nothing :: [Char]" 142.97 ms
  1092. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1093. 48.79 s [genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
  1094. 48.79 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Just an ABC :: (Maybe [Char])" 133.54 ms
  1095. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1096. 48.79 s [genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "prepends :: ([Char] -> [Char])" mapped over "Just an ABC :: (Maybe [Char])" 141.02 ms
  1097. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1098. 48.79 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "prepends :: ([Char] -> [Char])" sequenced with "ABC :: [Char]" 141.63 ms
  1099. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1100. 48.79 s [genvalidity-sydtest] ✓ 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])" 192.00 ms
  1101. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1102. 48.79 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "prepends in a Just :: (Maybe ([Char] -> [Char]))" sequenced with "ABC :: [Char]" 135.69 ms
  1103. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1104. 48.79 s [genvalidity-sydtest] Applicative []
  1105. 48.79 s [genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
  1106. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "[] of ints :: [Int]" in front of "[] of ints :: Int" 275.27 ms
  1107. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1108. 48.79 s [genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
  1109. 48.79 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 135.53 ms
  1110. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1111. 48.79 s [genvalidity-sydtest] ✓ 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]" 144.94 ms
  1112. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1113. 48.79 s [genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "[] of ints :: [Int]" 179.05 ms
  1114. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1115. 48.79 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" 152.68 ms
  1116. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1117. 48.79 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" 135.50 ms
  1118. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1119. 48.79 s [genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
  1120. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" 178.54 ms
  1121. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1122. 48.79 s [genvalidity-sydtest] Applicative []
  1123. 48.79 s [genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
  1124. 48.79 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "four :: Int" 130.71 ms
  1125. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1126. 48.79 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "increments in a list :: ([Int -> Int])" sequenced with "four :: Int" 122.16 ms
  1127. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1128. 48.79 s [genvalidity-sydtest] ✓ 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]" 111.31 ms
  1129. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1130. 48.79 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "list of fives :: [Int]" 109.77 ms
  1131. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1132. 48.79 s [genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "list of fives :: [Int]" 109.84 ms
  1133. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1134. 48.79 s [genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
  1135. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "purely empty list :: Int" behind "list of fives :: [Int]" 110.15 ms
  1136. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1137. 48.79 s [genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
  1138. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "list of fives :: [Int]" in front of "purely empty list :: Int" 110.10 ms
  1139. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1140. 48.79 s [genvalidity-sydtest] Applicative Maybe
  1141. 48.79 s [genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
  1142. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u Type> v = pure (const id) <*> u <*> v' for "Maybe of ints :: (Maybe Int)" in front of "Maybe of ints :: Int" 110.45 ms
  1143. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1144. 48.79 s [genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
  1145. 48.79 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "Maybe of ints :: Int" behind "Maybe of ints :: (Maybe Int)" 116.35 ms
  1146. 48.79 s [genvalidity-sydtest] passed for all of 100 inputs.
  1147. 48.79 s [genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
  1148. 48.79 s [genvalidity-sydtest] ✓ 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)" 124.55 ms
  1149. 48.80 s [genvalidity-sydtest] passed for all of 100 inputs.
  1150. 48.80 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" 138.02 ms
  1151. 48.80 s [genvalidity-sydtest] passed for all of 100 inputs.
  1152. 48.80 s [genvalidity-sydtest] ✓ satisfy the law about the functor instance: fmap f x = pure f <*> x for "increments :: (Int -> Int)" mapped over "Maybe of ints :: (Maybe Int)" 124.53 ms
  1153. 48.80 s [genvalidity-sydtest] passed for all of 100 inputs.
  1154. 48.80 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 147.39 ms
  1155. 48.80 s [genvalidity-sydtest] passed for all of 100 inputs.
  1156. 48.80 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" 153.96 ms
  1157. 48.80 s [genvalidity-sydtest] passed for all of 100 inputs.
  1158. 48.80 s [genvalidity-sydtest]
  1159. 48.80 s [genvalidity-sydtest] Examples: 24402
  1160. 48.80 s [genvalidity-sydtest] Passed: 246
  1161. 48.80 s [genvalidity-sydtest] Failed: 0
  1162. 48.80 s [genvalidity-sydtest] Sum of test runtimes: 32.94 seconds
  1163. 48.80 s [genvalidity-sydtest] Test suite took: 1.50 seconds
  1164. 48.80 s [genvalidity-sydtest]
  1165. 48.83 s [genvalidity-sydtest] Test suite genvalidity-sydtest-test: PASS
  1166. 48.83 s [genvalidity-sydtest] Test suite logged to:
  1167. 48.83 s [genvalidity-sydtest] dist/test/genvalidity-sydtest-1.0.1.0-genvalidity-sydtest-test.log
  1168. 48.83 s [genvalidity-sydtest] 1 of 1 test suites (1 of 1 test cases) passed.
  1169. 48.86 s [genvalidity-sydtest] Phase: haddockPhase
  1170. 49.27 s [genvalidity-sydtest] Preprocessing library for genvalidity-sydtest-1.0.1.0...
  1171. 49.28 s [genvalidity-sydtest] Running Haddock on library for genvalidity-sydtest-1.0.1.0...
  1172. 49.29 s [genvalidity-sydtest] Warning: The documentation for the following packages are not installed. No
  1173. 49.29 s [genvalidity-sydtest] links will be generated to these packages: attoparsec-0.14.4,
  1174. 49.29 s [genvalidity-sydtest] attoparsec-0.14.4, libyaml-clib-0.2.5, path-0.9.6, path-0.9.6, vector-0.13.2.0
  1175. 50.21 s [genvalidity-sydtest] [ 1 of 34] Compiling Paths_genvalidity_sydtest ( dist/build/autogen/Paths_genvalidity_sydtest.hs, nothing )
  1176. 50.36 s [genvalidity-sydtest] [ 2 of 34] Compiling Test.Syd.Validity.Functions.Idempotence ( src/Test/Syd/Validity/Functions/Idempotence.hs, nothing )
  1177. 50.53 s [genvalidity-sydtest] [ 3 of 34] Compiling Test.Syd.Validity.Operations.Associativity ( src/Test/Syd/Validity/Operations/Associativity.hs, nothing )
  1178. 50.57 s [genvalidity-sydtest] [ 4 of 34] Compiling Test.Syd.Validity.Operations.Commutativity ( src/Test/Syd/Validity/Operations/Commutativity.hs, nothing )
  1179. 50.59 s [genvalidity-sydtest] [ 5 of 34] Compiling Test.Syd.Validity.Operations.Identity ( src/Test/Syd/Validity/Operations/Identity.hs, nothing )
  1180. 50.69 s [genvalidity-sydtest] [ 6 of 34] Compiling Test.Syd.Validity.Operations ( src/Test/Syd/Validity/Operations.hs, nothing )
  1181. 50.69 s [genvalidity-sydtest] [ 7 of 34] Compiling Test.Syd.Validity.Property.Utils ( src/Test/Syd/Validity/Property/Utils.hs, nothing )
  1182. 50.81 s [genvalidity-sydtest] [ 8 of 34] Compiling Test.Syd.Validity.GenValidity.Property ( src/Test/Syd/Validity/GenValidity/Property.hs, nothing )
  1183. 50.90 s [genvalidity-sydtest] [ 9 of 34] Compiling Test.Syd.Validity.Functions.Validity ( src/Test/Syd/Validity/Functions/Validity.hs, nothing )
  1184. 51.15 s [genvalidity-sydtest] [10 of 34] Compiling Test.Syd.Validity.Relations.Antireflexivity ( src/Test/Syd/Validity/Relations/Antireflexivity.hs, nothing )
  1185. 51.41 s [genvalidity-sydtest] [11 of 34] Compiling Test.Syd.Validity.Relations.Antisymmetry ( src/Test/Syd/Validity/Relations/Antisymmetry.hs, nothing )
  1186. 51.48 s [genvalidity-sydtest] [12 of 34] Compiling Test.Syd.Validity.Relations.Reflexivity ( src/Test/Syd/Validity/Relations/Reflexivity.hs, nothing )
  1187. 51.55 s [genvalidity-sydtest] [13 of 34] Compiling Test.Syd.Validity.Relations.Symmetry ( src/Test/Syd/Validity/Relations/Symmetry.hs, nothing )
  1188. 51.74 s [genvalidity-sydtest] [14 of 34] Compiling Test.Syd.Validity.Relations.Transitivity ( src/Test/Syd/Validity/Relations/Transitivity.hs, nothing )
  1189. 51.75 s [genvalidity-sydtest] [15 of 34] Compiling Test.Syd.Validity.Relations ( src/Test/Syd/Validity/Relations.hs, nothing )
  1190. 51.77 s [genvalidity-sydtest] [16 of 34] Compiling Test.Syd.Validity.Shrinking.Property ( src/Test/Syd/Validity/Shrinking/Property.hs, nothing )
  1191. 51.83 s [genvalidity-sydtest] [17 of 34] Compiling Test.Syd.Validity.Types ( src/Test/Syd/Validity/Types.hs, nothing )
  1192. 51.85 s [genvalidity-sydtest] [18 of 34] Compiling Test.Syd.Validity.Functions.Inverse ( src/Test/Syd/Validity/Functions/Inverse.hs, nothing )
  1193. 51.90 s [genvalidity-sydtest] [19 of 34] Compiling Test.Syd.Validity.Functions.Equivalence ( src/Test/Syd/Validity/Functions/Equivalence.hs, nothing )
  1194. 52.07 s [genvalidity-sydtest] [20 of 34] Compiling Test.Syd.Validity.Functions.CanFail ( src/Test/Syd/Validity/Functions/CanFail.hs, nothing )
  1195. 52.18 s [genvalidity-sydtest] [21 of 34] Compiling Test.Syd.Validity.Functions ( src/Test/Syd/Validity/Functions.hs, nothing )
  1196. 52.22 s [genvalidity-sydtest] [22 of 34] Compiling Test.Syd.Validity.Property ( src/Test/Syd/Validity/Property.hs, nothing )
  1197. 52.28 s [genvalidity-sydtest] [23 of 34] Compiling Test.Syd.Validity.Utils ( src/Test/Syd/Validity/Utils.hs, nothing )
  1198. 52.34 s [genvalidity-sydtest] [24 of 34] Compiling Test.Syd.Validity.Shrinking ( src/Test/Syd/Validity/Shrinking.hs, nothing )
  1199. 52.41 s [genvalidity-sydtest] [25 of 34] Compiling Test.Syd.Validity.Show ( src/Test/Syd/Validity/Show.hs, nothing )
  1200. 52.46 s [genvalidity-sydtest] [26 of 34] Compiling Test.Syd.Validity.Ord ( src/Test/Syd/Validity/Ord.hs, nothing )
  1201. 52.86 s [genvalidity-sydtest] [27 of 34] Compiling Test.Syd.Validity.Monoid ( src/Test/Syd/Validity/Monoid.hs, nothing )
  1202. 52.91 s [genvalidity-sydtest] [28 of 34] Compiling Test.Syd.Validity.Monad ( src/Test/Syd/Validity/Monad.hs, nothing )
  1203. 53.27 s [genvalidity-sydtest] [29 of 34] Compiling Test.Syd.Validity.GenValidity ( src/Test/Syd/Validity/GenValidity.hs, nothing )
  1204. 53.30 s [genvalidity-sydtest] [30 of 34] Compiling Test.Syd.Validity.Functor ( src/Test/Syd/Validity/Functor.hs, nothing )
  1205. 53.40 s [genvalidity-sydtest] [31 of 34] Compiling Test.Syd.Validity.Eq ( src/Test/Syd/Validity/Eq.hs, nothing )
  1206. 53.47 s [genvalidity-sydtest] [32 of 34] Compiling Test.Syd.Validity.Arbitrary ( src/Test/Syd/Validity/Arbitrary.hs, nothing )
  1207. 53.54 s [genvalidity-sydtest] [33 of 34] Compiling Test.Syd.Validity.Applicative ( src/Test/Syd/Validity/Applicative.hs, nothing )
  1208. 53.75 s [genvalidity-sydtest] [34 of 34] Compiling Test.Syd.Validity ( src/Test/Syd/Validity.hs, nothing )
  1209. 53.79 s [genvalidity-sydtest] Haddock coverage:
  1210. 53.79 s [genvalidity-sydtest] 50% ( 2 / 4) in 'Test.Syd.Validity.Functions.Idempotence'
  1211. 53.79 s [genvalidity-sydtest] Missing documentation for:
  1212. 53.79 s [genvalidity-sydtest] idempotentOnGen (src/Test/Syd/Validity/Functions/Idempotence.hs:17)
  1213. 53.79 s [genvalidity-sydtest] idempotent (src/Test/Syd/Validity/Functions/Idempotence.hs:20)
  1214. 53.79 s [genvalidity-sydtest] 75% ( 3 / 4) in 'Test.Syd.Validity.Operations.Associativity'
  1215. 53.79 s [genvalidity-sydtest] Missing documentation for:
  1216. 53.79 s [genvalidity-sydtest] Module header
  1217. 53.79 s [genvalidity-sydtest] 75% ( 3 / 4) in 'Test.Syd.Validity.Operations.Commutativity'
  1218. 53.79 s [genvalidity-sydtest] Missing documentation for:
  1219. 53.79 s [genvalidity-sydtest] Module header
  1220. 53.79 s [genvalidity-sydtest] 64% ( 9 / 14) in 'Test.Syd.Validity.Operations.Identity'
  1221. 53.79 s [genvalidity-sydtest] Missing documentation for:
  1222. 53.79 s [genvalidity-sydtest] Module header
  1223. 53.79 s [genvalidity-sydtest] leftIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:54)
  1224. 53.79 s [genvalidity-sydtest] leftIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:66)
  1225. 53.79 s [genvalidity-sydtest] rightIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:111)
  1226. 53.79 s [genvalidity-sydtest] rightIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:123)
  1227. 53.79 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Operations'
  1228. 53.79 s [genvalidity-sydtest] 0% ( 0 / 6) in 'Test.Syd.Validity.Property.Utils'
  1229. 53.79 s [genvalidity-sydtest] Missing documentation for:
  1230. 53.79 s [genvalidity-sydtest] Module header
  1231. 53.80 s [genvalidity-sydtest] forAllValid (src/Test/Syd/Validity/Property/Utils.hs:15)
  1232. 53.80 s [genvalidity-sydtest] shouldBeValid (src/Test/Syd/Validity/Property/Utils.hs:24)
  1233. 53.80 s [genvalidity-sydtest] shouldBeInvalid (src/Test/Syd/Validity/Property/Utils.hs:40)
  1234. 53.80 s [genvalidity-sydtest] <==> (src/Test/Syd/Validity/Property/Utils.hs:21)
  1235. 53.80 s [genvalidity-sydtest] ===> (src/Test/Syd/Validity/Property/Utils.hs:18)
  1236. 53.80 s [genvalidity-sydtest] 100% ( 3 / 3) in 'Test.Syd.Validity.GenValidity.Property'
  1237. 53.80 s [genvalidity-sydtest] 40% ( 4 / 10) in 'Test.Syd.Validity.Functions.Validity'
  1238. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1239. 53.80 s [genvalidity-sydtest] producesValidsOnGens2 (src/Test/Syd/Validity/Functions/Validity.hs:51)
  1240. 53.80 s [genvalidity-sydtest] producesValid2 (src/Test/Syd/Validity/Functions/Validity.hs:58)
  1241. 53.80 s [genvalidity-sydtest] producesValidsOnArbitrary2 (src/Test/Syd/Validity/Functions/Validity.hs:64)
  1242. 53.80 s [genvalidity-sydtest] producesValidsOnGens3 (src/Test/Syd/Validity/Functions/Validity.hs:72)
  1243. 53.80 s [genvalidity-sydtest] producesValid3 (src/Test/Syd/Validity/Functions/Validity.hs:87)
  1244. 53.80 s [genvalidity-sydtest] producesValidsOnArbitrary3 (src/Test/Syd/Validity/Functions/Validity.hs:101)
  1245. 53.80 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Antireflexivity'
  1246. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1247. 53.80 s [genvalidity-sydtest] Module header
  1248. 53.80 s [genvalidity-sydtest] antireflexivityOnGen (src/Test/Syd/Validity/Relations/Antireflexivity.hs:32)
  1249. 53.80 s [genvalidity-sydtest] 50% ( 3 / 6) in 'Test.Syd.Validity.Relations.Antisymmetry'
  1250. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1251. 53.80 s [genvalidity-sydtest] Module header
  1252. 53.80 s [genvalidity-sydtest] antisymmetryOnGensWithEquality (src/Test/Syd/Validity/Relations/Antisymmetry.hs:43)
  1253. 53.80 s [genvalidity-sydtest] antisymmetryOnGens (src/Test/Syd/Validity/Relations/Antisymmetry.hs:54)
  1254. 53.80 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Reflexivity'
  1255. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1256. 53.80 s [genvalidity-sydtest] Module header
  1257. 53.80 s [genvalidity-sydtest] reflexivityOnGen (src/Test/Syd/Validity/Relations/Reflexivity.hs:32)
  1258. 53.80 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Symmetry'
  1259. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1260. 53.80 s [genvalidity-sydtest] Module header
  1261. 53.80 s [genvalidity-sydtest] symmetryOnGens (src/Test/Syd/Validity/Relations/Symmetry.hs:34)
  1262. 53.80 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Transitivity'
  1263. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1264. 53.80 s [genvalidity-sydtest] Module header
  1265. 53.80 s [genvalidity-sydtest] transitivityOnGens (src/Test/Syd/Validity/Relations/Transitivity.hs:35)
  1266. 53.80 s [genvalidity-sydtest] 100% ( 6 / 6) in 'Test.Syd.Validity.Relations'
  1267. 53.80 s [genvalidity-sydtest] 100% ( 13 / 13) in 'Test.Syd.Validity.Shrinking.Property'
  1268. 53.80 s [genvalidity-sydtest] 50% ( 1 / 2) in 'Test.Syd.Validity.Types'
  1269. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1270. 53.80 s [genvalidity-sydtest] Module header
  1271. 53.80 s [genvalidity-sydtest] 15% ( 2 / 13) in 'Test.Syd.Validity.Functions.Inverse'
  1272. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1273. 53.80 s [genvalidity-sydtest] inverseFunctionsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:28)
  1274. 53.80 s [genvalidity-sydtest] inverseFunctions (src/Test/Syd/Validity/Functions/Inverse.hs:33)
  1275. 53.80 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:49)
  1276. 53.80 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:60)
  1277. 53.80 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:68)
  1278. 53.80 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:78)
  1279. 53.80 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:89)
  1280. 53.80 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:97)
  1281. 53.80 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:107)
  1282. 53.80 s [genvalidity-sydtest] inverseFunctionsIfSucceed (src/Test/Syd/Validity/Functions/Inverse.hs:120)
  1283. 53.80 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:128)
  1284. 53.80 s [genvalidity-sydtest] 7% ( 2 / 28) in 'Test.Syd.Validity.Functions.Equivalence'
  1285. 53.80 s [genvalidity-sydtest] Missing documentation for:
  1286. 53.80 s [genvalidity-sydtest] Module header
  1287. 53.80 s [genvalidity-sydtest] equivalentOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:47)
  1288. 53.80 s [genvalidity-sydtest] equivalent (src/Test/Syd/Validity/Functions/Equivalence.hs:54)
  1289. 53.80 s [genvalidity-sydtest] equivalentOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:73)
  1290. 53.80 s [genvalidity-sydtest] equivalent2 (src/Test/Syd/Validity/Functions/Equivalence.hs:81)
  1291. 53.80 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:100)
  1292. 53.80 s [genvalidity-sydtest] equivalentWhenFirstSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:119)
  1293. 53.80 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:111)
  1294. 53.81 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:129)
  1295. 53.81 s [genvalidity-sydtest] equivalentWhenFirstSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:162)
  1296. 53.81 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:147)
  1297. 53.81 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:172)
  1298. 53.81 s [genvalidity-sydtest] equivalentWhenSecondSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:191)
  1299. 53.81 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:183)
  1300. 53.81 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:201)
  1301. 53.81 s [genvalidity-sydtest] equivalentWhenSecondSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:234)
  1302. 53.81 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:219)
  1303. 53.81 s [genvalidity-sydtest] equivalentWhenSucceedOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:244)
  1304. 53.81 s [genvalidity-sydtest] equivalentWhenSucceed (src/Test/Syd/Validity/Functions/Equivalence.hs:258)
  1305. 53.81 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:266)
  1306. 53.81 s [genvalidity-sydtest] equivalentWhenSucceedOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:276)
  1307. 53.81 s [genvalidity-sydtest] equivalentWhenSucceed2 (src/Test/Syd/Validity/Functions/Equivalence.hs:312)
  1308. 53.81 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:297)
  1309. 53.81 s [genvalidity-sydtest] equivalentOnGens3 (src/Test/Syd/Validity/Functions/Equivalence.hs:322)
  1310. 53.81 s [genvalidity-sydtest] equivalent3 (src/Test/Syd/Validity/Functions/Equivalence.hs:338)
  1311. 53.81 s [genvalidity-sydtest] equivalentOnArbitrary3 (src/Test/Syd/Validity/Functions/Equivalence.hs:353)
  1312. 53.81 s [genvalidity-sydtest] 38% ( 7 / 18) in 'Test.Syd.Validity.Functions.CanFail'
  1313. 53.81 s [genvalidity-sydtest] Missing documentation for:
  1314. 53.81 s [genvalidity-sydtest] Module header
  1315. 53.81 s [genvalidity-sydtest] succeedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:77)
  1316. 53.81 s [genvalidity-sydtest] succeeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:84)
  1317. 53.81 s [genvalidity-sydtest] succeedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:90)
  1318. 53.81 s [genvalidity-sydtest] failsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:100)
  1319. 53.81 s [genvalidity-sydtest] validIfSucceedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:109)
  1320. 53.81 s [genvalidity-sydtest] validIfSucceeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:119)
  1321. 53.81 s [genvalidity-sydtest] validIfSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:125)
  1322. 53.81 s [genvalidity-sydtest] validIfSucceedsOnGens3 (src/Test/Syd/Validity/Functions/CanFail.hs:133)
  1323. 53.81 s [genvalidity-sydtest] validIfSucceeds3 (src/Test/Syd/Validity/Functions/CanFail.hs:152)
  1324. 53.81 s [genvalidity-sydtest] validIfSucceedsOnArbitrary3 (src/Test/Syd/Validity/Functions/CanFail.hs:158)
  1325. 53.81 s [genvalidity-sydtest] 100% ( 6 / 6) in 'Test.Syd.Validity.Functions'
  1326. 53.82 s [genvalidity-sydtest] 54% ( 80 /146) in 'Test.Syd.Validity.Property'
  1327. 53.82 s [genvalidity-sydtest] Missing documentation for:
  1328. 53.82 s [genvalidity-sydtest] Module header
  1329. 53.82 s [genvalidity-sydtest] forAllValid (src/Test/Syd/Validity/Property/Utils.hs:15)
  1330. 53.82 s [genvalidity-sydtest] producesValidsOnGens2 (src/Test/Syd/Validity/Functions/Validity.hs:51)
  1331. 53.82 s [genvalidity-sydtest] producesValid2 (src/Test/Syd/Validity/Functions/Validity.hs:58)
  1332. 53.82 s [genvalidity-sydtest] producesValidsOnArbitrary2 (src/Test/Syd/Validity/Functions/Validity.hs:64)
  1333. 53.82 s [genvalidity-sydtest] producesValidsOnGens3 (src/Test/Syd/Validity/Functions/Validity.hs:72)
  1334. 53.82 s [genvalidity-sydtest] producesValid3 (src/Test/Syd/Validity/Functions/Validity.hs:87)
  1335. 53.82 s [genvalidity-sydtest] producesValidsOnArbitrary3 (src/Test/Syd/Validity/Functions/Validity.hs:101)
  1336. 53.82 s [genvalidity-sydtest] succeedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:77)
  1337. 53.82 s [genvalidity-sydtest] succeeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:84)
  1338. 53.82 s [genvalidity-sydtest] succeedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:90)
  1339. 53.82 s [genvalidity-sydtest] failsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:100)
  1340. 53.82 s [genvalidity-sydtest] validIfSucceedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:109)
  1341. 53.82 s [genvalidity-sydtest] validIfSucceeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:119)
  1342. 53.82 s [genvalidity-sydtest] validIfSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:125)
  1343. 53.82 s [genvalidity-sydtest] validIfSucceedsOnGens3 (src/Test/Syd/Validity/Functions/CanFail.hs:133)
  1344. 53.82 s [genvalidity-sydtest] validIfSucceeds3 (src/Test/Syd/Validity/Functions/CanFail.hs:152)
  1345. 53.82 s [genvalidity-sydtest] validIfSucceedsOnArbitrary3 (src/Test/Syd/Validity/Functions/CanFail.hs:158)
  1346. 53.82 s [genvalidity-sydtest] equivalentOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:47)
  1347. 53.82 s [genvalidity-sydtest] equivalent (src/Test/Syd/Validity/Functions/Equivalence.hs:54)
  1348. 53.82 s [genvalidity-sydtest] equivalentOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:73)
  1349. 53.82 s [genvalidity-sydtest] equivalent2 (src/Test/Syd/Validity/Functions/Equivalence.hs:81)
  1350. 53.82 s [genvalidity-sydtest] equivalentOnGens3 (src/Test/Syd/Validity/Functions/Equivalence.hs:322)
  1351. 53.82 s [genvalidity-sydtest] equivalent3 (src/Test/Syd/Validity/Functions/Equivalence.hs:338)
  1352. 53.82 s [genvalidity-sydtest] equivalentOnArbitrary3 (src/Test/Syd/Validity/Functions/Equivalence.hs:353)
  1353. 53.82 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:100)
  1354. 53.82 s [genvalidity-sydtest] equivalentWhenFirstSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:119)
  1355. 53.82 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:111)
  1356. 53.82 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:129)
  1357. 53.82 s [genvalidity-sydtest] equivalentWhenFirstSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:162)
  1358. 53.82 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:147)
  1359. 53.82 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:172)
  1360. 53.82 s [genvalidity-sydtest] equivalentWhenSecondSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:191)
  1361. 53.82 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:183)
  1362. 53.82 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:201)
  1363. 53.82 s [genvalidity-sydtest] equivalentWhenSecondSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:234)
  1364. 53.82 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:219)
  1365. 53.82 s [genvalidity-sydtest] equivalentWhenSucceedOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:244)
  1366. 53.82 s [genvalidity-sydtest] equivalentWhenSucceed (src/Test/Syd/Validity/Functions/Equivalence.hs:258)
  1367. 53.82 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:266)
  1368. 53.82 s [genvalidity-sydtest] equivalentWhenSucceedOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:276)
  1369. 53.82 s [genvalidity-sydtest] equivalentWhenSucceed2 (src/Test/Syd/Validity/Functions/Equivalence.hs:312)
  1370. 53.82 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:297)
  1371. 53.82 s [genvalidity-sydtest] inverseFunctionsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:28)
  1372. 53.82 s [genvalidity-sydtest] inverseFunctions (src/Test/Syd/Validity/Functions/Inverse.hs:33)
  1373. 53.82 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:49)
  1374. 53.82 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:60)
  1375. 53.82 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:68)
  1376. 53.82 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:78)
  1377. 53.82 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:89)
  1378. 53.82 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:97)
  1379. 53.82 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:107)
  1380. 53.82 s [genvalidity-sydtest] inverseFunctionsIfSucceed (src/Test/Syd/Validity/Functions/Inverse.hs:120)
  1381. 53.82 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:128)
  1382. 53.82 s [genvalidity-sydtest] idempotentOnGen (src/Test/Syd/Validity/Functions/Idempotence.hs:17)
  1383. 53.82 s [genvalidity-sydtest] idempotent (src/Test/Syd/Validity/Functions/Idempotence.hs:20)
  1384. 53.82 s [genvalidity-sydtest] reflexivityOnGen (src/Test/Syd/Validity/Relations/Reflexivity.hs:32)
  1385. 53.82 s [genvalidity-sydtest] transitivityOnGens (src/Test/Syd/Validity/Relations/Transitivity.hs:35)
  1386. 53.83 s [genvalidity-sydtest] antisymmetryOnGensWithEquality (src/Test/Syd/Validity/Relations/Antisymmetry.hs:43)
  1387. 53.83 s [genvalidity-sydtest] antisymmetryOnGens (src/Test/Syd/Validity/Relations/Antisymmetry.hs:54)
  1388. 53.83 s [genvalidity-sydtest] antireflexivityOnGen (src/Test/Syd/Validity/Relations/Antireflexivity.hs:32)
  1389. 53.83 s [genvalidity-sydtest] symmetryOnGens (src/Test/Syd/Validity/Relations/Symmetry.hs:34)
  1390. 53.83 s [genvalidity-sydtest] leftIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:54)
  1391. 53.83 s [genvalidity-sydtest] leftIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:66)
  1392. 53.83 s [genvalidity-sydtest] rightIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:111)
  1393. 53.83 s [genvalidity-sydtest] rightIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:123)
  1394. 53.83 s [genvalidity-sydtest] Warning: 'Spec' is out of scope.
  1395. 53.83 s [genvalidity-sydtest] If you qualify the identifier, haddock can try to link it anyway.
  1396. 53.83 s [genvalidity-sydtest] 14% ( 1 / 7) in 'Test.Syd.Validity.Utils'
  1397. 53.83 s [genvalidity-sydtest] Missing documentation for:
  1398. 53.83 s [genvalidity-sydtest] nameOf (src/Test/Syd/Validity/Utils.hs:27)
  1399. 53.83 s [genvalidity-sydtest] genDescr (src/Test/Syd/Validity/Utils.hs:38)
  1400. 53.83 s [genvalidity-sydtest] binRelStr (src/Test/Syd/Validity/Utils.hs:45)
  1401. 53.83 s [genvalidity-sydtest] shouldBeValid (src/Test/Syd/Validity/Property/Utils.hs:24)
  1402. 53.83 s [genvalidity-sydtest] shouldBeInvalid (src/Test/Syd/Validity/Property/Utils.hs:40)
  1403. 53.83 s [genvalidity-sydtest] Anon (src/Test/Syd/Validity/Utils.hs:49)
  1404. 53.83 s [genvalidity-sydtest] 45% ( 5 / 11) in 'Test.Syd.Validity.Shrinking'
  1405. 53.83 s [genvalidity-sydtest] Missing documentation for:
  1406. 53.83 s [genvalidity-sydtest] shrinkValidSpec (src/Test/Syd/Validity/Shrinking.hs:35)
  1407. 53.83 s [genvalidity-sydtest] shrinkValidSpecWithLimit (src/Test/Syd/Validity/Shrinking.hs:48)
  1408. 53.83 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid (src/Test/Syd/Validity/Shrinking.hs:66)
  1409. 53.83 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValidWithLimit (src/Test/Syd/Validity/Shrinking.hs:74)
  1410. 53.83 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItself (src/Test/Syd/Validity/Shrinking.hs:81)
  1411. 53.83 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItselfWithLimit (src/Test/Syd/Validity/Shrinking.hs:89)
  1412. 53.83 s [genvalidity-sydtest] 100% ( 7 / 7) in 'Test.Syd.Validity.Show'
  1413. 53.83 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Ord'
  1414. 53.83 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Monoid'
  1415. 53.83 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Monad'
  1416. 53.83 s [genvalidity-sydtest] 100% ( 5 / 5) in 'Test.Syd.Validity.GenValidity'
  1417. 53.83 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Functor'
  1418. 53.83 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Eq'
  1419. 53.83 s [genvalidity-sydtest] 100% ( 3 / 3) in 'Test.Syd.Validity.Arbitrary'
  1420. 53.84 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Applicative'
  1421. 53.84 s [genvalidity-sydtest] Warning: 'Spec' is out of scope.
  1422. 53.84 s [genvalidity-sydtest] If you qualify the identifier, haddock can try to link it anyway.
  1423. 53.84 s [genvalidity-sydtest] 63% (122 /192) in 'Test.Syd.Validity'
  1424. 53.84 s [genvalidity-sydtest] Missing documentation for:
  1425. 53.84 s [genvalidity-sydtest] forAllValid (src/Test/Syd/Validity/Property/Utils.hs:15)
  1426. 53.84 s [genvalidity-sydtest] shouldBeValid (src/Test/Syd/Validity/Property/Utils.hs:24)
  1427. 53.85 s [genvalidity-sydtest] shouldBeInvalid (src/Test/Syd/Validity/Property/Utils.hs:40)
  1428. 53.85 s [genvalidity-sydtest] shrinkValidSpec (src/Test/Syd/Validity/Shrinking.hs:35)
  1429. 53.85 s [genvalidity-sydtest] shrinkValidSpecWithLimit (src/Test/Syd/Validity/Shrinking.hs:48)
  1430. 53.85 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid (src/Test/Syd/Validity/Shrinking.hs:66)
  1431. 53.85 s [genvalidity-sydtest] producesValidsOnGens2 (src/Test/Syd/Validity/Functions/Validity.hs:51)
  1432. 53.85 s [genvalidity-sydtest] producesValid2 (src/Test/Syd/Validity/Functions/Validity.hs:58)
  1433. 53.85 s [genvalidity-sydtest] producesValidsOnArbitrary2 (src/Test/Syd/Validity/Functions/Validity.hs:64)
  1434. 53.85 s [genvalidity-sydtest] producesValidsOnGens3 (src/Test/Syd/Validity/Functions/Validity.hs:72)
  1435. 53.85 s [genvalidity-sydtest] producesValid3 (src/Test/Syd/Validity/Functions/Validity.hs:87)
  1436. 53.85 s [genvalidity-sydtest] producesValidsOnArbitrary3 (src/Test/Syd/Validity/Functions/Validity.hs:101)
  1437. 53.85 s [genvalidity-sydtest] succeedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:77)
  1438. 53.85 s [genvalidity-sydtest] succeeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:84)
  1439. 53.85 s [genvalidity-sydtest] succeedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:90)
  1440. 53.85 s [genvalidity-sydtest] failsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:100)
  1441. 53.85 s [genvalidity-sydtest] validIfSucceedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:109)
  1442. 53.85 s [genvalidity-sydtest] validIfSucceeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:119)
  1443. 53.85 s [genvalidity-sydtest] validIfSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:125)
  1444. 53.85 s [genvalidity-sydtest] validIfSucceedsOnGens3 (src/Test/Syd/Validity/Functions/CanFail.hs:133)
  1445. 53.85 s [genvalidity-sydtest] validIfSucceeds3 (src/Test/Syd/Validity/Functions/CanFail.hs:152)
  1446. 53.85 s [genvalidity-sydtest] validIfSucceedsOnArbitrary3 (src/Test/Syd/Validity/Functions/CanFail.hs:158)
  1447. 53.85 s [genvalidity-sydtest] equivalentOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:47)
  1448. 53.85 s [genvalidity-sydtest] equivalent (src/Test/Syd/Validity/Functions/Equivalence.hs:54)
  1449. 53.85 s [genvalidity-sydtest] equivalentOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:73)
  1450. 53.85 s [genvalidity-sydtest] equivalent2 (src/Test/Syd/Validity/Functions/Equivalence.hs:81)
  1451. 53.85 s [genvalidity-sydtest] equivalentOnGens3 (src/Test/Syd/Validity/Functions/Equivalence.hs:322)
  1452. 53.85 s [genvalidity-sydtest] equivalent3 (src/Test/Syd/Validity/Functions/Equivalence.hs:338)
  1453. 53.85 s [genvalidity-sydtest] equivalentOnArbitrary3 (src/Test/Syd/Validity/Functions/Equivalence.hs:353)
  1454. 53.85 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:100)
  1455. 53.85 s [genvalidity-sydtest] equivalentWhenFirstSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:119)
  1456. 53.85 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:111)
  1457. 53.85 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:129)
  1458. 53.85 s [genvalidity-sydtest] equivalentWhenFirstSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:162)
  1459. 53.85 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:147)
  1460. 53.85 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:172)
  1461. 53.85 s [genvalidity-sydtest] equivalentWhenSecondSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:191)
  1462. 53.85 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:183)
  1463. 53.85 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:201)
  1464. 53.85 s [genvalidity-sydtest] equivalentWhenSecondSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:234)
  1465. 53.85 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:219)
  1466. 53.85 s [genvalidity-sydtest] equivalentWhenSucceedOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:244)
  1467. 53.85 s [genvalidity-sydtest] equivalentWhenSucceed (src/Test/Syd/Validity/Functions/Equivalence.hs:258)
  1468. 53.85 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:266)
  1469. 53.85 s [genvalidity-sydtest] equivalentWhenSucceedOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:276)
  1470. 53.85 s [genvalidity-sydtest] equivalentWhenSucceed2 (src/Test/Syd/Validity/Functions/Equivalence.hs:312)
  1471. 53.85 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:297)
  1472. 53.85 s [genvalidity-sydtest] inverseFunctionsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:28)
  1473. 53.85 s [genvalidity-sydtest] inverseFunctions (src/Test/Syd/Validity/Functions/Inverse.hs:33)
  1474. 53.85 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:49)
  1475. 53.85 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:60)
  1476. 53.85 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:68)
  1477. 53.85 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:78)
  1478. 53.85 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:89)
  1479. 53.85 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:97)
  1480. 53.85 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:107)
  1481. 53.85 s [genvalidity-sydtest] inverseFunctionsIfSucceed (src/Test/Syd/Validity/Functions/Inverse.hs:120)
  1482. 53.85 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:128)
  1483. 53.85 s [genvalidity-sydtest] idempotentOnGen (src/Test/Syd/Validity/Functions/Idempotence.hs:17)
  1484. 53.85 s [genvalidity-sydtest] idempotent (src/Test/Syd/Validity/Functions/Idempotence.hs:20)
  1485. 53.85 s [genvalidity-sydtest] reflexivityOnGen (src/Test/Syd/Validity/Relations/Reflexivity.hs:32)
  1486. 53.86 s [genvalidity-sydtest] transitivityOnGens (src/Test/Syd/Validity/Relations/Transitivity.hs:35)
  1487. 53.86 s [genvalidity-sydtest] antisymmetryOnGensWithEquality (src/Test/Syd/Validity/Relations/Antisymmetry.hs:43)
  1488. 53.86 s [genvalidity-sydtest] antisymmetryOnGens (src/Test/Syd/Validity/Relations/Antisymmetry.hs:54)
  1489. 53.86 s [genvalidity-sydtest] antireflexivityOnGen (src/Test/Syd/Validity/Relations/Antireflexivity.hs:32)
  1490. 53.86 s [genvalidity-sydtest] symmetryOnGens (src/Test/Syd/Validity/Relations/Symmetry.hs:34)
  1491. 53.86 s [genvalidity-sydtest] leftIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:54)
  1492. 53.86 s [genvalidity-sydtest] leftIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:66)
  1493. 53.86 s [genvalidity-sydtest] rightIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:111)
  1494. 53.86 s [genvalidity-sydtest] rightIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:123)
  1495. 71.85 s [genvalidity-sydtest] Documentation created: dist/doc/html/genvalidity-sydtest/,
  1496. 71.88 s [genvalidity-sydtest] dist/doc/html/genvalidity-sydtest/genvalidity-sydtest.txt
  1497. 71.99 s [genvalidity-sydtest] Preprocessing test suite 'genvalidity-sydtest-test' for genvalidity-sydtest-1.0.1.0...
  1498. 72.01 s [genvalidity-sydtest] Phase: installPhase
  1499. 72.28 s [genvalidity-sydtest] Installing library in /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  1500. 74.03 s [genvalidity-sydtest] Phase: fixupPhase
  1501. 74.07 s [genvalidity-sydtest] shrinking RPATHs of ELF executables and libraries in /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0
  1502. 74.10 s [genvalidity-sydtest] shrinking /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/libHSgenvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL-ghc9.10.3.so
  1503. 74.14 s [genvalidity-sydtest] checking for references to /build/ in /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0...
  1504. 74.22 s [genvalidity-sydtest] patching script interpreter paths in /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0
  1505. 74.24 s [genvalidity-sydtest] stripping (with command strip and flags -S -p) in /nix/store/a6gpqdh981c10bjsj72x68bjb34djgnm-genvalidity-sydtest-1.0.1.0/lib
  1506. 74.65 s [genvalidity-sydtest] shrinking RPATHs of ELF executables and libraries in /nix/store/nh7n9zkq3pmndkqv40aqvvvh29rkjija-genvalidity-sydtest-1.0.1.0-doc
  1507. 74.68 s [genvalidity-sydtest] checking for references to /build/ in /nix/store/nh7n9zkq3pmndkqv40aqvvvh29rkjija-genvalidity-sydtest-1.0.1.0-doc...
  1508. 74.75 s [genvalidity-sydtest] patching script interpreter paths in /nix/store/nh7n9zkq3pmndkqv40aqvvvh29rkjija-genvalidity-sydtest-1.0.1.0-doc
  1509. 75.16 s Progress: 2 of 8 built (1 building)
  1510. 85.74 s [really-safe-money] [ 7 of 12] Compiling Money.MultiAmount ( src/Money/MultiAmount.hs, dist/build/Money/MultiAmount.o, dist/build/Money/MultiAmount.dyn_o )
  1511. 85.79 s [really-safe-money] mutation: instrumenting Money.AmountOf
  1512. 85.81 s [really-safe-money] mutation: instrumenting Money.MultiAmount
  1513. 85.81 s [really-safe-money] mutation: instrumenting Money.Account
  1514. 86.85 s [really-safe-money] [ 8 of 12] Compiling Money.AmountOf ( src/Money/AmountOf.hs, dist/build/Money/AmountOf.o, dist/build/Money/AmountOf.dyn_o )
  1515. 86.85 s [really-safe-money] [ 9 of 12] Compiling Money.Account ( src/Money/Account.hs, dist/build/Money/Account.o, dist/build/Money/Account.dyn_o )
  1516. 87.13 s [really-safe-money] [10 of 12] Compiling Money.MultiAccount ( src/Money/MultiAccount.hs, dist/build/Money/MultiAccount.o, dist/build/Money/MultiAccount.dyn_o )
  1517. 87.15 s [really-safe-money] mutation: instrumenting Money.AccountOf
  1518. 87.16 s [really-safe-money] mutation: instrumenting Money.MultiAccount
  1519. 87.97 s [really-safe-money] [11 of 12] Compiling Money.AccountOf ( src/Money/AccountOf.hs, dist/build/Money/AccountOf.o, dist/build/Money/AccountOf.dyn_o )
  1520. 87.97 s [really-safe-money] [12 of 12] Compiling Paths_really_safe_money ( dist/build/autogen/Paths_really_safe_money.hs, dist/build/Paths_really_safe_money.o, dist/build/Paths_really_safe_money.dyn_o )
  1521. 88.91 s [really-safe-money] [ 1 of 12] Compiling Numeric.DecimalLiteral ( src/Numeric/DecimalLiteral.hs, dist/build/Numeric/DecimalLiteral.p_o )
  1522. 89.11 s [really-safe-money] mutation: instrumenting Numeric.DecimalLiteral
  1523. 93.14 s [really-safe-money] [ 2 of 12] Compiling Money.QuantisationFactor ( src/Money/QuantisationFactor.hs, dist/build/Money/QuantisationFactor.p_o )
  1524. 93.16 s [really-safe-money] mutation: instrumenting Money.QuantisationFactor
  1525. 93.86 s [really-safe-money] [ 3 of 12] Compiling Money.Currency ( src/Money/Currency.hs, dist/build/Money/Currency.p_o )
  1526. 93.86 s [really-safe-money] mutation: instrumenting Money.ConversionRate
  1527. 93.86 s [really-safe-money] mutation: instrumenting Money.Currency
  1528. 94.42 s [really-safe-money] mutation: instrumenting Money.ConversionRateOf
  1529. 94.48 s [really-safe-money] mutation: instrumenting Money.Amount
  1530. 94.95 s [really-safe-money] [ 4 of 12] Compiling Money.ConversionRate ( src/Money/ConversionRate.hs, dist/build/Money/ConversionRate.p_o )
  1531. 94.95 s [really-safe-money] [ 5 of 12] Compiling Money.ConversionRateOf ( src/Money/ConversionRateOf.hs, dist/build/Money/ConversionRateOf.p_o )
  1532. 94.95 s [really-safe-money] [ 6 of 12] Compiling Money.Amount ( src/Money/Amount.hs, dist/build/Money/Amount.p_o )
  1533. 147.46 s [really-safe-money] [ 7 of 12] Compiling Money.MultiAmount ( src/Money/MultiAmount.hs, dist/build/Money/MultiAmount.p_o )
  1534. 147.48 s [really-safe-money] mutation: instrumenting Money.Account
  1535. 147.50 s [really-safe-money] mutation: instrumenting Money.MultiAmount
  1536. 147.50 s [really-safe-money] mutation: instrumenting Money.AmountOf
  1537. 148.28 s [really-safe-money] [ 8 of 12] Compiling Money.AmountOf ( src/Money/AmountOf.hs, dist/build/Money/AmountOf.p_o )
  1538. 148.28 s [really-safe-money] [ 9 of 12] Compiling Money.Account ( src/Money/Account.hs, dist/build/Money/Account.p_o )
  1539. 148.47 s [really-safe-money] [10 of 12] Compiling Money.MultiAccount ( src/Money/MultiAccount.hs, dist/build/Money/MultiAccount.p_o )
  1540. 148.48 s [really-safe-money] mutation: instrumenting Money.AccountOf
  1541. 148.49 s [really-safe-money] mutation: instrumenting Money.MultiAccount
  1542. 149.14 s [really-safe-money] [11 of 12] Compiling Money.AccountOf ( src/Money/AccountOf.hs, dist/build/Money/AccountOf.p_o )
  1543. 149.14 s [really-safe-money] [12 of 12] Compiling Paths_really_safe_money ( dist/build/autogen/Paths_really_safe_money.hs, dist/build/Paths_really_safe_money.p_o )
  1544. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/Account.dyn_o'
  1545. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/AccountOf.dyn_o'
  1546. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/Amount.dyn_o'
  1547. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/AmountOf.dyn_o'
  1548. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/ConversionRate.dyn_o'
  1549. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/ConversionRateOf.dyn_o'
  1550. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/Currency.dyn_o'
  1551. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/MultiAccount.dyn_o'
  1552. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/MultiAmount.dyn_o'
  1553. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Money/QuantisationFactor.dyn_o'
  1554. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Numeric/DecimalLiteral.dyn_o'
  1555. 149.90 s [really-safe-money] Warning: ignoring unrecognised input `dist/build/Paths_really_safe_money.dyn_o'
  1556. 151.42 s [really-safe-money] mutation-nix: manifest output at /nix/store/f6chm4bh9gb2xbgl6a2rvi5bdvzdxiq9-really-safe-money-0.0.0.0-manifest:
  1557. 151.42 s [really-safe-money] total 224
  1558. 151.42 s [really-safe-money] drwxr-xr-x 2 nixbld nixbld 4096 May 11 19:30 .
  1559. 151.42 s [really-safe-money] drwxrwxr-t 210 nobody nixbld 24576 May 11 19:28 ..
  1560. 151.42 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 22147 May 11 19:31 Money.Account.json
  1561. 151.42 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 2 May 11 19:31 Money.AccountOf.json
  1562. 151.42 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 49349 May 11 19:30 Money.Amount.json
  1563. 151.42 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 2 May 11 19:31 Money.AmountOf.json
  1564. 151.43 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 7642 May 11 19:30 Money.ConversionRate.json
  1565. 151.43 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 2 May 11 19:30 Money.ConversionRateOf.json
  1566. 151.43 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 2 May 11 19:30 Money.Currency.json
  1567. 151.43 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 8130 May 11 19:31 Money.MultiAccount.json
  1568. 151.43 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 10713 May 11 19:31 Money.MultiAmount.json
  1569. 151.43 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 13422 May 11 19:30 Money.QuantisationFactor.json
  1570. 151.43 s [really-safe-money] -rw-r--r-- 1 nixbld nixbld 56802 May 11 19:30 Numeric.DecimalLiteral.json
  1571. 151.43 s [really-safe-money] buildPhase completed in 2 minutes 27 seconds
  1572. 151.43 s [really-safe-money] Phase: haddockPhase
  1573. 151.44 s [really-safe-money] Phase: installPhase
  1574. 151.49 s [really-safe-money] Installing library in /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1575. 154.26 s [really-safe-money] Phase: fixupPhase
  1576. 154.28 s [really-safe-money] shrinking RPATHs of ELF executables and libraries in /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0
  1577. 154.30 s [really-safe-money] shrinking /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/libHSreally-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i-ghc9.10.3.so
  1578. 154.36 s [really-safe-money] checking for references to /build/ in /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0...
  1579. 154.40 s [really-safe-money] patching script interpreter paths in /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0
  1580. 154.41 s [really-safe-money] stripping (with command strip and flags -S -p) in /nix/store/dphy9rfz94wmv5pwylmwvf42hi96xknx-really-safe-money-0.0.0.0/lib
  1581. 156.72 s [really-safe-money] shrinking RPATHs of ELF executables and libraries in /nix/store/f6chm4bh9gb2xbgl6a2rvi5bdvzdxiq9-really-safe-money-0.0.0.0-manifest
  1582. 156.72 s [really-safe-money] checking for references to /build/ in /nix/store/f6chm4bh9gb2xbgl6a2rvi5bdvzdxiq9-really-safe-money-0.0.0.0-manifest...
  1583. 156.75 s [really-safe-money] patching script interpreter paths in /nix/store/f6chm4bh9gb2xbgl6a2rvi5bdvzdxiq9-really-safe-money-0.0.0.0-manifest
  1584. 156.95 s Progress: 3 of 8 built
  1585. 157.00 s Building really-safe-money-gen-source
  1586. 157.32 s [really-safe-money-gen-source] Phase: setupCompilerEnvironmentPhase
  1587. 157.33 s [really-safe-money-gen-source] Build with /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3.
  1588. 157.94 s [really-safe-money-gen-source] Phase: unpackPhase
  1589. 157.95 s [really-safe-money-gen-source] unpacking source archive /nix/store/igm3hbdpcwgfbdx9yjyf6d68w1ifih08-really-safe-money-gen
  1590. 157.98 s [really-safe-money-gen-source] source root is really-safe-money-gen
  1591. 158.00 s [really-safe-money-gen-source] Phase: patchPhase
  1592. 158.02 s [really-safe-money-gen-source] Phase: compileBuildDriverPhase
  1593. 158.02 s [really-safe-money-gen-source] setupCompileFlags: -package-db=/build/tmp.fq0cm0Mz84/setup-package.conf.d -threaded
  1594. 158.09 s [really-safe-money-gen-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.fq0cm0Mz84/Main.o )
  1595. 158.15 s [really-safe-money-gen-source] [2 of 2] Linking Setup
  1596. 159.69 s [really-safe-money-gen-source] Phase: updateAutotoolsGnuConfigScriptsPhase
  1597. 159.72 s [really-safe-money-gen-source] Phase: configurePhase
  1598. 159.73 s [really-safe-money-gen-source] configureFlags: --verbose --prefix=/nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/share/doc/really-safe-money-gen-0.0.0.0 --with-gcc=gcc --package-db=/build/tmp.fq0cm0Mz84/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 --disable-tests --enable-benchmarks --enable-library-vanilla --disable-library-for-ghci --enable-split-sections --enable-library-stripping --enable-executable-stripping --ghc-option=-haddock --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Werror --extra-lib-dirs=/nix/store/45z5ja3qb26d66l44gkni38r7bk36fnh-ncurses-6.5/lib --extra-lib-dirs=/nix/store/6rwsi7k52chjbpxr74khmzdr5hzlc4bb-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/5nklmmj1ypr5vpkg7rxna1ywyzl8lca8-elfutils-0.194/lib --extra-lib-dirs=/nix/store/3xq68v4gdh0pmkxdwxy76bh36w99nb5q-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/kw1l2rrslifbdm7l8blgmaf7xidh0n5q-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/lib
  1599. 159.74 s [really-safe-money-gen-source] Using Parsec parser
  1600. 159.74 s [really-safe-money-gen-source] Configuring really-safe-money-gen-0.0.0.0...
  1601. 160.65 s [really-safe-money-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  1602. 160.65 s [really-safe-money-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  1603. 160.65 s [really-safe-money-gen-source] Dependency genvalidity: using genvalidity-1.1.1.0
  1604. 160.65 s [really-safe-money-gen-source] Dependency genvalidity-containers: using genvalidity-containers-1.0.0.2
  1605. 160.65 s [really-safe-money-gen-source] Dependency really-safe-money: using really-safe-money-0.0.0.0
  1606. 160.65 s [really-safe-money-gen-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  1607. 160.65 s [really-safe-money-gen-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  1608. 160.65 s [really-safe-money-gen-source] Dependency criterion: using criterion-1.6.4.0
  1609. 160.65 s [really-safe-money-gen-source] Dependency deepseq: using deepseq-1.5.0.0
  1610. 160.65 s [really-safe-money-gen-source] Dependency genvalidity: using genvalidity-1.1.1.0
  1611. 160.65 s [really-safe-money-gen-source] Dependency genvalidity-criterion: using genvalidity-criterion-1.1.0.0
  1612. 160.65 s [really-safe-money-gen-source] Dependency genvalidity-vector: using genvalidity-vector-1.0.0.0
  1613. 160.65 s [really-safe-money-gen-source] Dependency really-safe-money: using really-safe-money-0.0.0.0
  1614. 160.65 s [really-safe-money-gen-source] Dependency really-safe-money-gen: using really-safe-money-gen-0.0.0.0
  1615. 160.65 s [really-safe-money-gen-source] Dependency vector: using vector-0.13.2.0
  1616. 160.65 s [really-safe-money-gen-source] Source component graph:
  1617. 160.65 s [really-safe-money-gen-source] component lib
  1618. 160.65 s [really-safe-money-gen-source] component bench:really-safe-money-bench dependency lib
  1619. 160.65 s [really-safe-money-gen-source] Configured component graph:
  1620. 160.65 s [really-safe-money-gen-source] component really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3
  1621. 160.65 s [really-safe-money-gen-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1622. 160.65 s [really-safe-money-gen-source] include base-4.20.2.0-69bc
  1623. 160.66 s [really-safe-money-gen-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1624. 160.66 s [really-safe-money-gen-source] include genvalidity-containers-1.0.0.2-2lzNb8Y5dc2IJ6H0tDNeRX
  1625. 160.66 s [really-safe-money-gen-source] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1626. 160.66 s [really-safe-money-gen-source] component really-safe-money-gen-0.0.0.0-Kqp1kRntOUm3bflX8ux7gt-really-safe-money-bench
  1627. 160.66 s [really-safe-money-gen-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1628. 160.66 s [really-safe-money-gen-source] include base-4.20.2.0-69bc
  1629. 160.66 s [really-safe-money-gen-source] include criterion-1.6.4.0-1IXCTN3bVBF9eRccf6PMlJ
  1630. 160.66 s [really-safe-money-gen-source] include deepseq-1.5.0.0-8053
  1631. 160.66 s [really-safe-money-gen-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1632. 160.66 s [really-safe-money-gen-source] include genvalidity-criterion-1.1.0.0-3ekXnHsrywZ9KzDJ2FwGPW
  1633. 160.66 s [really-safe-money-gen-source] include genvalidity-vector-1.0.0.0-9MA0WAllRyX6yuBtKHvMqx
  1634. 160.66 s [really-safe-money-gen-source] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1635. 160.66 s [really-safe-money-gen-source] include really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3
  1636. 160.66 s [really-safe-money-gen-source] include vector-0.13.2.0-8h07OZ6cN9Hc7tYmpamTf
  1637. 160.66 s [really-safe-money-gen-source] Linked component graph:
  1638. 160.66 s [really-safe-money-gen-source] unit really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3
  1639. 160.66 s [really-safe-money-gen-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1640. 160.66 s [really-safe-money-gen-source] include base-4.20.2.0-69bc
  1641. 160.66 s [really-safe-money-gen-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1642. 160.66 s [really-safe-money-gen-source] include genvalidity-containers-1.0.0.2-2lzNb8Y5dc2IJ6H0tDNeRX
  1643. 160.66 s [really-safe-money-gen-source] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1644. 160.66 s [really-safe-money-gen-source] Money.Account.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.Account.Gen,Money.AccountOf.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.AccountOf.Gen,Money.Amount.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.Amount.Gen,Money.AmountOf.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.AmountOf.Gen,Money.ConversionRate.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.ConversionRate.Gen,Money.ConversionRateOf.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.ConversionRateOf.Gen,Money.Currency.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.Currency.Gen,Money.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.Gen,Money.MultiAccount.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.MultiAccount.Gen,Money.MultiAmount.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.MultiAmount.Gen,Money.QuantisationFactor.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Money.QuantisationFactor.Gen,Numeric.DecimalLiteral.Gen=really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3:Numeric.DecimalLiteral.Gen
  1645. 160.66 s [really-safe-money-gen-source] unit really-safe-money-gen-0.0.0.0-Kqp1kRntOUm3bflX8ux7gt-really-safe-money-bench
  1646. 160.66 s [really-safe-money-gen-source] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1647. 160.66 s [really-safe-money-gen-source] include base-4.20.2.0-69bc
  1648. 160.66 s [really-safe-money-gen-source] include criterion-1.6.4.0-1IXCTN3bVBF9eRccf6PMlJ
  1649. 160.66 s [really-safe-money-gen-source] include deepseq-1.5.0.0-8053
  1650. 160.66 s [really-safe-money-gen-source] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1651. 160.66 s [really-safe-money-gen-source] include genvalidity-criterion-1.1.0.0-3ekXnHsrywZ9KzDJ2FwGPW
  1652. 160.66 s [really-safe-money-gen-source] include genvalidity-vector-1.0.0.0-9MA0WAllRyX6yuBtKHvMqx
  1653. 160.66 s [really-safe-money-gen-source] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1654. 160.66 s [really-safe-money-gen-source] include really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3
  1655. 160.66 s [really-safe-money-gen-source] include vector-0.13.2.0-8h07OZ6cN9Hc7tYmpamTf
  1656. 160.66 s [really-safe-money-gen-source] Ready component graph:
  1657. 160.66 s [really-safe-money-gen-source] definite really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3
  1658. 160.66 s [really-safe-money-gen-source] depends QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1659. 160.66 s [really-safe-money-gen-source] depends base-4.20.2.0-69bc
  1660. 160.66 s [really-safe-money-gen-source] depends genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1661. 160.66 s [really-safe-money-gen-source] depends genvalidity-containers-1.0.0.2-2lzNb8Y5dc2IJ6H0tDNeRX
  1662. 160.66 s [really-safe-money-gen-source] depends really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1663. 160.66 s [really-safe-money-gen-source] definite really-safe-money-gen-0.0.0.0-Kqp1kRntOUm3bflX8ux7gt-really-safe-money-bench
  1664. 160.66 s [really-safe-money-gen-source] depends QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1665. 160.66 s [really-safe-money-gen-source] depends base-4.20.2.0-69bc
  1666. 160.66 s [really-safe-money-gen-source] depends criterion-1.6.4.0-1IXCTN3bVBF9eRccf6PMlJ
  1667. 160.66 s [really-safe-money-gen-source] depends deepseq-1.5.0.0-8053
  1668. 160.66 s [really-safe-money-gen-source] depends genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1669. 160.66 s [really-safe-money-gen-source] depends genvalidity-criterion-1.1.0.0-3ekXnHsrywZ9KzDJ2FwGPW
  1670. 160.66 s [really-safe-money-gen-source] depends genvalidity-vector-1.0.0.0-9MA0WAllRyX6yuBtKHvMqx
  1671. 160.66 s [really-safe-money-gen-source] depends really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1672. 160.66 s [really-safe-money-gen-source] depends really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3
  1673. 160.66 s [really-safe-money-gen-source] depends vector-0.13.2.0-8h07OZ6cN9Hc7tYmpamTf
  1674. 160.66 s [really-safe-money-gen-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
  1675. 160.66 s [really-safe-money-gen-source] Using compiler: ghc-9.10.3
  1676. 160.66 s [really-safe-money-gen-source] Using install prefix:
  1677. 160.66 s [really-safe-money-gen-source] /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0
  1678. 160.66 s [really-safe-money-gen-source] Executables installed in:
  1679. 160.66 s [really-safe-money-gen-source] /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0/bin
  1680. 160.66 s [really-safe-money-gen-source] Libraries installed in:
  1681. 160.66 s [really-safe-money-gen-source] /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/really-safe-money-gen-0.0.0.0-ARgph81ogd28Lhs8h9ZVn3
  1682. 160.66 s [really-safe-money-gen-source] Dynamic Libraries installed in:
  1683. 160.66 s [really-safe-money-gen-source] /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151
  1684. 160.66 s [really-safe-money-gen-source] Private executables installed in:
  1685. 160.66 s [really-safe-money-gen-source] /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-c151/really-safe-money-gen-0.0.0.0
  1686. 160.66 s [really-safe-money-gen-source] Data files installed in:
  1687. 160.66 s [really-safe-money-gen-source] /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0/share/x86_64-linux-ghc-9.10.3-c151/really-safe-money-gen-0.0.0.0
  1688. 160.66 s [really-safe-money-gen-source] Documentation installed in: /share/doc/really-safe-money-gen-0.0.0.0
  1689. 160.66 s [really-safe-money-gen-source] Configuration files installed in:
  1690. 160.66 s [really-safe-money-gen-source] /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0/etc
  1691. 160.66 s [really-safe-money-gen-source] No alex found
  1692. 160.66 s [really-safe-money-gen-source] Using ar found on system at:
  1693. 160.66 s [really-safe-money-gen-source] /nix/store/hnan7l0v68sahyxbazz5y358prz253d1-binutils-wrapper-2.44/bin/ar
  1694. 160.66 s [really-safe-money-gen-source] No c2hs found
  1695. 160.66 s [really-safe-money-gen-source] No cpphs found
  1696. 160.66 s [really-safe-money-gen-source] No doctest found
  1697. 160.66 s [really-safe-money-gen-source] Using gcc version 14.3.0 given by user at:
  1698. 160.66 s [really-safe-money-gen-source] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/gcc
  1699. 160.66 s [really-safe-money-gen-source] Using ghc version 9.10.3 found on system at:
  1700. 160.66 s [really-safe-money-gen-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc
  1701. 160.66 s [really-safe-money-gen-source] Using ghc-pkg version 9.10.3 found on system at:
  1702. 160.66 s [really-safe-money-gen-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc-pkg-9.10.3
  1703. 160.66 s [really-safe-money-gen-source] No ghcjs found
  1704. 160.66 s [really-safe-money-gen-source] No ghcjs-pkg found
  1705. 160.66 s [really-safe-money-gen-source] No greencard found
  1706. 160.66 s [really-safe-money-gen-source] Using haddock version 2.31.1 found on system at:
  1707. 160.66 s [really-safe-money-gen-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/haddock-ghc-9.10.3
  1708. 160.66 s [really-safe-money-gen-source] No happy found
  1709. 160.66 s [really-safe-money-gen-source] Using haskell-suite found on system at: haskell-suite-dummy-location
  1710. 160.66 s [really-safe-money-gen-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  1711. 160.67 s [really-safe-money-gen-source] No hmake found
  1712. 160.67 s [really-safe-money-gen-source] Using hpc version 0.69 found on system at:
  1713. 160.67 s [really-safe-money-gen-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hpc-ghc-9.10.3
  1714. 160.67 s [really-safe-money-gen-source] Using hsc2hs version 0.68.10 found on system at:
  1715. 160.67 s [really-safe-money-gen-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  1716. 160.67 s [really-safe-money-gen-source] Using hscolour version 1.25 found on system at:
  1717. 160.67 s [really-safe-money-gen-source] /nix/store/4f97zghyhdx2dj13mir9002n11iljwc5-hscolour-1.25/bin/HsColour
  1718. 160.67 s [really-safe-money-gen-source] No jhc found
  1719. 160.67 s [really-safe-money-gen-source] Using ld found on system at:
  1720. 160.67 s [really-safe-money-gen-source] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/ld
  1721. 160.67 s [really-safe-money-gen-source] No pkg-config found
  1722. 160.67 s [really-safe-money-gen-source] Using runghc version 9.10.3 found on system at:
  1723. 160.67 s [really-safe-money-gen-source] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/runghc-9.10.3
  1724. 160.67 s [really-safe-money-gen-source] Using strip version 2.44 found on system at:
  1725. 160.67 s [really-safe-money-gen-source] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/strip
  1726. 160.67 s [really-safe-money-gen-source] Using tar found on system at:
  1727. 160.67 s [really-safe-money-gen-source] /nix/store/df3vxyq7lwf9l02h0wljsq0h3189rp75-gnutar-1.35/bin/tar
  1728. 160.67 s [really-safe-money-gen-source] No uhc found
  1729. 161.47 s [really-safe-money-gen-source] Phase: buildPhase
  1730. 161.48 s [really-safe-money-gen-source] Distribution quality errors:
  1731. 161.48 s [really-safe-money-gen-source] [no-syn-desc] No 'synopsis' or 'description' field.
  1732. 161.48 s [really-safe-money-gen-source] Distribution quality warnings:
  1733. 161.48 s [really-safe-money-gen-source] [no-category] No 'category' field.
  1734. 161.48 s [really-safe-money-gen-source] [no-maintainer] No 'maintainer' field.
  1735. 161.48 s [really-safe-money-gen-source] [all-rights-reserved] The 'license' is AllRightsReserved. Is that really what
  1736. 161.48 s [really-safe-money-gen-source] you want?
  1737. 161.48 s [really-safe-money-gen-source] [missing-upper-bounds] On library, these packages miss upper bounds:
  1738. 161.48 s [really-safe-money-gen-source] - QuickCheck
  1739. 161.48 s [really-safe-money-gen-source] - genvalidity
  1740. 161.49 s [really-safe-money-gen-source] - genvalidity-containers
  1741. 161.49 s [really-safe-money-gen-source] - really-safe-money
  1742. 161.49 s [really-safe-money-gen-source] Please add them. There is more information at https://pvp.haskell.org/
  1743. 161.49 s [really-safe-money-gen-source] Note: the public hackage server would reject this package.
  1744. 161.49 s [really-safe-money-gen-source] Building source dist for really-safe-money-gen-0.0.0.0...
  1745. 161.51 s [really-safe-money-gen-source] Source tarball created: dist/really-safe-money-gen-0.0.0.0.tar.gz
  1746. 161.51 s [really-safe-money-gen-source] Phase: haddockPhase
  1747. 161.52 s [really-safe-money-gen-source] Phase: installPhase
  1748. 161.54 s [really-safe-money-gen-source] Phase: fixupPhase
  1749. 161.58 s Progress: 4 of 7 built
  1750. 161.62 s Building really-safe-money-gen
  1751. 162.01 s [really-safe-money-gen] Phase: setupCompilerEnvironmentPhase
  1752. 162.01 s [really-safe-money-gen] Build with /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3.
  1753. 162.86 s [really-safe-money-gen] Phase: unpackPhase
  1754. 162.86 s [really-safe-money-gen] unpacking source archive /nix/store/fymhl39zk09m29hmhhg5jp7c54v0flg9-really-safe-money-gen-source-0.0.0.0/really-safe-money-gen-0.0.0.0.tar.gz
  1755. 162.88 s [really-safe-money-gen] source root is really-safe-money-gen-0.0.0.0
  1756. 162.89 s [really-safe-money-gen] setting SOURCE_DATE_EPOCH to timestamp 1778527879 of file "really-safe-money-gen-0.0.0.0/test/Spec.hs"
  1757. 162.90 s [really-safe-money-gen] warning: file "really-safe-money-gen-0.0.0.0/test/Spec.hs" may be generated; SOURCE_DATE_EPOCH may be non-deterministic
  1758. 162.91 s [really-safe-money-gen] Phase: patchPhase
  1759. 162.93 s [really-safe-money-gen] Phase: compileBuildDriverPhase
  1760. 162.94 s [really-safe-money-gen] setupCompileFlags: -package-db=/build/tmp.gNMpKpodbA/setup-package.conf.d -threaded
  1761. 163.00 s [really-safe-money-gen] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.gNMpKpodbA/Main.o )
  1762. 163.06 s [really-safe-money-gen] [2 of 2] Linking Setup
  1763. 164.54 s [really-safe-money-gen] Phase: updateAutotoolsGnuConfigScriptsPhase
  1764. 164.56 s [really-safe-money-gen] Phase: configurePhase
  1765. 164.57 s [really-safe-money-gen] configureFlags: --verbose --prefix=/nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/k5vis6bihr90xn2fphgdaciizya1119p-really-safe-money-gen-0.0.0.0-doc/share/doc/really-safe-money-gen-0.0.0.0 --with-gcc=gcc --package-db=/build/tmp.gNMpKpodbA/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 --ghc-options=-O2 --ghc-options=-Wall --ghc-options=-Wincomplete-uni-patterns --ghc-options=-Wincomplete-record-updates --ghc-options=-Wpartial-fields --ghc-options=-Widentities --ghc-options=-Wredundant-constraints --ghc-options=-Wcpp-undef --ghc-options=-Werror --extra-lib-dirs=/nix/store/45z5ja3qb26d66l44gkni38r7bk36fnh-ncurses-6.5/lib --extra-lib-dirs=/nix/store/6rwsi7k52chjbpxr74khmzdr5hzlc4bb-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/5nklmmj1ypr5vpkg7rxna1ywyzl8lca8-elfutils-0.194/lib --extra-lib-dirs=/nix/store/3xq68v4gdh0pmkxdwxy76bh36w99nb5q-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/kw1l2rrslifbdm7l8blgmaf7xidh0n5q-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/lib
  1766. 164.58 s [really-safe-money-gen] Using Parsec parser
  1767. 164.58 s [really-safe-money-gen] Configuring really-safe-money-gen-0.0.0.0...
  1768. 165.47 s [really-safe-money-gen] Dependency QuickCheck: using QuickCheck-2.15.0.1
  1769. 165.51 s [really-safe-money-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  1770. 165.51 s [really-safe-money-gen] Dependency genvalidity: using genvalidity-1.1.1.0
  1771. 165.51 s [really-safe-money-gen] Dependency genvalidity-containers: using genvalidity-containers-1.0.0.2
  1772. 165.51 s [really-safe-money-gen] Dependency really-safe-money: using really-safe-money-0.0.0.0
  1773. 165.51 s [really-safe-money-gen] Dependency base >=4.7 && <5: using base-4.20.2.0
  1774. 165.51 s [really-safe-money-gen] Dependency containers: using containers-0.7
  1775. 165.51 s [really-safe-money-gen] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.1.0
  1776. 165.51 s [really-safe-money-gen] Dependency genvalidity-vector: using genvalidity-vector-1.0.0.0
  1777. 165.51 s [really-safe-money-gen] Dependency really-safe-money: using really-safe-money-0.0.0.0
  1778. 165.51 s [really-safe-money-gen] Dependency really-safe-money-gen: using really-safe-money-gen-0.0.0.0
  1779. 165.51 s [really-safe-money-gen] Dependency sydtest: using sydtest-0.23.0.2
  1780. 165.51 s [really-safe-money-gen] Dependency vector: using vector-0.13.2.0
  1781. 165.51 s [really-safe-money-gen] Source component graph:
  1782. 165.51 s [really-safe-money-gen] component lib
  1783. 165.51 s [really-safe-money-gen] component test:really-safe-money-test dependency lib
  1784. 165.51 s [really-safe-money-gen] Configured component graph:
  1785. 165.51 s [really-safe-money-gen] component really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv
  1786. 165.51 s [really-safe-money-gen] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1787. 165.51 s [really-safe-money-gen] include base-4.20.2.0-69bc
  1788. 165.51 s [really-safe-money-gen] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1789. 165.51 s [really-safe-money-gen] include genvalidity-containers-1.0.0.2-2lzNb8Y5dc2IJ6H0tDNeRX
  1790. 165.51 s [really-safe-money-gen] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1791. 165.51 s [really-safe-money-gen] component really-safe-money-gen-0.0.0.0-4eeDNd301Ib3lEQOGg1XlW-really-safe-money-test
  1792. 165.51 s [really-safe-money-gen] include base-4.20.2.0-69bc
  1793. 165.51 s [really-safe-money-gen] include containers-0.7-9663
  1794. 165.51 s [really-safe-money-gen] include genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  1795. 165.51 s [really-safe-money-gen] include genvalidity-vector-1.0.0.0-9MA0WAllRyX6yuBtKHvMqx
  1796. 165.51 s [really-safe-money-gen] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1797. 165.51 s [really-safe-money-gen] include really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv
  1798. 165.51 s [really-safe-money-gen] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  1799. 165.51 s [really-safe-money-gen] include vector-0.13.2.0-8h07OZ6cN9Hc7tYmpamTf
  1800. 165.51 s [really-safe-money-gen] Linked component graph:
  1801. 165.51 s [really-safe-money-gen] unit really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv
  1802. 165.51 s [really-safe-money-gen] include QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1803. 165.51 s [really-safe-money-gen] include base-4.20.2.0-69bc
  1804. 165.51 s [really-safe-money-gen] include genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1805. 165.51 s [really-safe-money-gen] include genvalidity-containers-1.0.0.2-2lzNb8Y5dc2IJ6H0tDNeRX
  1806. 165.51 s [really-safe-money-gen] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1807. 165.51 s [really-safe-money-gen] Money.Account.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.Account.Gen,Money.AccountOf.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.AccountOf.Gen,Money.Amount.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.Amount.Gen,Money.AmountOf.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.AmountOf.Gen,Money.ConversionRate.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.ConversionRate.Gen,Money.ConversionRateOf.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.ConversionRateOf.Gen,Money.Currency.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.Currency.Gen,Money.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.Gen,Money.MultiAccount.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.MultiAccount.Gen,Money.MultiAmount.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.MultiAmount.Gen,Money.QuantisationFactor.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Money.QuantisationFactor.Gen,Numeric.DecimalLiteral.Gen=really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv:Numeric.DecimalLiteral.Gen
  1808. 165.51 s [really-safe-money-gen] unit really-safe-money-gen-0.0.0.0-4eeDNd301Ib3lEQOGg1XlW-really-safe-money-test
  1809. 165.52 s [really-safe-money-gen] include base-4.20.2.0-69bc
  1810. 165.52 s [really-safe-money-gen] include containers-0.7-9663
  1811. 165.52 s [really-safe-money-gen] include genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  1812. 165.52 s [really-safe-money-gen] include genvalidity-vector-1.0.0.0-9MA0WAllRyX6yuBtKHvMqx
  1813. 165.52 s [really-safe-money-gen] include really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1814. 165.52 s [really-safe-money-gen] include really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv
  1815. 165.52 s [really-safe-money-gen] include sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  1816. 165.52 s [really-safe-money-gen] include vector-0.13.2.0-8h07OZ6cN9Hc7tYmpamTf
  1817. 165.52 s [really-safe-money-gen] Ready component graph:
  1818. 165.52 s [really-safe-money-gen] definite really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv
  1819. 165.52 s [really-safe-money-gen] depends QuickCheck-2.15.0.1-2886bjxlOc222GFUIJ2dTf
  1820. 165.52 s [really-safe-money-gen] depends base-4.20.2.0-69bc
  1821. 165.52 s [really-safe-money-gen] depends genvalidity-1.1.1.0-C6lgfryVTNPDfTwCfdEzxl
  1822. 165.52 s [really-safe-money-gen] depends genvalidity-containers-1.0.0.2-2lzNb8Y5dc2IJ6H0tDNeRX
  1823. 165.52 s [really-safe-money-gen] depends really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1824. 165.52 s [really-safe-money-gen] definite really-safe-money-gen-0.0.0.0-4eeDNd301Ib3lEQOGg1XlW-really-safe-money-test
  1825. 165.52 s [really-safe-money-gen] depends base-4.20.2.0-69bc
  1826. 165.52 s [really-safe-money-gen] depends containers-0.7-9663
  1827. 165.52 s [really-safe-money-gen] depends genvalidity-sydtest-1.0.1.0-I5M8BpDXHCR6j7xVOiLeXL
  1828. 165.52 s [really-safe-money-gen] depends genvalidity-vector-1.0.0.0-9MA0WAllRyX6yuBtKHvMqx
  1829. 165.52 s [really-safe-money-gen] depends really-safe-money-0.0.0.0-L7n7qjdD2rt4pGhbIRDq5i
  1830. 165.52 s [really-safe-money-gen] depends really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv
  1831. 165.52 s [really-safe-money-gen] depends sydtest-0.23.0.2-9qDUZCgIzZAHN3zck4m6UZ
  1832. 165.52 s [really-safe-money-gen] depends vector-0.13.2.0-8h07OZ6cN9Hc7tYmpamTf
  1833. 165.52 s [really-safe-money-gen] Using Cabal-3.12.1.0 compiled by ghc-9.10
  1834. 165.52 s [really-safe-money-gen] Using compiler: ghc-9.10.3
  1835. 165.52 s [really-safe-money-gen] Using install prefix:
  1836. 165.52 s [really-safe-money-gen] /nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0
  1837. 165.52 s [really-safe-money-gen] Executables installed in:
  1838. 165.52 s [really-safe-money-gen] /nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0/bin
  1839. 165.52 s [really-safe-money-gen] Libraries installed in:
  1840. 165.52 s [really-safe-money-gen] /nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151/really-safe-money-gen-0.0.0.0-6WaElmpWHjxJDN4REgLguv
  1841. 165.52 s [really-safe-money-gen] Dynamic Libraries installed in:
  1842. 165.52 s [really-safe-money-gen] /nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-c151
  1843. 165.52 s [really-safe-money-gen] Private executables installed in:
  1844. 165.52 s [really-safe-money-gen] /nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0/libexec/x86_64-linux-ghc-9.10.3-c151/really-safe-money-gen-0.0.0.0
  1845. 165.52 s [really-safe-money-gen] Data files installed in:
  1846. 165.52 s [really-safe-money-gen] /nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0/share/x86_64-linux-ghc-9.10.3-c151/really-safe-money-gen-0.0.0.0
  1847. 165.52 s [really-safe-money-gen] Documentation installed in:
  1848. 165.52 s [really-safe-money-gen] /nix/store/k5vis6bihr90xn2fphgdaciizya1119p-really-safe-money-gen-0.0.0.0-doc/share/doc/really-safe-money-gen-0.0.0.0
  1849. 165.52 s [really-safe-money-gen] Configuration files installed in:
  1850. 165.52 s [really-safe-money-gen] /nix/store/dm9730splywp2z6jss8kyhmvn7zsxlr1-really-safe-money-gen-0.0.0.0/etc
  1851. 165.52 s [really-safe-money-gen] No alex found
  1852. 165.52 s [really-safe-money-gen] Using ar found on system at:
  1853. 165.52 s [really-safe-money-gen] /nix/store/hnan7l0v68sahyxbazz5y358prz253d1-binutils-wrapper-2.44/bin/ar
  1854. 165.52 s [really-safe-money-gen] No c2hs found
  1855. 165.52 s [really-safe-money-gen] No cpphs found
  1856. 165.52 s [really-safe-money-gen] No doctest found
  1857. 165.52 s [really-safe-money-gen] Using gcc version 14.3.0 given by user at:
  1858. 165.52 s [really-safe-money-gen] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/gcc
  1859. 165.52 s [really-safe-money-gen] Using ghc version 9.10.3 found on system at:
  1860. 165.52 s [really-safe-money-gen] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc
  1861. 165.52 s [really-safe-money-gen] Using ghc-pkg version 9.10.3 found on system at:
  1862. 165.52 s [really-safe-money-gen] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/ghc-pkg-9.10.3
  1863. 165.52 s [really-safe-money-gen] No ghcjs found
  1864. 165.52 s [really-safe-money-gen] No ghcjs-pkg found
  1865. 165.52 s [really-safe-money-gen] No greencard found
  1866. 165.52 s [really-safe-money-gen] Using haddock version 2.31.1 found on system at:
  1867. 165.52 s [really-safe-money-gen] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/haddock-ghc-9.10.3
  1868. 165.52 s [really-safe-money-gen] No happy found
  1869. 165.52 s [really-safe-money-gen] Using haskell-suite found on system at: haskell-suite-dummy-location
  1870. 165.52 s [really-safe-money-gen] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  1871. 165.52 s [really-safe-money-gen] No hmake found
  1872. 165.52 s [really-safe-money-gen] Using hpc version 0.69 found on system at:
  1873. 165.52 s [really-safe-money-gen] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hpc-ghc-9.10.3
  1874. 165.52 s [really-safe-money-gen] Using hsc2hs version 0.68.10 found on system at:
  1875. 165.52 s [really-safe-money-gen] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  1876. 165.52 s [really-safe-money-gen] Using hscolour version 1.25 found on system at:
  1877. 165.52 s [really-safe-money-gen] /nix/store/4f97zghyhdx2dj13mir9002n11iljwc5-hscolour-1.25/bin/HsColour
  1878. 165.52 s [really-safe-money-gen] No jhc found
  1879. 165.52 s [really-safe-money-gen] Using ld found on system at:
  1880. 165.52 s [really-safe-money-gen] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/ld
  1881. 165.52 s [really-safe-money-gen] No pkg-config found
  1882. 165.52 s [really-safe-money-gen] Using runghc version 9.10.3 found on system at:
  1883. 165.52 s [really-safe-money-gen] /nix/store/g22xx6fm6ghg0hfgnl7yc722xdyrmsn6-ghc-9.10.3/bin/runghc-9.10.3
  1884. 165.52 s [really-safe-money-gen] Using strip version 2.44 found on system at:
  1885. 165.52 s [really-safe-money-gen] /nix/store/kilyfvfmh9x9rlaj47ph1916lbc1pnsr-gcc-wrapper-14.3.0/bin/strip
  1886. 165.52 s [really-safe-money-gen] Using tar found on system at:
  1887. 165.52 s [really-safe-money-gen] /nix/store/df3vxyq7lwf9l02h0wljsq0h3189rp75-gnutar-1.35/bin/tar
  1888. 165.52 s [really-safe-money-gen] No uhc found
  1889. 166.25 s [really-safe-money-gen] Phase: buildPhase
  1890. 166.34 s [really-safe-money-gen] Preprocessing library for really-safe-money-gen-0.0.0.0...
  1891. 166.34 s [really-safe-money-gen] Building library for really-safe-money-gen-0.0.0.0...
  1892. 166.45 s [really-safe-money-gen] [ 1 of 13] Compiling Money.Amount.Gen ( src/Money/Amount/Gen.hs, dist/build/Money/Amount/Gen.o, dist/build/Money/Amount/Gen.dyn_o )
  1893. 166.77 s [really-safe-money-gen] [ 2 of 13] Compiling Money.Account.Gen ( src/Money/Account/Gen.hs, dist/build/Money/Account/Gen.o, dist/build/Money/Account/Gen.dyn_o )
  1894. 166.86 s [really-safe-money-gen] [ 3 of 13] Compiling Money.AccountOf.Gen ( src/Money/AccountOf/Gen.hs, dist/build/Money/AccountOf/Gen.o, dist/build/Money/AccountOf/Gen.dyn_o )
  1895. 166.91 s [really-safe-money-gen] [ 4 of 13] Compiling Money.AmountOf.Gen ( src/Money/AmountOf/Gen.hs, dist/build/Money/AmountOf/Gen.o, dist/build/Money/AmountOf/Gen.dyn_o )
  1896. 166.91 s [really-safe-money-gen] [ 5 of 13] Compiling Money.ConversionRate.Gen ( src/Money/ConversionRate/Gen.hs, dist/build/Money/ConversionRate/Gen.o, dist/build/Money/ConversionRate/Gen.dyn_o )
  1897. 166.91 s [really-safe-money-gen] [ 6 of 13] Compiling Money.ConversionRateOf.Gen ( src/Money/ConversionRateOf/Gen.hs, dist/build/Money/ConversionRateOf/Gen.o, dist/build/Money/ConversionRateOf/Gen.dyn_o )
  1898. 166.91 s [really-safe-money-gen] [ 7 of 13] Compiling Money.QuantisationFactor.Gen ( src/Money/QuantisationFactor/Gen.hs, dist/build/Money/QuantisationFactor/Gen.o, dist/build/Money/QuantisationFactor/Gen.dyn_o )
  1899. 166.91 s [really-safe-money-gen] [ 8 of 13] Compiling Money.Currency.Gen ( src/Money/Currency/Gen.hs, dist/build/Money/Currency/Gen.o, dist/build/Money/Currency/Gen.dyn_o )
  1900. 166.91 s [really-safe-money-gen] [ 9 of 13] Compiling Money.MultiAmount.Gen ( src/Money/MultiAmount/Gen.hs, dist/build/Money/MultiAmount/Gen.o, dist/build/Money/MultiAmount/Gen.dyn_o )
  1901. 166.91 s [really-safe-money-gen] [10 of 13] Compiling Money.MultiAccount.Gen ( src/Money/MultiAccount/Gen.hs, dist/build/Money/MultiAccount/Gen.o, dist/build/Money/MultiAccount/Gen.dyn_o )
  1902. 166.95 s [really-safe-money-gen] [11 of 13] Compiling Money.Gen ( src/Money/Gen.hs, dist/build/Money/Gen.o, dist/build/Money/Gen.dyn_o )
  1903. 166.98 s [really-safe-money-gen] [12 of 13] Compiling Numeric.DecimalLiteral.Gen ( src/Numeric/DecimalLiteral/Gen.hs, dist/build/Numeric/DecimalLiteral/Gen.o, dist/build/Numeric/DecimalLiteral/Gen.dyn_o )
  1904. 166.98 s [really-safe-money-gen] [13 of 13] Compiling Paths_really_safe_money_gen ( dist/build/autogen/Paths_really_safe_money_gen.hs, dist/build/Paths_really_safe_money_gen.o, dist/build/Paths_really_safe_money_gen.dyn_o )
  1905. 167.21 s [really-safe-money-gen] [ 1 of 13] Compiling Money.Amount.Gen ( src/Money/Amount/Gen.hs, dist/build/Money/Amount/Gen.p_o )
  1906. 167.62 s [really-safe-money-gen] [ 2 of 13] Compiling Money.Account.Gen ( src/Money/Account/Gen.hs, dist/build/Money/Account/Gen.p_o )
  1907. 167.84 s [really-safe-money-gen] [ 3 of 13] Compiling Money.AccountOf.Gen ( src/Money/AccountOf/Gen.hs, dist/build/Money/AccountOf/Gen.p_o )
  1908. 168.04 s [really-safe-money-gen] [ 4 of 13] Compiling Money.AmountOf.Gen ( src/Money/AmountOf/Gen.hs, dist/build/Money/AmountOf/Gen.p_o )
  1909. 168.04 s [really-safe-money-gen] [ 5 of 13] Compiling Money.ConversionRate.Gen ( src/Money/ConversionRate/Gen.hs, dist/build/Money/ConversionRate/Gen.p_o )
  1910. 168.04 s [really-safe-money-gen] [ 6 of 13] Compiling Money.ConversionRateOf.Gen ( src/Money/ConversionRateOf/Gen.hs, dist/build/Money/ConversionRateOf/Gen.p_o )
  1911. 168.04 s [really-safe-money-gen] [ 7 of 13] Compiling Money.QuantisationFactor.Gen ( src/Money/QuantisationFactor/Gen.hs, dist/build/Money/QuantisationFactor/Gen.p_o )
  1912. 168.04 s [really-safe-money-gen] [ 8 of 13] Compiling Money.Currency.Gen ( src/Money/Currency/Gen.hs, dist/build/Money/Currency/Gen.p_o )
  1913. 168.04 s [really-safe-money-gen] [ 9 of 13] Compiling Money.MultiAmount.Gen ( src/Money/MultiAmount/Gen.hs, dist/build/Money/MultiAmount/Gen.p_o )
  1914. 168.04 s [really-safe-money-gen] [10 of 13] Compiling Money.MultiAccount.Gen ( src/Money/MultiAccount/Gen.hs, dist/build/Money/MultiAccount/Gen.p_o )
  1915. 168.05 s [really-safe-money-gen] [11 of 13] Compiling Money.Gen ( src/Money/Gen.hs, dist/build/Money/Gen.p_o )
  1916. 168.22 s [really-safe-money-gen] [12 of 13] Compiling Numeric.DecimalLiteral.Gen ( src/Numeric/DecimalLiteral/Gen.hs, dist/build/Numeric/DecimalLiteral/Gen.p_o )
  1917. 168.22 s [really-safe-money-gen] [13 of 13] Compiling Paths_really_safe_money_gen ( dist/build/autogen/Paths_really_safe_money_gen.hs, dist/build/Paths_really_safe_money_gen.p_o )
  1918. 169.86 s [really-safe-money-gen] Preprocessing test suite 'really-safe-money-test' for really-safe-money-gen-0.0.0.0...
  1919. 169.86 s [really-safe-money-gen] Building test suite 'really-safe-money-test' for really-safe-money-gen-0.0.0.0...
  1920. 170.02 s [really-safe-money-gen] [ 1 of 14] Compiling Money.AccountSpec ( test/Money/AccountSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/AccountSpec.o )
  1921. 172.76 s [really-safe-money-gen] [ 2 of 14] Compiling Money.AmountSpec ( test/Money/AmountSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/AmountSpec.o )
  1922. 172.89 s [really-safe-money-gen] [ 3 of 14] Compiling Money.ConversionRateSpec ( test/Money/ConversionRateSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/ConversionRateSpec.o )
  1923. 172.89 s [really-safe-money-gen] [ 4 of 14] Compiling Money.Currency.TestUtils ( test/Money/Currency/TestUtils.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/Currency/TestUtils.o )
  1924. 172.89 s [really-safe-money-gen] [ 5 of 14] Compiling Money.ConversionRateOfSpec ( test/Money/ConversionRateOfSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/ConversionRateOfSpec.o )
  1925. 172.89 s [really-safe-money-gen] [ 6 of 14] Compiling Money.AmountOfSpec ( test/Money/AmountOfSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/AmountOfSpec.o )
  1926. 172.89 s [really-safe-money-gen] [ 7 of 14] Compiling Money.AccountOfSpec ( test/Money/AccountOfSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/AccountOfSpec.o )
  1927. 172.89 s [really-safe-money-gen] [ 8 of 14] Compiling Money.CurrencySpec ( test/Money/CurrencySpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/CurrencySpec.o )
  1928. 172.89 s [really-safe-money-gen] [ 9 of 14] Compiling Money.MultiAccountSpec ( test/Money/MultiAccountSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/MultiAccountSpec.o )
  1929. 172.89 s [really-safe-money-gen] [10 of 14] Compiling Money.MultiAmountSpec ( test/Money/MultiAmountSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/MultiAmountSpec.o )
  1930. 172.89 s [really-safe-money-gen] [11 of 14] Compiling Money.QuantisationFactorSpec ( test/Money/QuantisationFactorSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Money/QuantisationFactorSpec.o )
  1931. 172.89 s [really-safe-money-gen] [12 of 14] Compiling Numeric.DecimalLiteralSpec ( test/Numeric/DecimalLiteralSpec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Numeric/DecimalLiteralSpec.o )
  1932. 172.89 s [really-safe-money-gen] [13 of 14] Compiling Main ( test/Spec.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Main.o )
  1933. 172.95 s [really-safe-money-gen] [14 of 14] Compiling Paths_really_safe_money_gen ( dist/build/really-safe-money-test/autogen/Paths_really_safe_money_gen.hs, dist/build/really-safe-money-test/really-safe-money-test-tmp/Paths_really_safe_money_gen.o )
  1934. 173.32 s [really-safe-money-gen] [15 of 15] Linking dist/build/really-safe-money-test/really-safe-money-test
  1935. 175.55 s [really-safe-money-gen] Phase: checkPhase
Tail Raw Logs