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=refs%2Fpull%2F126%2Fmerge&rev=17101977adf8a2365383070d2e23544902d5f5b0#checks.x86_64-linux.mutation-safe-coloured-text --print-build-logs
  2. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-substituters'.
  3. 0.08 s Pass '--accept-flake-config' to trust it
  4. 0.08 s warning: ignoring untrusted flake configuration setting 'extra-trusted-public-keys'.
  5. 0.08 s Pass '--accept-flake-config' to trust it
  6. 0.11 s
  7. 0.28 s Building genvalidity-sydtest-source
  8. 0.63 s [genvalidity-sydtest-source] Phase: setupCompilerEnvironmentPhase
  9. 0.63 s [genvalidity-sydtest-source] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  10. 1.08 s [genvalidity-sydtest-source] Phase: unpackPhase
  11. 1.09 s [genvalidity-sydtest-source] unpacking source archive /nix/store/dqdpwym3w17fcyylxh144v7wvc1c621z-genvalidity-sydtest
  12. 1.10 s [genvalidity-sydtest-source] source root is genvalidity-sydtest
  13. 1.11 s [genvalidity-sydtest-source] Phase: patchPhase
  14. 1.11 s [genvalidity-sydtest-source] Phase: compileBuildDriverPhase
  15. 1.12 s [genvalidity-sydtest-source] setupCompileFlags: -package-db=/build/tmp.cDZ2RgOUTO/setup-package.conf.d -threaded
  16. 1.17 s [genvalidity-sydtest-source] [1 of 2] Compiling Main ( /nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs, /build/tmp.cDZ2RgOUTO/Main.o )
  17. 1.21 s [genvalidity-sydtest-source] [2 of 2] Linking Setup
  18. 2.36 s [genvalidity-sydtest-source] Phase: updateAutotoolsGnuConfigScriptsPhase
  19. 2.37 s [genvalidity-sydtest-source] Phase: configurePhase
  20. 2.37 s [genvalidity-sydtest-source] configureFlags: --verbose --prefix=/nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-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.cDZ2RgOUTO/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/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib
  21. 2.38 s [genvalidity-sydtest-source] Using Parsec parser
  22. 2.38 s [genvalidity-sydtest-source] Configuring genvalidity-sydtest-1.0.1.0...
  23. 2.96 s [genvalidity-sydtest-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  24. 2.96 s [genvalidity-sydtest-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  25. 2.96 s [genvalidity-sydtest-source] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
  26. 2.96 s [genvalidity-sydtest-source] Dependency sydtest: using sydtest-0.23.1.0
  27. 2.96 s [genvalidity-sydtest-source] Dependency QuickCheck: using QuickCheck-2.15.0.1
  28. 2.96 s [genvalidity-sydtest-source] Dependency base >=4.7 && <5: using base-4.20.2.0
  29. 2.96 s [genvalidity-sydtest-source] Dependency genvalidity: using genvalidity-1.1.1.0
  30. 2.96 s [genvalidity-sydtest-source] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.1.0
  31. 2.96 s [genvalidity-sydtest-source] Dependency sydtest: using sydtest-0.23.1.0
  32. 2.96 s [genvalidity-sydtest-source] Source component graph:
  33. 2.96 s [genvalidity-sydtest-source] component lib
  34. 2.96 s [genvalidity-sydtest-source] component test:genvalidity-sydtest-test dependency lib
  35. 2.96 s [genvalidity-sydtest-source] Configured component graph:
  36. 2.96 s [genvalidity-sydtest-source] component genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  37. 2.96 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  38. 2.96 s [genvalidity-sydtest-source] include base-4.20.2.0-64da
  39. 2.96 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  40. 2.96 s [genvalidity-sydtest-source] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  41. 2.96 s [genvalidity-sydtest-source] component genvalidity-sydtest-1.0.1.0-4CVTekXCka79lueP44eWUO-genvalidity-sydtest-test
  42. 2.96 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  43. 2.96 s [genvalidity-sydtest-source] include base-4.20.2.0-64da
  44. 2.96 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  45. 2.96 s [genvalidity-sydtest-source] include genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  46. 2.96 s [genvalidity-sydtest-source] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  47. 2.96 s [genvalidity-sydtest-source] Linked component graph:
  48. 2.96 s [genvalidity-sydtest-source] unit genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  49. 2.96 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  50. 2.96 s [genvalidity-sydtest-source] include base-4.20.2.0-64da
  51. 2.96 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  52. 2.96 s [genvalidity-sydtest-source] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  53. 2.96 s [genvalidity-sydtest-source] Test.Syd.Validity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity,Test.Syd.Validity.Applicative=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Applicative,Test.Syd.Validity.Arbitrary=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Arbitrary,Test.Syd.Validity.Eq=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Eq,Test.Syd.Validity.Functions=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions,Test.Syd.Validity.Functions.CanFail=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.CanFail,Test.Syd.Validity.Functions.Equivalence=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Equivalence,Test.Syd.Validity.Functions.Idempotence=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Idempotence,Test.Syd.Validity.Functions.Inverse=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Inverse,Test.Syd.Validity.Functions.Validity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Validity,Test.Syd.Validity.Functor=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functor,Test.Syd.Validity.GenValidity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.GenValidity,Test.Syd.Validity.GenValidity.Property=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.GenValidity.Property,Test.Syd.Validity.Monad=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Monad,Test.Syd.Validity.Monoid=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Monoid,Test.Syd.Validity.Operations=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations,Test.Syd.Validity.Operations.Associativity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations.Associativity,Test.Syd.Validity.Operations.Commutativity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations.Commutativity,Test.Syd.Validity.Operations.Identity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations.Identity,Test.Syd.Validity.Ord=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Ord,Test.Syd.Validity.Property=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Property,Test.Syd.Validity.Property.Utils=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Property.Utils,Test.Syd.Validity.Relations=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations,Test.Syd.Validity.Relations.Antireflexivity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Antireflexivity,Test.Syd.Validity.Relations.Antisymmetry=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Antisymmetry,Test.Syd.Validity.Relations.Reflexivity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Reflexivity,Test.Syd.Validity.Relations.Symmetry=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Symmetry,Test.Syd.Validity.Relations.Transitivity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Transitivity,Test.Syd.Validity.Show=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Show,Test.Syd.Validity.Shrinking=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Shrinking,Test.Syd.Validity.Shrinking.Property=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Shrinking.Property,Test.Syd.Validity.Types=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Types,Test.Syd.Validity.Utils=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Utils
  54. 2.96 s [genvalidity-sydtest-source] unit genvalidity-sydtest-1.0.1.0-4CVTekXCka79lueP44eWUO-genvalidity-sydtest-test
  55. 2.96 s [genvalidity-sydtest-source] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  56. 2.96 s [genvalidity-sydtest-source] include base-4.20.2.0-64da
  57. 2.96 s [genvalidity-sydtest-source] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  58. 2.96 s [genvalidity-sydtest-source] include genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  59. 2.96 s [genvalidity-sydtest-source] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  60. 2.96 s [genvalidity-sydtest-source] Ready component graph:
  61. 2.96 s [genvalidity-sydtest-source] definite genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  62. 2.96 s [genvalidity-sydtest-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  63. 2.96 s [genvalidity-sydtest-source] depends base-4.20.2.0-64da
  64. 2.96 s [genvalidity-sydtest-source] depends genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  65. 2.96 s [genvalidity-sydtest-source] depends sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  66. 2.96 s [genvalidity-sydtest-source] definite genvalidity-sydtest-1.0.1.0-4CVTekXCka79lueP44eWUO-genvalidity-sydtest-test
  67. 2.96 s [genvalidity-sydtest-source] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  68. 2.96 s [genvalidity-sydtest-source] depends base-4.20.2.0-64da
  69. 2.96 s [genvalidity-sydtest-source] depends genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  70. 2.96 s [genvalidity-sydtest-source] depends genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  71. 2.96 s [genvalidity-sydtest-source] depends sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  72. 2.96 s [genvalidity-sydtest-source] Using Cabal-3.12.1.0 compiled by ghc-9.10
  73. 2.96 s [genvalidity-sydtest-source] Using compiler: ghc-9.10.3
  74. 2.96 s [genvalidity-sydtest-source] Using install prefix:
  75. 2.96 s [genvalidity-sydtest-source] /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0
  76. 2.96 s [genvalidity-sydtest-source] Executables installed in:
  77. 2.96 s [genvalidity-sydtest-source] /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0/bin
  78. 2.96 s [genvalidity-sydtest-source] Libraries installed in:
  79. 2.96 s [genvalidity-sydtest-source] /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  80. 2.96 s [genvalidity-sydtest-source] Dynamic Libraries installed in:
  81. 2.96 s [genvalidity-sydtest-source] /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  82. 2.96 s [genvalidity-sydtest-source] Private executables installed in:
  83. 2.96 s [genvalidity-sydtest-source] /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0/libexec/x86_64-linux-ghc-9.10.3-05f6/genvalidity-sydtest-1.0.1.0
  84. 2.96 s [genvalidity-sydtest-source] Data files installed in:
  85. 2.96 s [genvalidity-sydtest-source] /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0/share/x86_64-linux-ghc-9.10.3-05f6/genvalidity-sydtest-1.0.1.0
  86. 2.96 s [genvalidity-sydtest-source] Documentation installed in: /share/doc/genvalidity-sydtest-1.0.1.0
  87. 2.96 s [genvalidity-sydtest-source] Configuration files installed in:
  88. 2.96 s [genvalidity-sydtest-source] /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0/etc
  89. 2.96 s [genvalidity-sydtest-source] No alex found
  90. 2.96 s [genvalidity-sydtest-source] Using ar found on system at:
  91. 2.96 s [genvalidity-sydtest-source] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  92. 2.96 s [genvalidity-sydtest-source] No c2hs found
  93. 2.96 s [genvalidity-sydtest-source] No cpphs found
  94. 2.96 s [genvalidity-sydtest-source] No doctest found
  95. 2.96 s [genvalidity-sydtest-source] Using gcc version 14.3.0 given by user at:
  96. 2.96 s [genvalidity-sydtest-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  97. 2.96 s [genvalidity-sydtest-source] Using ghc version 9.10.3 found on system at:
  98. 2.96 s [genvalidity-sydtest-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  99. 2.96 s [genvalidity-sydtest-source] Using ghc-pkg version 9.10.3 found on system at:
  100. 2.96 s [genvalidity-sydtest-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  101. 2.96 s [genvalidity-sydtest-source] No ghcjs found
  102. 2.96 s [genvalidity-sydtest-source] No ghcjs-pkg found
  103. 2.96 s [genvalidity-sydtest-source] No greencard found
  104. 2.96 s [genvalidity-sydtest-source] Using haddock version 2.31.1 found on system at:
  105. 2.98 s [genvalidity-sydtest-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  106. 2.98 s [genvalidity-sydtest-source] No happy found
  107. 2.98 s [genvalidity-sydtest-source] Using haskell-suite found on system at: haskell-suite-dummy-location
  108. 2.98 s [genvalidity-sydtest-source] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  109. 2.98 s [genvalidity-sydtest-source] No hmake found
  110. 2.98 s [genvalidity-sydtest-source] Using hpc version 0.69 found on system at:
  111. 2.98 s [genvalidity-sydtest-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  112. 2.98 s [genvalidity-sydtest-source] Using hsc2hs version 0.68.10 found on system at:
  113. 2.98 s [genvalidity-sydtest-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  114. 2.98 s [genvalidity-sydtest-source] Using hscolour version 1.25 found on system at:
  115. 2.98 s [genvalidity-sydtest-source] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  116. 2.98 s [genvalidity-sydtest-source] No jhc found
  117. 2.98 s [genvalidity-sydtest-source] Using ld found on system at:
  118. 2.98 s [genvalidity-sydtest-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  119. 2.98 s [genvalidity-sydtest-source] No pkg-config found
  120. 2.98 s [genvalidity-sydtest-source] Using runghc version 9.10.3 found on system at:
  121. 2.98 s [genvalidity-sydtest-source] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  122. 2.98 s [genvalidity-sydtest-source] Using strip version 2.44 found on system at:
  123. 2.98 s [genvalidity-sydtest-source] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  124. 2.98 s [genvalidity-sydtest-source] Using tar found on system at:
  125. 2.98 s [genvalidity-sydtest-source] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  126. 2.98 s [genvalidity-sydtest-source] No uhc found
  127. 3.34 s [genvalidity-sydtest-source] Phase: buildPhase
  128. 3.35 s [genvalidity-sydtest-source] Distribution quality warnings:
  129. 3.35 s [genvalidity-sydtest-source] [no-description] No 'description' field.
  130. 3.35 s [genvalidity-sydtest-source] [missing-upper-bounds] On library, these packages miss upper bounds:
  131. 3.35 s [genvalidity-sydtest-source] - QuickCheck
  132. 3.35 s [genvalidity-sydtest-source] - genvalidity
  133. 3.35 s [genvalidity-sydtest-source] - sydtest
  134. 3.35 s [genvalidity-sydtest-source] Please add them. There is more information at https://pvp.haskell.org/
  135. 3.35 s [genvalidity-sydtest-source] Building source dist for genvalidity-sydtest-1.0.1.0...
  136. 3.37 s [genvalidity-sydtest-source] Source tarball created: dist/genvalidity-sydtest-1.0.1.0.tar.gz
  137. 3.37 s [genvalidity-sydtest-source] Phase: checkPhase
  138. 3.38 s [genvalidity-sydtest-source] Phase: haddockPhase
  139. 3.38 s [genvalidity-sydtest-source] Phase: installPhase
  140. 3.39 s [genvalidity-sydtest-source] Phase: fixupPhase
  141. 3.43 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0
  142. 3.83 s [post-build-hook] Pushing 1 paths (0 are already present) using zstd to cache sydtest ⏳
  143. 3.83 s [post-build-hook]
  144. 4.21 s [post-build-hook] Pushing /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0 (17.73 KiB)
  145. 5.27 s [post-build-hook]
  146. 5.27 s [post-build-hook] All done.
  147. 5.28 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0
  148. 5.33 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  149. 5.33 s [post-build-hook] copying 1 paths...
  150. 5.33 s [post-build-hook] copying path '/nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0' to 'https://cache.staging.nix-ci.com'...
  151. 5.63 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  152. 5.88 s [post-build-hook] copying 1 paths...
  153. 5.88 s [post-build-hook] copying path '/nix/store/z7mc4nv1wp0ymi7399n0gpfc59bjl5m4-genvalidity-sydtest-source-1.0.1.0.drv' to 'https://cache.staging.nix-ci.com'...
  154. 6.05 s Progress: 1 of 10 built
  155. 6.10 s Building genvalidity-sydtest
  156. 6.76 s [genvalidity-sydtest] Phase: setupCompilerEnvironmentPhase
  157. 6.77 s [genvalidity-sydtest] Build with /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3.
  158. 9.31 s [genvalidity-sydtest] Phase: unpackPhase
  159. 9.32 s [genvalidity-sydtest] unpacking source archive /nix/store/r47bxswjzvqqdci7c5srx1gzv1m67phf-genvalidity-sydtest-source-1.0.1.0/genvalidity-sydtest-1.0.1.0.tar.gz
  160. 9.34 s [genvalidity-sydtest] source root is genvalidity-sydtest-1.0.1.0
  161. 9.35 s [genvalidity-sydtest] setting SOURCE_DATE_EPOCH to timestamp 1779116465 of file "genvalidity-sydtest-1.0.1.0/test/Test/Syd/Validity/ShrinkingSpec.hs"
  162. 9.36 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
  163. 9.36 s [genvalidity-sydtest] Phase: patchPhase
  164. 9.38 s [genvalidity-sydtest] Phase: compileBuildDriverPhase
  165. 9.39 s [genvalidity-sydtest] setupCompileFlags: -package-db=/build/tmp.4QY0jh2rel/setup-package.conf.d -threaded
  166. 9.60 s [genvalidity-sydtest] [1 of 2] Compiling Main ( Setup.hs, /build/tmp.4QY0jh2rel/Main.o )
  167. 9.83 s [genvalidity-sydtest] [2 of 2] Linking Setup
  168. 11.95 s [genvalidity-sydtest] Phase: updateAutotoolsGnuConfigScriptsPhase
  169. 11.96 s [genvalidity-sydtest] Phase: configurePhase
  170. 11.96 s [genvalidity-sydtest] configureFlags: --verbose --prefix=/nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0 --libdir=$prefix/lib/$compiler/lib --libsubdir=$abi/$libname --docdir=/nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc/share/doc/genvalidity-sydtest-1.0.1.0 --with-gcc=gcc --package-db=/build/tmp.4QY0jh2rel/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/ffyzkisqs4vc4mg28bwwlyqjf8i9ph6b-ncurses-6.5/lib --extra-lib-dirs=/nix/store/n28qgdj8c1q41kf7n4y1jxa6ckp85m3c-libffi-3.5.2/lib --extra-lib-dirs=/nix/store/1b6h99dw7bk4wbn77kbalih42zbc67m1-elfutils-0.194/lib --extra-lib-dirs=/nix/store/hi0ar880110k6jsmmili7dh1gq3cg2a9-gmp-with-cxx-6.3.0/lib --extra-lib-dirs=/nix/store/g09cflpnp4g80q56sj9dng1qzv4v4ybc-numactl-2.0.18/lib --extra-lib-dirs=/nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/lib
  171. 11.99 s [genvalidity-sydtest] Using Parsec parser
  172. 11.99 s [genvalidity-sydtest] Configuring genvalidity-sydtest-1.0.1.0...
  173. 13.22 s [genvalidity-sydtest] Dependency QuickCheck: using QuickCheck-2.15.0.1
  174. 13.22 s [genvalidity-sydtest] Dependency base >=4.7 && <5: using base-4.20.2.0
  175. 13.22 s [genvalidity-sydtest] Dependency genvalidity >=1.0: using genvalidity-1.1.1.0
  176. 13.22 s [genvalidity-sydtest] Dependency sydtest: using sydtest-0.23.1.0
  177. 13.22 s [genvalidity-sydtest] Dependency QuickCheck: using QuickCheck-2.15.0.1
  178. 13.22 s [genvalidity-sydtest] Dependency base >=4.7 && <5: using base-4.20.2.0
  179. 13.22 s [genvalidity-sydtest] Dependency genvalidity: using genvalidity-1.1.1.0
  180. 13.22 s [genvalidity-sydtest] Dependency genvalidity-sydtest: using genvalidity-sydtest-1.0.1.0
  181. 13.22 s [genvalidity-sydtest] Dependency sydtest: using sydtest-0.23.1.0
  182. 13.22 s [genvalidity-sydtest] Source component graph:
  183. 13.22 s [genvalidity-sydtest] component lib
  184. 13.22 s [genvalidity-sydtest] component test:genvalidity-sydtest-test dependency lib
  185. 13.22 s [genvalidity-sydtest] Configured component graph:
  186. 13.22 s [genvalidity-sydtest] component genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  187. 13.22 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  188. 13.22 s [genvalidity-sydtest] include base-4.20.2.0-64da
  189. 13.22 s [genvalidity-sydtest] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  190. 13.22 s [genvalidity-sydtest] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  191. 13.22 s [genvalidity-sydtest] component genvalidity-sydtest-1.0.1.0-4CVTekXCka79lueP44eWUO-genvalidity-sydtest-test
  192. 13.22 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  193. 13.22 s [genvalidity-sydtest] include base-4.20.2.0-64da
  194. 13.22 s [genvalidity-sydtest] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  195. 13.22 s [genvalidity-sydtest] include genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  196. 13.22 s [genvalidity-sydtest] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  197. 13.22 s [genvalidity-sydtest] Linked component graph:
  198. 13.22 s [genvalidity-sydtest] unit genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  199. 13.22 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  200. 13.22 s [genvalidity-sydtest] include base-4.20.2.0-64da
  201. 13.22 s [genvalidity-sydtest] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  202. 13.22 s [genvalidity-sydtest] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  203. 13.22 s [genvalidity-sydtest] Test.Syd.Validity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity,Test.Syd.Validity.Applicative=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Applicative,Test.Syd.Validity.Arbitrary=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Arbitrary,Test.Syd.Validity.Eq=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Eq,Test.Syd.Validity.Functions=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions,Test.Syd.Validity.Functions.CanFail=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.CanFail,Test.Syd.Validity.Functions.Equivalence=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Equivalence,Test.Syd.Validity.Functions.Idempotence=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Idempotence,Test.Syd.Validity.Functions.Inverse=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Inverse,Test.Syd.Validity.Functions.Validity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functions.Validity,Test.Syd.Validity.Functor=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Functor,Test.Syd.Validity.GenValidity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.GenValidity,Test.Syd.Validity.GenValidity.Property=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.GenValidity.Property,Test.Syd.Validity.Monad=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Monad,Test.Syd.Validity.Monoid=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Monoid,Test.Syd.Validity.Operations=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations,Test.Syd.Validity.Operations.Associativity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations.Associativity,Test.Syd.Validity.Operations.Commutativity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations.Commutativity,Test.Syd.Validity.Operations.Identity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Operations.Identity,Test.Syd.Validity.Ord=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Ord,Test.Syd.Validity.Property=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Property,Test.Syd.Validity.Property.Utils=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Property.Utils,Test.Syd.Validity.Relations=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations,Test.Syd.Validity.Relations.Antireflexivity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Antireflexivity,Test.Syd.Validity.Relations.Antisymmetry=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Antisymmetry,Test.Syd.Validity.Relations.Reflexivity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Reflexivity,Test.Syd.Validity.Relations.Symmetry=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Symmetry,Test.Syd.Validity.Relations.Transitivity=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Relations.Transitivity,Test.Syd.Validity.Show=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Show,Test.Syd.Validity.Shrinking=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Shrinking,Test.Syd.Validity.Shrinking.Property=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Shrinking.Property,Test.Syd.Validity.Types=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Types,Test.Syd.Validity.Utils=genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA:Test.Syd.Validity.Utils
  204. 13.22 s [genvalidity-sydtest] unit genvalidity-sydtest-1.0.1.0-4CVTekXCka79lueP44eWUO-genvalidity-sydtest-test
  205. 13.22 s [genvalidity-sydtest] include QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  206. 13.22 s [genvalidity-sydtest] include base-4.20.2.0-64da
  207. 13.22 s [genvalidity-sydtest] include genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  208. 13.22 s [genvalidity-sydtest] include genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  209. 13.22 s [genvalidity-sydtest] include sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  210. 13.22 s [genvalidity-sydtest] Ready component graph:
  211. 13.22 s [genvalidity-sydtest] definite genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  212. 13.22 s [genvalidity-sydtest] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  213. 13.22 s [genvalidity-sydtest] depends base-4.20.2.0-64da
  214. 13.22 s [genvalidity-sydtest] depends genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  215. 13.22 s [genvalidity-sydtest] depends sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  216. 13.22 s [genvalidity-sydtest] definite genvalidity-sydtest-1.0.1.0-4CVTekXCka79lueP44eWUO-genvalidity-sydtest-test
  217. 13.22 s [genvalidity-sydtest] depends QuickCheck-2.15.0.1-8fVC1qSJKj9H9pvMjJXUwU
  218. 13.22 s [genvalidity-sydtest] depends base-4.20.2.0-64da
  219. 13.22 s [genvalidity-sydtest] depends genvalidity-1.1.1.0-KJOcA1wEUno9vXRiVdno1L
  220. 13.22 s [genvalidity-sydtest] depends genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  221. 13.22 s [genvalidity-sydtest] depends sydtest-0.23.1.0-1QbKcOQdzLp6O89Vfb96q6
  222. 13.23 s [genvalidity-sydtest] Using Cabal-3.12.1.0 compiled by ghc-9.10
  223. 13.23 s [genvalidity-sydtest] Using compiler: ghc-9.10.3
  224. 13.23 s [genvalidity-sydtest] Using install prefix:
  225. 13.23 s [genvalidity-sydtest] /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0
  226. 13.23 s [genvalidity-sydtest] Executables installed in:
  227. 13.23 s [genvalidity-sydtest] /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/bin
  228. 13.23 s [genvalidity-sydtest] Libraries installed in:
  229. 13.23 s [genvalidity-sydtest] /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  230. 13.23 s [genvalidity-sydtest] Dynamic Libraries installed in:
  231. 13.23 s [genvalidity-sydtest] /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6
  232. 13.23 s [genvalidity-sydtest] Private executables installed in:
  233. 13.23 s [genvalidity-sydtest] /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/libexec/x86_64-linux-ghc-9.10.3-05f6/genvalidity-sydtest-1.0.1.0
  234. 13.23 s [genvalidity-sydtest] Data files installed in:
  235. 13.23 s [genvalidity-sydtest] /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/share/x86_64-linux-ghc-9.10.3-05f6/genvalidity-sydtest-1.0.1.0
  236. 13.23 s [genvalidity-sydtest] Documentation installed in:
  237. 13.23 s [genvalidity-sydtest] /nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc/share/doc/genvalidity-sydtest-1.0.1.0
  238. 13.23 s [genvalidity-sydtest] Configuration files installed in:
  239. 13.23 s [genvalidity-sydtest] /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/etc
  240. 13.23 s [genvalidity-sydtest] No alex found
  241. 13.23 s [genvalidity-sydtest] Using ar found on system at:
  242. 13.23 s [genvalidity-sydtest] /nix/store/iz5lckcsg66r223si2gck7csk2hihj0m-binutils-wrapper-2.44/bin/ar
  243. 13.23 s [genvalidity-sydtest] No c2hs found
  244. 13.23 s [genvalidity-sydtest] No cpphs found
  245. 13.23 s [genvalidity-sydtest] No doctest found
  246. 13.23 s [genvalidity-sydtest] Using gcc version 14.3.0 given by user at:
  247. 13.23 s [genvalidity-sydtest] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/gcc
  248. 13.23 s [genvalidity-sydtest] Using ghc version 9.10.3 found on system at:
  249. 13.23 s [genvalidity-sydtest] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc
  250. 13.23 s [genvalidity-sydtest] Using ghc-pkg version 9.10.3 found on system at:
  251. 13.23 s [genvalidity-sydtest] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/ghc-pkg-9.10.3
  252. 13.23 s [genvalidity-sydtest] No ghcjs found
  253. 13.23 s [genvalidity-sydtest] No ghcjs-pkg found
  254. 13.23 s [genvalidity-sydtest] No greencard found
  255. 13.23 s [genvalidity-sydtest] Using haddock version 2.31.1 found on system at:
  256. 13.26 s [genvalidity-sydtest] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/haddock-ghc-9.10.3
  257. 13.26 s [genvalidity-sydtest] No happy found
  258. 13.26 s [genvalidity-sydtest] Using haskell-suite found on system at: haskell-suite-dummy-location
  259. 13.26 s [genvalidity-sydtest] Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
  260. 13.26 s [genvalidity-sydtest] No hmake found
  261. 13.26 s [genvalidity-sydtest] Using hpc version 0.69 found on system at:
  262. 13.26 s [genvalidity-sydtest] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hpc-ghc-9.10.3
  263. 13.26 s [genvalidity-sydtest] Using hsc2hs version 0.68.10 found on system at:
  264. 13.26 s [genvalidity-sydtest] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/hsc2hs-ghc-9.10.3
  265. 13.26 s [genvalidity-sydtest] Using hscolour version 1.25 found on system at:
  266. 13.26 s [genvalidity-sydtest] /nix/store/f755skyzf4jvfx3crwq9mmh3x4lsaz8i-hscolour-1.25/bin/HsColour
  267. 13.26 s [genvalidity-sydtest] No jhc found
  268. 13.26 s [genvalidity-sydtest] Using ld found on system at:
  269. 13.26 s [genvalidity-sydtest] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/ld
  270. 13.26 s [genvalidity-sydtest] No pkg-config found
  271. 13.26 s [genvalidity-sydtest] Using runghc version 9.10.3 found on system at:
  272. 13.26 s [genvalidity-sydtest] /nix/store/s9jd43rkwc2syl9cvgj6f786avy8bgzy-ghc-9.10.3/bin/runghc-9.10.3
  273. 13.26 s [genvalidity-sydtest] Using strip version 2.44 found on system at:
  274. 13.26 s [genvalidity-sydtest] /nix/store/8v97ngkcpfzgghwnnr7fsz33p2x22gy9-gcc-wrapper-14.3.0/bin/strip
  275. 13.26 s [genvalidity-sydtest] Using tar found on system at:
  276. 13.26 s [genvalidity-sydtest] /nix/store/xl6pd2spjajwcpq09fnmnjv5psqmlmma-gnutar-1.35/bin/tar
  277. 13.26 s [genvalidity-sydtest] No uhc found
  278. 13.65 s [genvalidity-sydtest] Phase: buildPhase
  279. 13.72 s [genvalidity-sydtest] Preprocessing library for genvalidity-sydtest-1.0.1.0...
  280. 13.72 s [genvalidity-sydtest] Building library for genvalidity-sydtest-1.0.1.0...
  281. 13.85 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 )
  282. 14.03 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 )
  283. 14.03 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 )
  284. 14.04 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 )
  285. 14.04 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 )
  286. 14.10 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 )
  287. 14.12 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 )
  288. 14.12 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 )
  289. 14.12 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 )
  290. 14.12 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 )
  291. 14.12 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 )
  292. 14.12 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 )
  293. 14.12 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 )
  294. 14.12 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 )
  295. 14.12 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 )
  296. 14.12 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 )
  297. 14.12 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 )
  298. 14.12 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 )
  299. 14.12 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 )
  300. 14.31 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 )
  301. 14.31 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 )
  302. 14.33 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 )
  303. 14.35 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 )
  304. 14.35 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 )
  305. 14.35 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 )
  306. 14.35 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 )
  307. 14.66 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 )
  308. 14.66 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 )
  309. 14.72 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 )
  310. 14.72 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 )
  311. 14.72 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 )
  312. 14.72 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 )
  313. 14.72 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 )
  314. 14.72 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 )
  315. 14.98 s [genvalidity-sydtest] [ 1 of 34] Compiling Paths_genvalidity_sydtest ( dist/build/autogen/Paths_genvalidity_sydtest.hs, dist/build/Paths_genvalidity_sydtest.p_o )
  316. 15.24 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 )
  317. 15.24 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 )
  318. 15.24 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 )
  319. 15.24 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 )
  320. 15.24 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 )
  321. 15.38 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 )
  322. 15.38 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 )
  323. 15.38 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 )
  324. 15.43 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 )
  325. 15.43 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 )
  326. 15.43 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 )
  327. 15.43 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 )
  328. 15.43 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 )
  329. 15.43 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 )
  330. 15.52 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 )
  331. 15.52 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 )
  332. 15.52 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 )
  333. 15.52 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 )
  334. 15.53 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 )
  335. 15.53 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 )
  336. 15.65 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 )
  337. 15.79 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 )
  338. 15.79 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 )
  339. 15.79 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 )
  340. 15.79 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 )
  341. 16.15 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 )
  342. 16.15 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 )
  343. 16.25 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 )
  344. 16.25 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 )
  345. 16.25 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 )
  346. 16.25 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 )
  347. 16.25 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 )
  348. 16.25 s [genvalidity-sydtest] [34 of 34] Compiling Test.Syd.Validity ( src/Test/Syd/Validity.hs, dist/build/Test/Syd/Validity.p_o )
  349. 18.57 s [genvalidity-sydtest] Preprocessing test suite 'genvalidity-sydtest-test' for genvalidity-sydtest-1.0.1.0...
  350. 18.62 s [genvalidity-sydtest] Building test suite 'genvalidity-sydtest-test' for genvalidity-sydtest-1.0.1.0...
  351. 18.69 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 )
  352. 18.85 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 )
  353. 18.90 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 )
  354. 18.90 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 )
  355. 18.90 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 )
  356. 18.90 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 )
  357. 18.90 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 )
  358. 18.90 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 )
  359. 19.05 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 )
  360. 19.05 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 )
  361. 19.05 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 )
  362. 19.05 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 )
  363. 19.05 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 )
  364. 19.05 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 )
  365. 19.05 s [genvalidity-sydtest] [15 of 15] Compiling Main ( test/Spec.hs, dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test-tmp/Main.o )
  366. 19.41 s [genvalidity-sydtest] [16 of 16] Linking dist/build/genvalidity-sydtest-test/genvalidity-sydtest-test
  367. 20.86 s [genvalidity-sydtest] Phase: checkPhase
  368. 21.25 s [genvalidity-sydtest] Running 1 test suites...
  369. 21.25 s [genvalidity-sydtest] Test suite genvalidity-sydtest-test: RUNNING...
  370. 21.32 s [genvalidity-sydtest] Tests:
  371. 21.32 s [genvalidity-sydtest]
  372. 21.32 s [genvalidity-sydtest] Test.Syd.Validity.MonoidSpec
  373. 21.32 s [genvalidity-sydtest] Monoid [Int]
  374. 21.32 s [genvalidity-sydtest] mappend :: [Int] -> [Int] -> [Int]
  375. 21.32 s [genvalidity-sydtest] ✓ is an associative operation for "valid :: ([Int],[Int],[Int])" 9.81 ms
  376. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  377. 21.32 s [genvalidity-sydtest] mempty :: [Int]
  378. 21.32 s [genvalidity-sydtest] ✓ is the identity for mappend :: [Int] -> [Int] -> [Int] for "valid :: [Int]" 12.29 ms
  379. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  380. 21.32 s [genvalidity-sydtest] mconcat :: [[Int]] -> [Int]
  381. 21.32 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "valid :: [[Int]]" 11.72 ms
  382. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  383. 21.32 s [genvalidity-sydtest] Monoid [Int]
  384. 21.32 s [genvalidity-sydtest] mconcat :: [[Int]] -> [Int]
  385. 21.32 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "arbitrary :: [[Int]]" 12.02 ms
  386. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  387. 21.32 s [genvalidity-sydtest] mempty :: [Int]
  388. 21.32 s [genvalidity-sydtest] ✓ is the identity for mappend :: [Int] -> [Int] -> [Int] for "arbitrary :: [Int]" 10.70 ms
  389. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  390. 21.32 s [genvalidity-sydtest] mappend :: [Int] -> [Int] -> [Int]
  391. 21.32 s [genvalidity-sydtest] ✓ is an associative operation for "arbitrary :: ([Int],[Int],[Int])" 9.02 ms
  392. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  393. 21.32 s [genvalidity-sydtest] Monoid ([Ratio Integer])
  394. 21.32 s [genvalidity-sydtest] mappend :: ([Ratio Integer]) -> ([Ratio Integer]) -> ([Ratio Integer])
  395. 21.32 s [genvalidity-sydtest] ✓ is an associative operation for "valid :: (([Ratio Integer],[Ratio Integer],[Ratio Integer]))" 36.48 ms
  396. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  397. 21.32 s [genvalidity-sydtest] mempty :: ([Ratio Integer])
  398. 21.32 s [genvalidity-sydtest] ✓ is the identity for mappend :: ([Ratio Integer]) -> ([Ratio Integer]) -> ([Ratio Integer]) for "valid :: ([Ratio Integer])" 25.14 ms
  399. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  400. 21.32 s [genvalidity-sydtest] mconcat :: [([Ratio Integer])] -> ([Ratio Integer])
  401. 21.32 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "valid :: ([[Ratio Integer]])" 20.83 ms
  402. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  403. 21.32 s [genvalidity-sydtest] Monoid [Char]
  404. 21.32 s [genvalidity-sydtest] mappend :: [Char] -> [Char] -> [Char]
  405. 21.32 s [genvalidity-sydtest] ✓ is an associative operation for "singleton list of 'a' :: ([Char],[Char],[Char])" 0.77 ms
  406. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  407. 21.32 s [genvalidity-sydtest] mempty :: [Char]
  408. 21.32 s [genvalidity-sydtest] ✓ is the identity for mappend :: [Char] -> [Char] -> [Char] for "singleton list of 'a' :: [Char]" 8.00 ms
  409. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  410. 21.32 s [genvalidity-sydtest] mconcat :: [[Char]] -> [Char]
  411. 21.32 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "singleton list of 'a' :: [[Char]]" 8.08 ms
  412. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  413. 21.32 s [genvalidity-sydtest] Test.Syd.Validity.OrdSpec
  414. 21.32 s [genvalidity-sydtest] Ord (Ratio Integer)
  415. 21.32 s [genvalidity-sydtest] "max :: (Ratio Integer -> Ratio Integer -> Ratio Integer)"
  416. 21.32 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid (Ratio Integer)"'s 9.66 ms
  417. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  418. 21.32 s [genvalidity-sydtest] (>=) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  419. 21.32 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 11.59 ms
  420. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  421. 21.32 s [genvalidity-sydtest] ✓ is antisymmetric for "valid (Ratio Integer)"'s 11.56 ms
  422. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  423. 21.32 s [genvalidity-sydtest] ✓ is reflexive for "valid (Ratio Integer)"'s 8.81 ms
  424. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  425. 21.32 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid (Ratio Integer)"'s 14.50 ms
  426. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  427. 21.32 s [genvalidity-sydtest] "min :: (Ratio Integer -> Ratio Integer -> Ratio Integer)"
  428. 21.32 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid (Ratio Integer)"'s 8.83 ms
  429. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  430. 21.32 s [genvalidity-sydtest] (<=) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  431. 21.32 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid (Ratio Integer)"'s 9.58 ms
  432. 21.32 s [genvalidity-sydtest] passed for all of 100 inputs.
  433. 21.34 s [genvalidity-sydtest] ✓ is reflexive for "valid (Ratio Integer)"'s 7.70 ms
  434. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  435. 21.34 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 8.85 ms
  436. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  437. 21.34 s [genvalidity-sydtest] ✓ is antisymmetric for "valid (Ratio Integer)"'s 16.76 ms
  438. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  439. 21.34 s [genvalidity-sydtest] (>) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  440. 21.34 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "valid (Ratio Integer)"'s 13.93 ms
  441. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  442. 21.34 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 16.77 ms
  443. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  444. 21.34 s [genvalidity-sydtest] ✓ is antireflexive for "valid (Ratio Integer)"'s 11.37 ms
  445. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  446. 21.34 s [genvalidity-sydtest] (<) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  447. 21.34 s [genvalidity-sydtest] ✓ is antireflexive for "valid (Ratio Integer)"'s 13.81 ms
  448. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  449. 21.34 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "valid (Ratio Integer)"'s 15.57 ms
  450. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  451. 21.34 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"'s 15.43 ms
  452. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  453. 21.34 s [genvalidity-sydtest] Ord Int
  454. 21.34 s [genvalidity-sydtest] (<=) :: Int -> Int -> Bool
  455. 21.34 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "arbitrary Int"'s 8.95 ms
  456. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  457. 21.34 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 9.61 ms
  458. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  459. 21.34 s [genvalidity-sydtest] ✓ is reflexive for "arbitrary Int"'s 9.65 ms
  460. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  461. 21.34 s [genvalidity-sydtest] ✓ is antisymmetric for "arbitrary Int"'s 9.62 ms
  462. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  463. 21.34 s [genvalidity-sydtest] "min :: (Int -> Int -> Int)"
  464. 21.34 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "arbitrary Int"'s 8.93 ms
  465. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  466. 21.34 s [genvalidity-sydtest] (>) :: Int -> Int -> Bool
  467. 21.34 s [genvalidity-sydtest] ✓ is antireflexive for "arbitrary Int"'s 8.86 ms
  468. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  469. 21.34 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 8.78 ms
  470. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  471. 21.34 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "arbitrary Int"'s 8.21 ms
  472. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  473. 21.34 s [genvalidity-sydtest] "max :: (Int -> Int -> Int)"
  474. 21.34 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "arbitrary Int"'s 8.14 ms
  475. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  476. 21.34 s [genvalidity-sydtest] (<) :: Int -> Int -> Bool
  477. 21.34 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 8.79 ms
  478. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  479. 21.34 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "arbitrary Int"'s 8.81 ms
  480. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  481. 21.34 s [genvalidity-sydtest] ✓ is antireflexive for "arbitrary Int"'s 7.89 ms
  482. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  483. 21.34 s [genvalidity-sydtest] (>=) :: Int -> Int -> Bool
  484. 21.34 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"'s 8.86 ms
  485. 21.34 s [genvalidity-sydtest] passed for all of 100 inputs.
  486. 21.36 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "arbitrary Int"'s 8.95 ms
  487. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  488. 21.36 s [genvalidity-sydtest] ✓ is reflexive for "arbitrary Int"'s 8.97 ms
  489. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  490. 21.36 s [genvalidity-sydtest] ✓ is antisymmetric for "arbitrary Int"'s 8.90 ms
  491. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  492. 21.36 s [genvalidity-sydtest] Ord Int
  493. 21.36 s [genvalidity-sydtest] (>=) :: Int -> Int -> Bool
  494. 21.36 s [genvalidity-sydtest] ✓ is antisymmetric for "valid Int"'s 8.70 ms
  495. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  496. 21.36 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "valid Int"'s 8.70 ms
  497. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  498. 21.36 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 6.33 ms
  499. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  500. 21.36 s [genvalidity-sydtest] ✓ is reflexive for "valid Int"'s 6.33 ms
  501. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  502. 21.36 s [genvalidity-sydtest] "max :: (Int -> Int -> Int)"
  503. 21.36 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "valid Int"'s 6.31 ms
  504. 21.36 s [genvalidity-sydtest] passed for all of 100 inputs.
  505. 21.36 s [genvalidity-sydtest] "min :: (Int -> Int -> Int)"
  506. 21.37 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "valid Int"'s 6.47 ms
  507. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  508. 21.37 s [genvalidity-sydtest] (>) :: Int -> Int -> Bool
  509. 21.37 s [genvalidity-sydtest] ✓ is antireflexive for "valid Int"'s 3.67 ms
  510. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  511. 21.37 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "valid Int"'s 5.11 ms
  512. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  513. 21.37 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 3.75 ms
  514. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  515. 21.37 s [genvalidity-sydtest] (<) :: Int -> Int -> Bool
  516. 21.37 s [genvalidity-sydtest] ✓ is antireflexive for "valid Int"'s 3.63 ms
  517. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  518. 21.37 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 3.63 ms
  519. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  520. 21.37 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "valid Int"'s 4.17 ms
  521. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  522. 21.37 s [genvalidity-sydtest] (<=) :: Int -> Int -> Bool
  523. 21.37 s [genvalidity-sydtest] ✓ is antisymmetric for "valid Int"'s 4.13 ms
  524. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  525. 21.37 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "valid Int"'s 4.97 ms
  526. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  527. 21.37 s [genvalidity-sydtest] ✓ is transitive for "valid Int"'s 4.23 ms
  528. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  529. 21.37 s [genvalidity-sydtest] ✓ is reflexive for "valid Int"'s 4.19 ms
  530. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  531. 21.37 s [genvalidity-sydtest] Ord Int
  532. 21.37 s [genvalidity-sydtest] (>=) :: Int -> Int -> Bool
  533. 21.37 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 4.76 ms
  534. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  535. 21.37 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= LT) for "even Int"'s 4.93 ms
  536. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  537. 21.37 s [genvalidity-sydtest] ✓ is antisymmetric for "even Int"'s 4.30 ms
  538. 21.37 s [genvalidity-sydtest] passed for all of 100 inputs.
  539. 21.58 s [genvalidity-sydtest] ✓ is reflexive for "even Int"'s 4.36 ms
  540. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  541. 21.58 s [genvalidity-sydtest] (<) :: Int -> Int -> Bool
  542. 21.58 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == LT) for "even Int"'s 5.78 ms
  543. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  544. 21.58 s [genvalidity-sydtest] ✓ is antireflexive for "even Int"'s 4.39 ms
  545. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  546. 21.58 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 4.32 ms
  547. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  548. 21.58 s [genvalidity-sydtest] (>) :: Int -> Int -> Bool
  549. 21.58 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 4.23 ms
  550. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  551. 21.58 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b == GT) for "even Int"'s 4.09 ms
  552. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  553. 21.58 s [genvalidity-sydtest] ✓ is antireflexive for "even Int"'s 4.14 ms
  554. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  555. 21.58 s [genvalidity-sydtest] "max :: (Int -> Int -> Int)"
  556. 21.58 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a >= b then a else b) for "even Int"'s 4.14 ms
  557. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  558. 21.58 s [genvalidity-sydtest] "min :: (Int -> Int -> Int)"
  559. 21.58 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> if a <= b then a else b) for "even Int"'s 4.16 ms
  560. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  561. 21.58 s [genvalidity-sydtest] (<=) :: Int -> Int -> Bool
  562. 21.58 s [genvalidity-sydtest] ✓ is transitive for "even Int"'s 4.22 ms
  563. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  564. 21.58 s [genvalidity-sydtest] ✓ is reflexive for "even Int"'s 4.23 ms
  565. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  566. 21.58 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> compare a b /= GT) for "even Int"'s 5.95 ms
  567. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  568. 21.58 s [genvalidity-sydtest] ✓ is antisymmetric for "even Int"'s 6.14 ms
  569. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  570. 21.58 s [genvalidity-sydtest] Test.Syd.Validity.MonadSpec
  571. 21.58 s [genvalidity-sydtest] Monad []
  572. 21.58 s [genvalidity-sydtest] relation with Applicative []
  573. 21.58 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "[] of ints :: [Int]" 6.32 ms
  574. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  575. 21.58 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" 12.47 ms
  576. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  577. 21.58 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" 10.64 ms
  578. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  579. 21.58 s [genvalidity-sydtest] relation with Functor []
  580. 21.58 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" 6.72 ms
  581. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  582. 21.58 s [genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
  583. 21.58 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])" 285.63 ms
  584. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  585. 21.58 s [genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
  586. 21.58 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" 10.14 ms
  587. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  588. 21.58 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" 11.37 ms
  589. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  590. 21.58 s [genvalidity-sydtest] Monad Maybe
  591. 21.58 s [genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  592. 21.58 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)" 10.17 ms
  593. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  594. 21.58 s [genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  595. 21.58 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" 9.66 ms
  596. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  597. 21.58 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" 9.58 ms
  598. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  599. 21.58 s [genvalidity-sydtest] relation with Functor Maybe
  600. 21.58 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" 10.66 ms
  601. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  602. 21.58 s [genvalidity-sydtest] relation with Applicative Maybe
  603. 21.58 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" 10.66 ms
  604. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  605. 21.58 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" 10.82 ms
  606. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  607. 21.58 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" 10.60 ms
  608. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  609. 21.58 s [genvalidity-sydtest] Monad Maybe
  610. 21.58 s [genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  611. 21.58 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)" 9.40 ms
  612. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  613. 21.58 s [genvalidity-sydtest] relation with Applicative Maybe
  614. 21.58 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "Maybe of ints :: (Maybe Int)" 8.80 ms
  615. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  616. 21.58 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Maybe of ints :: (Maybe Int)" and "Maybe of ints :: (Maybe Int)" 8.76 ms
  617. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  618. 21.58 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "Maybe of additions :: (Maybe (Int -> Int))" and "Maybe of ints :: (Maybe Int)" 8.77 ms
  619. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  620. 21.58 s [genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  621. 21.58 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Maybe of ints :: (Maybe Int)" 8.79 ms
  622. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  623. 21.58 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> Maybe Int)" 8.74 ms
  624. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  625. 21.58 s [genvalidity-sydtest] relation with Functor Maybe
  626. 21.58 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "Maybe of ints :: (Maybe Int)" 10.48 ms
  627. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  628. 21.58 s [genvalidity-sydtest] Monad (Either Int)
  629. 21.58 s [genvalidity-sydtest] return :: a -> (Either Int) a and (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b
  630. 21.58 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "(Either Int) of ints :: (Either Int Int)" 10.55 ms
  631. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  632. 21.58 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)" 10.49 ms
  633. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  634. 21.58 s [genvalidity-sydtest] relation with Applicative (Either Int)
  635. 21.58 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "(Either Int) of additions :: (Either Int (Int -> Int))" and "(Either Int) of ints :: (Either Int Int)" 10.45 ms
  636. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  637. 21.58 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "(Either Int) of ints :: (Either Int Int)" 10.36 ms
  638. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  639. 21.58 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "(Either Int) of ints :: (Either Int Int)" and "(Either Int) of ints :: (Either Int Int)" 9.55 ms
  640. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  641. 21.58 s [genvalidity-sydtest] (>>=) :: (Either Int) a -> (b -> (Either Int) a) -> (Either Int) b
  642. 21.58 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)" 9.15 ms
  643. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  644. 21.58 s [genvalidity-sydtest] relation with Functor (Either Int)
  645. 21.58 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "(Either Int) of ints :: (Either Int Int)" 11.42 ms
  646. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  647. 21.58 s [genvalidity-sydtest] Monad Maybe
  648. 21.58 s [genvalidity-sydtest] relation with Functor Maybe
  649. 21.58 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "appends :: ([Char] -> [Char])" and "Just an ABC :: (Maybe [Char])" 12.50 ms
  650. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  651. 21.58 s [genvalidity-sydtest] relation with Applicative Maybe
  652. 21.58 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "Just an ABC :: (Maybe [Char])" 7.16 ms
  653. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  654. 21.58 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "Just an ABC :: (Maybe [Char])" and "Just an ABC :: (Maybe [Char])" 8.52 ms
  655. 21.58 s [genvalidity-sydtest] passed for all of 100 inputs.
  656. 21.58 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "append 'a' in Just :: (Maybe ([Char] -> [Char]))" and "Just an ABC :: (Maybe [Char])" 11.28 ms
  657. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  658. 21.59 s [genvalidity-sydtest] (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  659. 21.59 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])" 12.82 ms
  660. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  661. 21.59 s [genvalidity-sydtest] return :: a -> Maybe a and (>>=) :: Maybe a -> (b -> Maybe a) -> Maybe b
  662. 21.59 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "Just an ABC :: (Maybe [Char])" 11.25 ms
  663. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  664. 21.59 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "ABC :: [Char]" and "justisation :: ([Char] -> Maybe [Char])" 10.12 ms
  665. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  666. 21.59 s [genvalidity-sydtest] Monad []
  667. 21.59 s [genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
  668. 21.59 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])" 14.35 ms
  669. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  670. 21.59 s [genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
  671. 21.59 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "list of fives :: [Int]" 14.32 ms
  672. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  673. 21.59 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "four :: Int" and "singletonisation :: (Int -> [Int])" 11.67 ms
  674. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  675. 21.59 s [genvalidity-sydtest] relation with Applicative []
  676. 21.59 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "list of fives :: [Int]" 14.12 ms
  677. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  678. 21.59 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "list of fives :: [Int]" and "list of sixes :: [Int]" 14.93 ms
  679. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  680. 21.59 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "increment in list :: ([Int -> Int])" and "list of fives :: [Int]" 14.13 ms
  681. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  682. 21.59 s [genvalidity-sydtest] relation with Functor []
  683. 21.59 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "factorisations :: (Int -> Int)" and "list of fives :: [Int]" 14.10 ms
  684. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  685. 21.59 s [genvalidity-sydtest] Monad []
  686. 21.59 s [genvalidity-sydtest] relation with Functor []
  687. 21.59 s [genvalidity-sydtest] ✓ satisfies 'fmap f xs = xs >>= return . f' for "increments :: (Int -> Int)" and "[] of ints :: [Int]" 14.89 ms
  688. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  689. 21.59 s [genvalidity-sydtest] (>>=) :: [] a -> (b -> [] a) -> [] b
  690. 21.59 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])" 211.85 ms
  691. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  692. 21.59 s [genvalidity-sydtest] relation with Applicative []
  693. 21.59 s [genvalidity-sydtest] ✓ satisfies '(>>) = (*>)' for "[] of ints :: [Int]" and "[] of ints :: [Int]" 16.27 ms
  694. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  695. 21.59 s [genvalidity-sydtest] ✓ satisfies 'pure = return' for "[] of ints :: [Int]" 14.60 ms
  696. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  697. 21.59 s [genvalidity-sydtest] ✓ satisfies '(<*>) = ap' for "[] of additions :: ([Int -> Int])" and "[] of ints :: [Int]" 14.56 ms
  698. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  699. 21.59 s [genvalidity-sydtest] return :: a -> [] a and (>>=) :: [] a -> (b -> [] a) -> [] b
  700. 21.59 s [genvalidity-sydtest] ✓ satisfy the first Monad law: 'return a >>= k = k a' for "int :: Int" and "perturbations using the int :: (Int -> [Int])" 14.53 ms
  701. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  702. 21.59 s [genvalidity-sydtest] ✓ satisfy the second Monad law: 'm >>= return = m' for "[] of ints :: [Int]" 14.46 ms
  703. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  704. 21.59 s [genvalidity-sydtest] Test.Syd.Validity.EqSpec
  705. 21.59 s [genvalidity-sydtest] Eq (Ratio Integer)
  706. 21.59 s [genvalidity-sydtest] (==) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  707. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "valid (Ratio Integer)"s 14.51 ms
  708. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  709. 21.59 s [genvalidity-sydtest] ✓ is transitive for "valid (Ratio Integer)"s 14.42 ms
  710. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  711. 21.59 s [genvalidity-sydtest] ✓ is reflexive for "valid (Ratio Integer)"s 13.69 ms
  712. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  713. 21.59 s [genvalidity-sydtest] ✓ is symmetric for "valid (Ratio Integer)"s 13.68 ms
  714. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  715. 21.59 s [genvalidity-sydtest] (/=) :: (Ratio Integer) -> (Ratio Integer) -> Bool
  716. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "valid (Ratio Integer)"s 13.77 ms
  717. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  718. 21.59 s [genvalidity-sydtest] ✓ is antireflexive for "valid (Ratio Integer)"s 11.30 ms
  719. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  720. 21.59 s [genvalidity-sydtest] Eq Int
  721. 21.59 s [genvalidity-sydtest] (==) :: Int -> Int -> Bool
  722. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "valid Int"s 11.28 ms
  723. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  724. 21.59 s [genvalidity-sydtest] ✓ is reflexive for "valid Int"s 9.78 ms
  725. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  726. 21.59 s [genvalidity-sydtest] ✓ is transitive for "valid Int"s 9.99 ms
  727. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  728. 21.59 s [genvalidity-sydtest] ✓ is symmetric for "valid Int"s 7.05 ms
  729. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  730. 21.59 s [genvalidity-sydtest] (/=) :: Int -> Int -> Bool
  731. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "valid Int"s 6.99 ms
  732. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  733. 21.59 s [genvalidity-sydtest] ✓ is antireflexive for "valid Int"s 7.04 ms
  734. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  735. 21.59 s [genvalidity-sydtest] Eq Int
  736. 21.59 s [genvalidity-sydtest] (==) :: Int -> Int -> Bool
  737. 21.59 s [genvalidity-sydtest] ✓ is transitive for "arbitrary Int"s 15.64 ms
  738. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  739. 21.59 s [genvalidity-sydtest] ✓ is symmetric for "arbitrary Int"s 15.57 ms
  740. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  741. 21.59 s [genvalidity-sydtest] ✓ is reflexive for "arbitrary Int"s 15.89 ms
  742. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  743. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "arbitrary Int"s 16.03 ms
  744. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  745. 21.59 s [genvalidity-sydtest] (/=) :: Int -> Int -> Bool
  746. 21.59 s [genvalidity-sydtest] ✓ is antireflexive for "arbitrary Int"s 15.99 ms
  747. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  748. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "arbitrary Int"s 15.87 ms
  749. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  750. 21.59 s [genvalidity-sydtest] Eq Int
  751. 21.59 s [genvalidity-sydtest] (/=) :: Int -> Int -> Bool
  752. 21.59 s [genvalidity-sydtest] ✓ is antireflexive for "even Int"s 15.82 ms
  753. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  754. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a == b) for "even Int"s 15.37 ms
  755. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  756. 21.59 s [genvalidity-sydtest] (==) :: Int -> Int -> Bool
  757. 21.59 s [genvalidity-sydtest] ✓ is equivalent to (\a b -> not $ a /= b) for "even Int"s 15.14 ms
  758. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  759. 21.59 s [genvalidity-sydtest] ✓ is symmetric for "even Int"s 15.08 ms
  760. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  761. 21.59 s [genvalidity-sydtest] ✓ is reflexive for "even Int"s 13.97 ms
  762. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  763. 21.59 s [genvalidity-sydtest] ✓ is transitive for "even Int"s 13.98 ms
  764. 21.59 s [genvalidity-sydtest] passed for all of 100 inputs.
  765. 21.60 s [genvalidity-sydtest] Test.Syd.Validity.ArbitrarySpec
  766. 21.60 s [genvalidity-sydtest] Arbitrary Int
  767. 21.60 s [genvalidity-sydtest] arbitrary :: Gen Int
  768. 21.60 s [genvalidity-sydtest] ✓ only generates valid values 13.98 ms
  769. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  770. 21.60 s [genvalidity-sydtest] Test.Syd.Validity.Operations.CommutativitySpec
  771. 21.60 s [genvalidity-sydtest] commutative
  772. 21.60 s [genvalidity-sydtest] ✓ cross product is not commutative 34.23 ms
  773. 21.60 s [genvalidity-sydtest] passed for all of 1 inputs.
  774. 21.60 s [genvalidity-sydtest] ✓ + is commutative 13.91 ms
  775. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  776. 21.60 s [genvalidity-sydtest] ✓ * is commutative 13.86 ms
  777. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  778. 21.60 s [genvalidity-sydtest] ✓ - is not commutative 96.26 ms
  779. 21.60 s [genvalidity-sydtest] passed for all of 1 inputs.
  780. 21.60 s [genvalidity-sydtest] ✓ dot product is commutative 16.84 ms
  781. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  782. 21.60 s [genvalidity-sydtest] Test.Syd.Validity.GenValiditySpec
  783. 21.60 s [genvalidity-sydtest] GenValid (Ratio Integer)
  784. 21.60 s [genvalidity-sydtest] genValid :: Gen (Ratio Integer)
  785. 21.60 s [genvalidity-sydtest] ✓ only generates valid '(Ratio Integer)'s 21.28 ms
  786. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  787. 21.60 s [genvalidity-sydtest] GenValid (Ratio Integer)
  788. 21.60 s [genvalidity-sydtest] genValid :: Gen (Ratio Integer)
  789. 21.60 s [genvalidity-sydtest] ✓ only generates valid '(Ratio Integer)'s 16.73 ms
  790. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  791. 21.60 s [genvalidity-sydtest] Test.Syd.Validity.ShrinkingSpec
  792. 21.60 s [genvalidity-sydtest] shrinkValid :: (Int -> [Int])
  793. 21.60 s [genvalidity-sydtest] ✓ preserves validity 16.71 ms
  794. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  795. 21.60 s [genvalidity-sydtest] ✓ never shrinks to itself for valid values 31.15 ms
  796. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  797. 21.60 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid
  798. 21.60 s [genvalidity-sydtest] ✓ [Ordering] 49.76 ms
  799. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  800. 21.60 s [genvalidity-sydtest] ✓ Ordering 27.03 ms
  801. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  802. 21.60 s [genvalidity-sydtest] shrinkValid :: (Ratio Int8 -> [Ratio Int8])
  803. 21.60 s [genvalidity-sydtest] ✓ never shrinks to itself for valid values 31.01 ms
  804. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  805. 21.60 s [genvalidity-sydtest] ✓ preserves validity 33.79 ms
  806. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  807. 21.60 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItself
  808. 21.60 s [genvalidity-sydtest] ✓ [Int] 147.98 ms
  809. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  810. 21.60 s [genvalidity-sydtest] ✓ Int 20.80 ms
  811. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  812. 21.60 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItself
  813. 21.60 s [genvalidity-sydtest] ✓ [Ordering] 28.40 ms
  814. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  815. 21.60 s [genvalidity-sydtest] ✓ Ordering 17.96 ms
  816. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  817. 21.60 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid
  818. 21.60 s [genvalidity-sydtest] ✓ Ordering 17.91 ms
  819. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  820. 21.60 s [genvalidity-sydtest] ✓ [Ordering] 46.87 ms
  821. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  822. 21.60 s [genvalidity-sydtest] Test.Syd.Validity.FunctorSpec
  823. 21.60 s [genvalidity-sydtest] Functor Maybe
  824. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
  825. 21.60 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])" 22.09 ms
  826. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  827. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Just an ABC :: (Maybe [Char])" 17.87 ms
  828. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  829. 21.60 s [genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
  830. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "ABC :: [Char]" and "Just an ABC :: (Maybe [Char])" 19.35 ms
  831. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  832. 21.60 s [genvalidity-sydtest] Functor []
  833. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
  834. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "list of fives :: [Int]" 20.57 ms
  835. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  836. 21.60 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)" 21.82 ms
  837. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  838. 21.60 s [genvalidity-sydtest] (<$) :: a -> [] b -> [] a
  839. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "four :: Int" and "list of fives :: [Int]" 21.80 ms
  840. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  841. 21.60 s [genvalidity-sydtest] Functor []
  842. 21.60 s [genvalidity-sydtest] (<$) :: a -> [] b -> [] a
  843. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" 24.67 ms
  844. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  845. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
  846. 21.60 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)" 24.69 ms
  847. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  848. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" 24.68 ms
  849. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  850. 21.60 s [genvalidity-sydtest] Functor (Either Int)
  851. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> (Either Int) a -> (Either Int) b
  852. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "(Either Int) of ints :: (Either Int Int)" 22.14 ms
  853. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  854. 21.60 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)" 23.44 ms
  855. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  856. 21.60 s [genvalidity-sydtest] (<$) :: a -> (Either Int) b -> (Either Int) a
  857. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "(Either Int) of ints :: (Either Int Int)" 21.68 ms
  858. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  859. 21.60 s [genvalidity-sydtest] Functor []
  860. 21.60 s [genvalidity-sydtest] (<$) :: a -> [] b -> [] a
  861. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "[] of ints :: [Int]" 20.50 ms
  862. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  863. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> [] a -> [] b
  864. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "[] of ints :: [Int]" 15.56 ms
  865. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  866. 21.60 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)" 25.60 ms
  867. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  868. 21.60 s [genvalidity-sydtest] Functor Maybe
  869. 21.60 s [genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
  870. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" 18.79 ms
  871. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  872. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
  873. 21.60 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)" 18.80 ms
  874. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  875. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" 18.81 ms
  876. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  877. 21.60 s [genvalidity-sydtest] Functor ((,) Int)
  878. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> ((,) Int) a -> ((,) Int) b
  879. 21.60 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)" 23.01 ms
  880. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  881. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "((,) Int) of ints :: (Int,Int)" 25.49 ms
  882. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  883. 21.60 s [genvalidity-sydtest] (<$) :: a -> ((,) Int) b -> ((,) Int) a
  884. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "((,) Int) of ints :: (Int,Int)" 17.92 ms
  885. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  886. 21.60 s [genvalidity-sydtest] Functor Maybe
  887. 21.60 s [genvalidity-sydtest] (<$) :: a -> Maybe b -> Maybe a
  888. 21.60 s [genvalidity-sydtest] ✓ is equivalent to its default implementation for "int :: Int" and "Maybe of ints :: (Maybe Int)" 21.22 ms
  889. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  890. 21.60 s [genvalidity-sydtest] fmap :: (a -> b) -> Maybe a -> Maybe b
  891. 21.60 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)" 22.80 ms
  892. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  893. 21.60 s [genvalidity-sydtest] ✓ satisfies the first Fuctor law: 'fmap id == id' for "Maybe of ints :: (Maybe Int)" 21.37 ms
  894. 21.60 s [genvalidity-sydtest] passed for all of 100 inputs.
  895. 21.60 s [genvalidity-sydtest] Test.Syd.Validity.ShowSpec
  896. 21.60 s [genvalidity-sydtest] Show (Ratio Integer) and Read (Ratio Integer)
  897. 21.60 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for arbitrary values 22.81 ms
  898. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  899. 21.61 s [genvalidity-sydtest] Show Int and Read Int
  900. 21.61 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for valid values 22.78 ms
  901. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  902. 21.61 s [genvalidity-sydtest] Show (Ratio Integer) and Read (Ratio Integer)
  903. 21.61 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for valid values 24.31 ms
  904. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  905. 21.61 s [genvalidity-sydtest] Show Int and Read Int
  906. 21.61 s [genvalidity-sydtest] ✓ are implemented such that read . show == id for even values 19.87 ms
  907. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  908. 21.61 s [genvalidity-sydtest] Test.Syd.Validity.ApplicativeSpec
  909. 21.61 s [genvalidity-sydtest] Applicative []
  910. 21.61 s [genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
  911. 21.61 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" 22.01 ms
  912. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  913. 21.61 s [genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
  914. 21.61 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" 18.49 ms
  915. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  916. 21.61 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]" 19.86 ms
  917. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  918. 21.61 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" 20.98 ms
  919. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  920. 21.61 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]" 20.13 ms
  921. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  922. 21.61 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 18.17 ms
  923. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  924. 21.61 s [genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
  925. 21.61 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" 29.39 ms
  926. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  927. 21.61 s [genvalidity-sydtest] Applicative (Either Int)
  928. 21.61 s [genvalidity-sydtest] (*>) :: (Either Int) a -> (Either Int) b -> (Either Int) b
  929. 21.61 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" 17.58 ms
  930. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  931. 21.61 s [genvalidity-sydtest] (<*) :: (Either Int) a -> (Either Int) b -> (Either Int) a
  932. 21.61 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)" 20.05 ms
  933. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  934. 21.61 s [genvalidity-sydtest] pure :: a -> (Either Int) a and (<*>) :: (Either Int) (a -> b) -> (Either Int) a -> (Either Int) b
  935. 21.61 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "(Either Int) of ints :: (Either Int Int)" 17.26 ms
  936. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  937. 21.61 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)" 17.57 ms
  938. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  939. 21.61 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)" 17.59 ms
  940. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  941. 21.61 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 16.86 ms
  942. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  943. 21.61 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" 16.53 ms
  944. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  945. 21.61 s [genvalidity-sydtest] Applicative Maybe
  946. 21.61 s [genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
  947. 21.61 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 15.68 ms
  948. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  949. 21.61 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" 14.29 ms
  950. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  951. 21.61 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)" 14.13 ms
  952. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  953. 21.61 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)" 14.14 ms
  954. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  955. 21.61 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" 13.90 ms
  956. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  957. 21.61 s [genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
  958. 21.61 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)" 13.96 ms
  959. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  960. 21.61 s [genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
  961. 21.61 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" 12.56 ms
  962. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  963. 21.61 s [genvalidity-sydtest] Applicative Maybe
  964. 21.61 s [genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
  965. 21.61 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])" 12.62 ms
  966. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  967. 21.61 s [genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
  968. 21.61 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]" 12.72 ms
  969. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  970. 21.61 s [genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
  971. 21.61 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Just an ABC :: (Maybe [Char])" 12.74 ms
  972. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  973. 21.61 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])" 11.32 ms
  974. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  975. 21.61 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "prepends :: ([Char] -> [Char])" sequenced with "ABC :: [Char]" 11.38 ms
  976. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  977. 21.61 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])" 15.12 ms
  978. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  979. 21.61 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]" 19.44 ms
  980. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  981. 21.61 s [genvalidity-sydtest] Applicative []
  982. 21.61 s [genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
  983. 21.61 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" 35.64 ms
  984. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  985. 21.61 s [genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
  986. 21.61 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 16.86 ms
  987. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  988. 21.61 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]" 19.79 ms
  989. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  990. 21.61 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]" 15.10 ms
  991. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  992. 21.61 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "[] of ints :: [Int]" 14.77 ms
  993. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  994. 21.61 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "[] of increments :: ([Int -> Int])" sequenced with "int :: Int" 12.58 ms
  995. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  996. 21.61 s [genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
  997. 21.61 s [genvalidity-sydtest] ✓ is equivalent to its default implementation 'u <* v = pure const <*> u <*> v' for "[] of ints :: Int" behind "[] of ints :: [Int]" 22.55 ms
  998. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  999. 21.61 s [genvalidity-sydtest] Applicative []
  1000. 21.61 s [genvalidity-sydtest] pure :: a -> [] a and (<*>) :: [] (a -> b) -> [] a -> [] b
  1001. 21.61 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "four :: Int" 12.44 ms
  1002. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  1003. 21.61 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "increments in a list :: ([Int -> Int])" sequenced with "four :: Int" 11.67 ms
  1004. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  1005. 21.61 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]" 14.51 ms
  1006. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  1007. 21.61 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "list of fives :: [Int]" 11.65 ms
  1008. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  1009. 21.61 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]" 14.42 ms
  1010. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  1011. 21.61 s [genvalidity-sydtest] (<*) :: [] a -> [] b -> [] a
  1012. 21.61 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]" 19.05 ms
  1013. 21.61 s [genvalidity-sydtest] passed for all of 100 inputs.
  1014. 21.61 s [genvalidity-sydtest] (*>) :: [] a -> [] b -> [] b
  1015. 21.61 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" 19.08 ms
  1016. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1017. 21.62 s [genvalidity-sydtest] Applicative Maybe
  1018. 21.62 s [genvalidity-sydtest] (*>) :: Maybe a -> Maybe b -> Maybe b
  1019. 21.62 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" 14.31 ms
  1020. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1021. 21.62 s [genvalidity-sydtest] (<*) :: Maybe a -> Maybe b -> Maybe a
  1022. 21.62 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)" 14.40 ms
  1023. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1024. 21.62 s [genvalidity-sydtest] pure :: a -> Maybe a and (<*>) :: Maybe (a -> b) -> Maybe a -> Maybe b
  1025. 21.62 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)" 14.37 ms
  1026. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1027. 21.62 s [genvalidity-sydtest] ✓ satisfy the identity law: 'pure id <*> v = v' for "Maybe of ints :: (Maybe Int)" 14.33 ms
  1028. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1029. 21.62 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)" 18.92 ms
  1030. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1031. 21.62 s [genvalidity-sydtest] ✓ satisfy the homomorphism law: 'pure f <*> pure x = pure (f x)' for "increments :: (Int -> Int)" sequenced with "int :: Int" 19.11 ms
  1032. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1033. 21.62 s [genvalidity-sydtest] ✓ satisfy the interchange law: 'u <*> pure y = pure ($ y) <*> u' for "Maybe of increments :: (Maybe (Int -> Int))" sequenced with "int :: Int" 18.95 ms
  1034. 21.62 s [genvalidity-sydtest] passed for all of 100 inputs.
  1035. 21.62 s [genvalidity-sydtest]
  1036. 21.62 s [genvalidity-sydtest] Examples: 24402
  1037. 21.62 s [genvalidity-sydtest] Passed: 246
  1038. 21.62 s [genvalidity-sydtest] Failed: 0
  1039. 21.62 s [genvalidity-sydtest] Sum of test runtimes: 4.12 seconds
  1040. 21.62 s [genvalidity-sydtest] Test suite took: 0.34 seconds
  1041. 21.62 s [genvalidity-sydtest]
  1042. 21.63 s [genvalidity-sydtest] Test suite genvalidity-sydtest-test: PASS
  1043. 21.63 s [genvalidity-sydtest] Test suite logged to:
  1044. 21.63 s [genvalidity-sydtest] dist/test/genvalidity-sydtest-1.0.1.0-genvalidity-sydtest-test.log
  1045. 21.63 s [genvalidity-sydtest] 1 of 1 test suites (1 of 1 test cases) passed.
  1046. 21.64 s [genvalidity-sydtest] Phase: haddockPhase
  1047. 21.80 s [genvalidity-sydtest] Preprocessing library for genvalidity-sydtest-1.0.1.0...
  1048. 21.81 s [genvalidity-sydtest] Running Haddock on library for genvalidity-sydtest-1.0.1.0...
  1049. 21.81 s [genvalidity-sydtest] Warning: The documentation for the following packages are not installed. No
  1050. 21.81 s [genvalidity-sydtest] links will be generated to these packages: attoparsec-0.14.4,
  1051. 21.81 s [genvalidity-sydtest] attoparsec-0.14.4, libyaml-clib-0.2.5, path-0.9.6, path-0.9.6,
  1052. 21.81 s [genvalidity-sydtest] safe-coloured-text-0.5.0.0, safe-coloured-text-layout-0.2.0.1,
  1053. 21.81 s [genvalidity-sydtest] safe-coloured-text-terminfo-0.3.0.0, vector-0.13.2.0
  1054. 22.19 s [genvalidity-sydtest] [ 1 of 34] Compiling Paths_genvalidity_sydtest ( dist/build/autogen/Paths_genvalidity_sydtest.hs, nothing )
  1055. 22.25 s [genvalidity-sydtest] [ 2 of 34] Compiling Test.Syd.Validity.Functions.Idempotence ( src/Test/Syd/Validity/Functions/Idempotence.hs, nothing )
  1056. 22.30 s [genvalidity-sydtest] [ 3 of 34] Compiling Test.Syd.Validity.Operations.Associativity ( src/Test/Syd/Validity/Operations/Associativity.hs, nothing )
  1057. 22.31 s [genvalidity-sydtest] [ 4 of 34] Compiling Test.Syd.Validity.Operations.Commutativity ( src/Test/Syd/Validity/Operations/Commutativity.hs, nothing )
  1058. 22.32 s [genvalidity-sydtest] [ 5 of 34] Compiling Test.Syd.Validity.Operations.Identity ( src/Test/Syd/Validity/Operations/Identity.hs, nothing )
  1059. 22.33 s [genvalidity-sydtest] [ 6 of 34] Compiling Test.Syd.Validity.Operations ( src/Test/Syd/Validity/Operations.hs, nothing )
  1060. 22.33 s [genvalidity-sydtest] [ 7 of 34] Compiling Test.Syd.Validity.Property.Utils ( src/Test/Syd/Validity/Property/Utils.hs, nothing )
  1061. 22.35 s [genvalidity-sydtest] [ 8 of 34] Compiling Test.Syd.Validity.GenValidity.Property ( src/Test/Syd/Validity/GenValidity/Property.hs, nothing )
  1062. 22.35 s [genvalidity-sydtest] [ 9 of 34] Compiling Test.Syd.Validity.Functions.Validity ( src/Test/Syd/Validity/Functions/Validity.hs, nothing )
  1063. 22.44 s [genvalidity-sydtest] [10 of 34] Compiling Test.Syd.Validity.Relations.Antireflexivity ( src/Test/Syd/Validity/Relations/Antireflexivity.hs, nothing )
  1064. 22.45 s [genvalidity-sydtest] [11 of 34] Compiling Test.Syd.Validity.Relations.Antisymmetry ( src/Test/Syd/Validity/Relations/Antisymmetry.hs, nothing )
  1065. 22.46 s [genvalidity-sydtest] [12 of 34] Compiling Test.Syd.Validity.Relations.Reflexivity ( src/Test/Syd/Validity/Relations/Reflexivity.hs, nothing )
  1066. 22.47 s [genvalidity-sydtest] [13 of 34] Compiling Test.Syd.Validity.Relations.Symmetry ( src/Test/Syd/Validity/Relations/Symmetry.hs, nothing )
  1067. 22.48 s [genvalidity-sydtest] [14 of 34] Compiling Test.Syd.Validity.Relations.Transitivity ( src/Test/Syd/Validity/Relations/Transitivity.hs, nothing )
  1068. 22.48 s [genvalidity-sydtest] [15 of 34] Compiling Test.Syd.Validity.Relations ( src/Test/Syd/Validity/Relations.hs, nothing )
  1069. 22.49 s [genvalidity-sydtest] [16 of 34] Compiling Test.Syd.Validity.Shrinking.Property ( src/Test/Syd/Validity/Shrinking/Property.hs, nothing )
  1070. 22.50 s [genvalidity-sydtest] [17 of 34] Compiling Test.Syd.Validity.Types ( src/Test/Syd/Validity/Types.hs, nothing )
  1071. 22.51 s [genvalidity-sydtest] [18 of 34] Compiling Test.Syd.Validity.Functions.Inverse ( src/Test/Syd/Validity/Functions/Inverse.hs, nothing )
  1072. 22.53 s [genvalidity-sydtest] [19 of 34] Compiling Test.Syd.Validity.Functions.Equivalence ( src/Test/Syd/Validity/Functions/Equivalence.hs, nothing )
  1073. 22.60 s [genvalidity-sydtest] [20 of 34] Compiling Test.Syd.Validity.Functions.CanFail ( src/Test/Syd/Validity/Functions/CanFail.hs, nothing )
  1074. 22.63 s [genvalidity-sydtest] [21 of 34] Compiling Test.Syd.Validity.Functions ( src/Test/Syd/Validity/Functions.hs, nothing )
  1075. 22.63 s [genvalidity-sydtest] [22 of 34] Compiling Test.Syd.Validity.Property ( src/Test/Syd/Validity/Property.hs, nothing )
  1076. 22.64 s [genvalidity-sydtest] [23 of 34] Compiling Test.Syd.Validity.Utils ( src/Test/Syd/Validity/Utils.hs, nothing )
  1077. 22.65 s [genvalidity-sydtest] [24 of 34] Compiling Test.Syd.Validity.Shrinking ( src/Test/Syd/Validity/Shrinking.hs, nothing )
  1078. 22.67 s [genvalidity-sydtest] [25 of 34] Compiling Test.Syd.Validity.Show ( src/Test/Syd/Validity/Show.hs, nothing )
  1079. 22.68 s [genvalidity-sydtest] [26 of 34] Compiling Test.Syd.Validity.Ord ( src/Test/Syd/Validity/Ord.hs, nothing )
  1080. 22.86 s [genvalidity-sydtest] [27 of 34] Compiling Test.Syd.Validity.Monoid ( src/Test/Syd/Validity/Monoid.hs, nothing )
  1081. 22.87 s [genvalidity-sydtest] [28 of 34] Compiling Test.Syd.Validity.Monad ( src/Test/Syd/Validity/Monad.hs, nothing )
  1082. 23.03 s [genvalidity-sydtest] [29 of 34] Compiling Test.Syd.Validity.GenValidity ( src/Test/Syd/Validity/GenValidity.hs, nothing )
  1083. 23.03 s [genvalidity-sydtest] [30 of 34] Compiling Test.Syd.Validity.Functor ( src/Test/Syd/Validity/Functor.hs, nothing )
  1084. 23.04 s [genvalidity-sydtest] [31 of 34] Compiling Test.Syd.Validity.Eq ( src/Test/Syd/Validity/Eq.hs, nothing )
  1085. 23.06 s [genvalidity-sydtest] [32 of 34] Compiling Test.Syd.Validity.Arbitrary ( src/Test/Syd/Validity/Arbitrary.hs, nothing )
  1086. 23.07 s [genvalidity-sydtest] [33 of 34] Compiling Test.Syd.Validity.Applicative ( src/Test/Syd/Validity/Applicative.hs, nothing )
  1087. 23.11 s [genvalidity-sydtest] [34 of 34] Compiling Test.Syd.Validity ( src/Test/Syd/Validity.hs, nothing )
  1088. 23.12 s [genvalidity-sydtest] Haddock coverage:
  1089. 23.12 s [genvalidity-sydtest] 50% ( 2 / 4) in 'Test.Syd.Validity.Functions.Idempotence'
  1090. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1091. 23.12 s [genvalidity-sydtest] idempotentOnGen (src/Test/Syd/Validity/Functions/Idempotence.hs:17)
  1092. 23.12 s [genvalidity-sydtest] idempotent (src/Test/Syd/Validity/Functions/Idempotence.hs:20)
  1093. 23.12 s [genvalidity-sydtest] 75% ( 3 / 4) in 'Test.Syd.Validity.Operations.Associativity'
  1094. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1095. 23.12 s [genvalidity-sydtest] Module header
  1096. 23.12 s [genvalidity-sydtest] 75% ( 3 / 4) in 'Test.Syd.Validity.Operations.Commutativity'
  1097. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1098. 23.12 s [genvalidity-sydtest] Module header
  1099. 23.12 s [genvalidity-sydtest] 64% ( 9 / 14) in 'Test.Syd.Validity.Operations.Identity'
  1100. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1101. 23.12 s [genvalidity-sydtest] Module header
  1102. 23.12 s [genvalidity-sydtest] leftIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:54)
  1103. 23.12 s [genvalidity-sydtest] leftIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:66)
  1104. 23.12 s [genvalidity-sydtest] rightIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:111)
  1105. 23.12 s [genvalidity-sydtest] rightIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:123)
  1106. 23.12 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Operations'
  1107. 23.12 s [genvalidity-sydtest] 0% ( 0 / 6) in 'Test.Syd.Validity.Property.Utils'
  1108. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1109. 23.12 s [genvalidity-sydtest] Module header
  1110. 23.12 s [genvalidity-sydtest] forAllValid (src/Test/Syd/Validity/Property/Utils.hs:15)
  1111. 23.12 s [genvalidity-sydtest] shouldBeValid (src/Test/Syd/Validity/Property/Utils.hs:24)
  1112. 23.12 s [genvalidity-sydtest] shouldBeInvalid (src/Test/Syd/Validity/Property/Utils.hs:40)
  1113. 23.12 s [genvalidity-sydtest] <==> (src/Test/Syd/Validity/Property/Utils.hs:21)
  1114. 23.12 s [genvalidity-sydtest] ===> (src/Test/Syd/Validity/Property/Utils.hs:18)
  1115. 23.12 s [genvalidity-sydtest] 100% ( 3 / 3) in 'Test.Syd.Validity.GenValidity.Property'
  1116. 23.12 s [genvalidity-sydtest] 40% ( 4 / 10) in 'Test.Syd.Validity.Functions.Validity'
  1117. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1118. 23.12 s [genvalidity-sydtest] producesValidsOnGens2 (src/Test/Syd/Validity/Functions/Validity.hs:51)
  1119. 23.12 s [genvalidity-sydtest] producesValid2 (src/Test/Syd/Validity/Functions/Validity.hs:58)
  1120. 23.12 s [genvalidity-sydtest] producesValidsOnArbitrary2 (src/Test/Syd/Validity/Functions/Validity.hs:64)
  1121. 23.12 s [genvalidity-sydtest] producesValidsOnGens3 (src/Test/Syd/Validity/Functions/Validity.hs:72)
  1122. 23.12 s [genvalidity-sydtest] producesValid3 (src/Test/Syd/Validity/Functions/Validity.hs:87)
  1123. 23.12 s [genvalidity-sydtest] producesValidsOnArbitrary3 (src/Test/Syd/Validity/Functions/Validity.hs:101)
  1124. 23.12 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Antireflexivity'
  1125. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1126. 23.12 s [genvalidity-sydtest] Module header
  1127. 23.12 s [genvalidity-sydtest] antireflexivityOnGen (src/Test/Syd/Validity/Relations/Antireflexivity.hs:32)
  1128. 23.12 s [genvalidity-sydtest] 50% ( 3 / 6) in 'Test.Syd.Validity.Relations.Antisymmetry'
  1129. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1130. 23.12 s [genvalidity-sydtest] Module header
  1131. 23.12 s [genvalidity-sydtest] antisymmetryOnGensWithEquality (src/Test/Syd/Validity/Relations/Antisymmetry.hs:43)
  1132. 23.12 s [genvalidity-sydtest] antisymmetryOnGens (src/Test/Syd/Validity/Relations/Antisymmetry.hs:54)
  1133. 23.12 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Reflexivity'
  1134. 23.12 s [genvalidity-sydtest] Missing documentation for:
  1135. 23.12 s [genvalidity-sydtest] Module header
  1136. 23.13 s [genvalidity-sydtest] reflexivityOnGen (src/Test/Syd/Validity/Relations/Reflexivity.hs:32)
  1137. 23.13 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Symmetry'
  1138. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1139. 23.13 s [genvalidity-sydtest] Module header
  1140. 23.13 s [genvalidity-sydtest] symmetryOnGens (src/Test/Syd/Validity/Relations/Symmetry.hs:34)
  1141. 23.13 s [genvalidity-sydtest] 60% ( 3 / 5) in 'Test.Syd.Validity.Relations.Transitivity'
  1142. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1143. 23.13 s [genvalidity-sydtest] Module header
  1144. 23.13 s [genvalidity-sydtest] transitivityOnGens (src/Test/Syd/Validity/Relations/Transitivity.hs:35)
  1145. 23.13 s [genvalidity-sydtest] 100% ( 6 / 6) in 'Test.Syd.Validity.Relations'
  1146. 23.13 s [genvalidity-sydtest] 100% ( 13 / 13) in 'Test.Syd.Validity.Shrinking.Property'
  1147. 23.13 s [genvalidity-sydtest] 50% ( 1 / 2) in 'Test.Syd.Validity.Types'
  1148. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1149. 23.13 s [genvalidity-sydtest] Module header
  1150. 23.13 s [genvalidity-sydtest] 15% ( 2 / 13) in 'Test.Syd.Validity.Functions.Inverse'
  1151. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1152. 23.13 s [genvalidity-sydtest] inverseFunctionsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:28)
  1153. 23.13 s [genvalidity-sydtest] inverseFunctions (src/Test/Syd/Validity/Functions/Inverse.hs:33)
  1154. 23.13 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:49)
  1155. 23.13 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:60)
  1156. 23.13 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:68)
  1157. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:78)
  1158. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:89)
  1159. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:97)
  1160. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:107)
  1161. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSucceed (src/Test/Syd/Validity/Functions/Inverse.hs:120)
  1162. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:128)
  1163. 23.13 s [genvalidity-sydtest] 7% ( 2 / 28) in 'Test.Syd.Validity.Functions.Equivalence'
  1164. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1165. 23.13 s [genvalidity-sydtest] Module header
  1166. 23.13 s [genvalidity-sydtest] equivalentOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:47)
  1167. 23.13 s [genvalidity-sydtest] equivalent (src/Test/Syd/Validity/Functions/Equivalence.hs:54)
  1168. 23.13 s [genvalidity-sydtest] equivalentOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:73)
  1169. 23.13 s [genvalidity-sydtest] equivalent2 (src/Test/Syd/Validity/Functions/Equivalence.hs:81)
  1170. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:100)
  1171. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:119)
  1172. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:111)
  1173. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:129)
  1174. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:162)
  1175. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:147)
  1176. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:172)
  1177. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:191)
  1178. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:183)
  1179. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:201)
  1180. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:234)
  1181. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:219)
  1182. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:244)
  1183. 23.13 s [genvalidity-sydtest] equivalentWhenSucceed (src/Test/Syd/Validity/Functions/Equivalence.hs:258)
  1184. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:266)
  1185. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:276)
  1186. 23.13 s [genvalidity-sydtest] equivalentWhenSucceed2 (src/Test/Syd/Validity/Functions/Equivalence.hs:312)
  1187. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:297)
  1188. 23.13 s [genvalidity-sydtest] equivalentOnGens3 (src/Test/Syd/Validity/Functions/Equivalence.hs:322)
  1189. 23.13 s [genvalidity-sydtest] equivalent3 (src/Test/Syd/Validity/Functions/Equivalence.hs:338)
  1190. 23.13 s [genvalidity-sydtest] equivalentOnArbitrary3 (src/Test/Syd/Validity/Functions/Equivalence.hs:353)
  1191. 23.13 s [genvalidity-sydtest] 38% ( 7 / 18) in 'Test.Syd.Validity.Functions.CanFail'
  1192. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1193. 23.13 s [genvalidity-sydtest] Module header
  1194. 23.13 s [genvalidity-sydtest] succeedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:77)
  1195. 23.13 s [genvalidity-sydtest] succeeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:84)
  1196. 23.13 s [genvalidity-sydtest] succeedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:90)
  1197. 23.13 s [genvalidity-sydtest] failsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:100)
  1198. 23.13 s [genvalidity-sydtest] validIfSucceedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:109)
  1199. 23.13 s [genvalidity-sydtest] validIfSucceeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:119)
  1200. 23.13 s [genvalidity-sydtest] validIfSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:125)
  1201. 23.13 s [genvalidity-sydtest] validIfSucceedsOnGens3 (src/Test/Syd/Validity/Functions/CanFail.hs:133)
  1202. 23.13 s [genvalidity-sydtest] validIfSucceeds3 (src/Test/Syd/Validity/Functions/CanFail.hs:152)
  1203. 23.13 s [genvalidity-sydtest] validIfSucceedsOnArbitrary3 (src/Test/Syd/Validity/Functions/CanFail.hs:158)
  1204. 23.13 s [genvalidity-sydtest] 100% ( 6 / 6) in 'Test.Syd.Validity.Functions'
  1205. 23.13 s [genvalidity-sydtest] 54% ( 80 /146) in 'Test.Syd.Validity.Property'
  1206. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1207. 23.13 s [genvalidity-sydtest] Module header
  1208. 23.13 s [genvalidity-sydtest] forAllValid (src/Test/Syd/Validity/Property/Utils.hs:15)
  1209. 23.13 s [genvalidity-sydtest] producesValidsOnGens2 (src/Test/Syd/Validity/Functions/Validity.hs:51)
  1210. 23.13 s [genvalidity-sydtest] producesValid2 (src/Test/Syd/Validity/Functions/Validity.hs:58)
  1211. 23.13 s [genvalidity-sydtest] producesValidsOnArbitrary2 (src/Test/Syd/Validity/Functions/Validity.hs:64)
  1212. 23.13 s [genvalidity-sydtest] producesValidsOnGens3 (src/Test/Syd/Validity/Functions/Validity.hs:72)
  1213. 23.13 s [genvalidity-sydtest] producesValid3 (src/Test/Syd/Validity/Functions/Validity.hs:87)
  1214. 23.13 s [genvalidity-sydtest] producesValidsOnArbitrary3 (src/Test/Syd/Validity/Functions/Validity.hs:101)
  1215. 23.13 s [genvalidity-sydtest] succeedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:77)
  1216. 23.13 s [genvalidity-sydtest] succeeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:84)
  1217. 23.13 s [genvalidity-sydtest] succeedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:90)
  1218. 23.13 s [genvalidity-sydtest] failsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:100)
  1219. 23.13 s [genvalidity-sydtest] validIfSucceedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:109)
  1220. 23.13 s [genvalidity-sydtest] validIfSucceeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:119)
  1221. 23.13 s [genvalidity-sydtest] validIfSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:125)
  1222. 23.13 s [genvalidity-sydtest] validIfSucceedsOnGens3 (src/Test/Syd/Validity/Functions/CanFail.hs:133)
  1223. 23.13 s [genvalidity-sydtest] validIfSucceeds3 (src/Test/Syd/Validity/Functions/CanFail.hs:152)
  1224. 23.13 s [genvalidity-sydtest] validIfSucceedsOnArbitrary3 (src/Test/Syd/Validity/Functions/CanFail.hs:158)
  1225. 23.13 s [genvalidity-sydtest] equivalentOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:47)
  1226. 23.13 s [genvalidity-sydtest] equivalent (src/Test/Syd/Validity/Functions/Equivalence.hs:54)
  1227. 23.13 s [genvalidity-sydtest] equivalentOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:73)
  1228. 23.13 s [genvalidity-sydtest] equivalent2 (src/Test/Syd/Validity/Functions/Equivalence.hs:81)
  1229. 23.13 s [genvalidity-sydtest] equivalentOnGens3 (src/Test/Syd/Validity/Functions/Equivalence.hs:322)
  1230. 23.13 s [genvalidity-sydtest] equivalent3 (src/Test/Syd/Validity/Functions/Equivalence.hs:338)
  1231. 23.13 s [genvalidity-sydtest] equivalentOnArbitrary3 (src/Test/Syd/Validity/Functions/Equivalence.hs:353)
  1232. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:100)
  1233. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:119)
  1234. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:111)
  1235. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:129)
  1236. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:162)
  1237. 23.13 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:147)
  1238. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:172)
  1239. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:191)
  1240. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:183)
  1241. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:201)
  1242. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:234)
  1243. 23.13 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:219)
  1244. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:244)
  1245. 23.13 s [genvalidity-sydtest] equivalentWhenSucceed (src/Test/Syd/Validity/Functions/Equivalence.hs:258)
  1246. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:266)
  1247. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:276)
  1248. 23.13 s [genvalidity-sydtest] equivalentWhenSucceed2 (src/Test/Syd/Validity/Functions/Equivalence.hs:312)
  1249. 23.13 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:297)
  1250. 23.13 s [genvalidity-sydtest] inverseFunctionsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:28)
  1251. 23.13 s [genvalidity-sydtest] inverseFunctions (src/Test/Syd/Validity/Functions/Inverse.hs:33)
  1252. 23.13 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:49)
  1253. 23.13 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:60)
  1254. 23.13 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:68)
  1255. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:78)
  1256. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:89)
  1257. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:97)
  1258. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:107)
  1259. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSucceed (src/Test/Syd/Validity/Functions/Inverse.hs:120)
  1260. 23.13 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:128)
  1261. 23.13 s [genvalidity-sydtest] idempotentOnGen (src/Test/Syd/Validity/Functions/Idempotence.hs:17)
  1262. 23.13 s [genvalidity-sydtest] idempotent (src/Test/Syd/Validity/Functions/Idempotence.hs:20)
  1263. 23.13 s [genvalidity-sydtest] reflexivityOnGen (src/Test/Syd/Validity/Relations/Reflexivity.hs:32)
  1264. 23.13 s [genvalidity-sydtest] transitivityOnGens (src/Test/Syd/Validity/Relations/Transitivity.hs:35)
  1265. 23.13 s [genvalidity-sydtest] antisymmetryOnGensWithEquality (src/Test/Syd/Validity/Relations/Antisymmetry.hs:43)
  1266. 23.13 s [genvalidity-sydtest] antisymmetryOnGens (src/Test/Syd/Validity/Relations/Antisymmetry.hs:54)
  1267. 23.13 s [genvalidity-sydtest] antireflexivityOnGen (src/Test/Syd/Validity/Relations/Antireflexivity.hs:32)
  1268. 23.13 s [genvalidity-sydtest] symmetryOnGens (src/Test/Syd/Validity/Relations/Symmetry.hs:34)
  1269. 23.13 s [genvalidity-sydtest] leftIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:54)
  1270. 23.13 s [genvalidity-sydtest] leftIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:66)
  1271. 23.13 s [genvalidity-sydtest] rightIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:111)
  1272. 23.13 s [genvalidity-sydtest] rightIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:123)
  1273. 23.13 s [genvalidity-sydtest] Warning: 'Spec' is out of scope.
  1274. 23.13 s [genvalidity-sydtest] If you qualify the identifier, haddock can try to link it anyway.
  1275. 23.13 s [genvalidity-sydtest] 14% ( 1 / 7) in 'Test.Syd.Validity.Utils'
  1276. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1277. 23.13 s [genvalidity-sydtest] nameOf (src/Test/Syd/Validity/Utils.hs:27)
  1278. 23.13 s [genvalidity-sydtest] genDescr (src/Test/Syd/Validity/Utils.hs:38)
  1279. 23.13 s [genvalidity-sydtest] binRelStr (src/Test/Syd/Validity/Utils.hs:45)
  1280. 23.13 s [genvalidity-sydtest] shouldBeValid (src/Test/Syd/Validity/Property/Utils.hs:24)
  1281. 23.13 s [genvalidity-sydtest] shouldBeInvalid (src/Test/Syd/Validity/Property/Utils.hs:40)
  1282. 23.13 s [genvalidity-sydtest] Anon (src/Test/Syd/Validity/Utils.hs:49)
  1283. 23.13 s [genvalidity-sydtest] 45% ( 5 / 11) in 'Test.Syd.Validity.Shrinking'
  1284. 23.13 s [genvalidity-sydtest] Missing documentation for:
  1285. 23.13 s [genvalidity-sydtest] shrinkValidSpec (src/Test/Syd/Validity/Shrinking.hs:35)
  1286. 23.13 s [genvalidity-sydtest] shrinkValidSpecWithLimit (src/Test/Syd/Validity/Shrinking.hs:48)
  1287. 23.13 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid (src/Test/Syd/Validity/Shrinking.hs:66)
  1288. 23.13 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValidWithLimit (src/Test/Syd/Validity/Shrinking.hs:74)
  1289. 23.13 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItself (src/Test/Syd/Validity/Shrinking.hs:81)
  1290. 23.13 s [genvalidity-sydtest] shrinkValidDoesNotShrinkToItselfWithLimit (src/Test/Syd/Validity/Shrinking.hs:89)
  1291. 23.13 s [genvalidity-sydtest] 100% ( 7 / 7) in 'Test.Syd.Validity.Show'
  1292. 23.13 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Ord'
  1293. 23.13 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Monoid'
  1294. 23.13 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Monad'
  1295. 23.13 s [genvalidity-sydtest] 100% ( 5 / 5) in 'Test.Syd.Validity.GenValidity'
  1296. 23.13 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Functor'
  1297. 23.13 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Eq'
  1298. 23.13 s [genvalidity-sydtest] 100% ( 3 / 3) in 'Test.Syd.Validity.Arbitrary'
  1299. 23.13 s [genvalidity-sydtest] 100% ( 4 / 4) in 'Test.Syd.Validity.Applicative'
  1300. 23.13 s [genvalidity-sydtest] Warning: 'Spec' is out of scope.
  1301. 23.13 s [genvalidity-sydtest] If you qualify the identifier, haddock can try to link it anyway.
  1302. 23.14 s [genvalidity-sydtest] 63% (122 /192) in 'Test.Syd.Validity'
  1303. 23.14 s [genvalidity-sydtest] Missing documentation for:
  1304. 23.14 s [genvalidity-sydtest] forAllValid (src/Test/Syd/Validity/Property/Utils.hs:15)
  1305. 23.14 s [genvalidity-sydtest] shouldBeValid (src/Test/Syd/Validity/Property/Utils.hs:24)
  1306. 23.14 s [genvalidity-sydtest] shouldBeInvalid (src/Test/Syd/Validity/Property/Utils.hs:40)
  1307. 23.14 s [genvalidity-sydtest] shrinkValidSpec (src/Test/Syd/Validity/Shrinking.hs:35)
  1308. 23.14 s [genvalidity-sydtest] shrinkValidSpecWithLimit (src/Test/Syd/Validity/Shrinking.hs:48)
  1309. 23.14 s [genvalidity-sydtest] shrinkValidPreservesValidOnGenValid (src/Test/Syd/Validity/Shrinking.hs:66)
  1310. 23.14 s [genvalidity-sydtest] producesValidsOnGens2 (src/Test/Syd/Validity/Functions/Validity.hs:51)
  1311. 23.14 s [genvalidity-sydtest] producesValid2 (src/Test/Syd/Validity/Functions/Validity.hs:58)
  1312. 23.14 s [genvalidity-sydtest] producesValidsOnArbitrary2 (src/Test/Syd/Validity/Functions/Validity.hs:64)
  1313. 23.14 s [genvalidity-sydtest] producesValidsOnGens3 (src/Test/Syd/Validity/Functions/Validity.hs:72)
  1314. 23.14 s [genvalidity-sydtest] producesValid3 (src/Test/Syd/Validity/Functions/Validity.hs:87)
  1315. 23.14 s [genvalidity-sydtest] producesValidsOnArbitrary3 (src/Test/Syd/Validity/Functions/Validity.hs:101)
  1316. 23.14 s [genvalidity-sydtest] succeedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:77)
  1317. 23.14 s [genvalidity-sydtest] succeeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:84)
  1318. 23.14 s [genvalidity-sydtest] succeedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:90)
  1319. 23.14 s [genvalidity-sydtest] failsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:100)
  1320. 23.14 s [genvalidity-sydtest] validIfSucceedsOnGens2 (src/Test/Syd/Validity/Functions/CanFail.hs:109)
  1321. 23.14 s [genvalidity-sydtest] validIfSucceeds2 (src/Test/Syd/Validity/Functions/CanFail.hs:119)
  1322. 23.14 s [genvalidity-sydtest] validIfSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/CanFail.hs:125)
  1323. 23.14 s [genvalidity-sydtest] validIfSucceedsOnGens3 (src/Test/Syd/Validity/Functions/CanFail.hs:133)
  1324. 23.14 s [genvalidity-sydtest] validIfSucceeds3 (src/Test/Syd/Validity/Functions/CanFail.hs:152)
  1325. 23.14 s [genvalidity-sydtest] validIfSucceedsOnArbitrary3 (src/Test/Syd/Validity/Functions/CanFail.hs:158)
  1326. 23.14 s [genvalidity-sydtest] equivalentOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:47)
  1327. 23.14 s [genvalidity-sydtest] equivalent (src/Test/Syd/Validity/Functions/Equivalence.hs:54)
  1328. 23.14 s [genvalidity-sydtest] equivalentOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:73)
  1329. 23.14 s [genvalidity-sydtest] equivalent2 (src/Test/Syd/Validity/Functions/Equivalence.hs:81)
  1330. 23.14 s [genvalidity-sydtest] equivalentOnGens3 (src/Test/Syd/Validity/Functions/Equivalence.hs:322)
  1331. 23.14 s [genvalidity-sydtest] equivalent3 (src/Test/Syd/Validity/Functions/Equivalence.hs:338)
  1332. 23.14 s [genvalidity-sydtest] equivalentOnArbitrary3 (src/Test/Syd/Validity/Functions/Equivalence.hs:353)
  1333. 23.14 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:100)
  1334. 23.14 s [genvalidity-sydtest] equivalentWhenFirstSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:119)
  1335. 23.14 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:111)
  1336. 23.14 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:129)
  1337. 23.14 s [genvalidity-sydtest] equivalentWhenFirstSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:162)
  1338. 23.14 s [genvalidity-sydtest] equivalentWhenFirstSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:147)
  1339. 23.14 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:172)
  1340. 23.14 s [genvalidity-sydtest] equivalentWhenSecondSucceeds (src/Test/Syd/Validity/Functions/Equivalence.hs:191)
  1341. 23.14 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:183)
  1342. 23.14 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:201)
  1343. 23.14 s [genvalidity-sydtest] equivalentWhenSecondSucceeds2 (src/Test/Syd/Validity/Functions/Equivalence.hs:234)
  1344. 23.14 s [genvalidity-sydtest] equivalentWhenSecondSucceedsOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:219)
  1345. 23.14 s [genvalidity-sydtest] equivalentWhenSucceedOnGen (src/Test/Syd/Validity/Functions/Equivalence.hs:244)
  1346. 23.14 s [genvalidity-sydtest] equivalentWhenSucceed (src/Test/Syd/Validity/Functions/Equivalence.hs:258)
  1347. 23.14 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Equivalence.hs:266)
  1348. 23.14 s [genvalidity-sydtest] equivalentWhenSucceedOnGens2 (src/Test/Syd/Validity/Functions/Equivalence.hs:276)
  1349. 23.14 s [genvalidity-sydtest] equivalentWhenSucceed2 (src/Test/Syd/Validity/Functions/Equivalence.hs:312)
  1350. 23.14 s [genvalidity-sydtest] equivalentWhenSucceedOnArbitrary2 (src/Test/Syd/Validity/Functions/Equivalence.hs:297)
  1351. 23.14 s [genvalidity-sydtest] inverseFunctionsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:28)
  1352. 23.14 s [genvalidity-sydtest] inverseFunctions (src/Test/Syd/Validity/Functions/Inverse.hs:33)
  1353. 23.14 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:49)
  1354. 23.14 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:60)
  1355. 23.14 s [genvalidity-sydtest] inverseFunctionsIfFirstSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:68)
  1356. 23.14 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:78)
  1357. 23.14 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceeds (src/Test/Syd/Validity/Functions/Inverse.hs:89)
  1358. 23.14 s [genvalidity-sydtest] inverseFunctionsIfSecondSucceedsOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:97)
  1359. 23.14 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnGen (src/Test/Syd/Validity/Functions/Inverse.hs:107)
  1360. 23.14 s [genvalidity-sydtest] inverseFunctionsIfSucceed (src/Test/Syd/Validity/Functions/Inverse.hs:120)
  1361. 23.14 s [genvalidity-sydtest] inverseFunctionsIfSucceedOnArbitrary (src/Test/Syd/Validity/Functions/Inverse.hs:128)
  1362. 23.14 s [genvalidity-sydtest] idempotentOnGen (src/Test/Syd/Validity/Functions/Idempotence.hs:17)
  1363. 23.14 s [genvalidity-sydtest] idempotent (src/Test/Syd/Validity/Functions/Idempotence.hs:20)
  1364. 23.14 s [genvalidity-sydtest] reflexivityOnGen (src/Test/Syd/Validity/Relations/Reflexivity.hs:32)
  1365. 23.14 s [genvalidity-sydtest] transitivityOnGens (src/Test/Syd/Validity/Relations/Transitivity.hs:35)
  1366. 23.14 s [genvalidity-sydtest] antisymmetryOnGensWithEquality (src/Test/Syd/Validity/Relations/Antisymmetry.hs:43)
  1367. 23.14 s [genvalidity-sydtest] antisymmetryOnGens (src/Test/Syd/Validity/Relations/Antisymmetry.hs:54)
  1368. 23.14 s [genvalidity-sydtest] antireflexivityOnGen (src/Test/Syd/Validity/Relations/Antireflexivity.hs:32)
  1369. 23.14 s [genvalidity-sydtest] symmetryOnGens (src/Test/Syd/Validity/Relations/Symmetry.hs:34)
  1370. 23.14 s [genvalidity-sydtest] leftIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:54)
  1371. 23.14 s [genvalidity-sydtest] leftIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:66)
  1372. 23.14 s [genvalidity-sydtest] rightIdentityOnGenWithEquality (src/Test/Syd/Validity/Operations/Identity.hs:111)
  1373. 23.14 s [genvalidity-sydtest] rightIdentityOnGen (src/Test/Syd/Validity/Operations/Identity.hs:123)
  1374. 30.99 s [genvalidity-sydtest] Documentation created: dist/doc/html/genvalidity-sydtest/,
  1375. 31.01 s [genvalidity-sydtest] dist/doc/html/genvalidity-sydtest/genvalidity-sydtest.txt
  1376. 31.05 s [genvalidity-sydtest] Preprocessing test suite 'genvalidity-sydtest-test' for genvalidity-sydtest-1.0.1.0...
  1377. 31.06 s [genvalidity-sydtest] Phase: installPhase
  1378. 31.16 s [genvalidity-sydtest] Installing library in /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/genvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA
  1379. 31.66 s [genvalidity-sydtest] Phase: fixupPhase
  1380. 31.68 s [genvalidity-sydtest] shrinking RPATHs of ELF executables and libraries in /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0
  1381. 31.71 s [genvalidity-sydtest] shrinking /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/lib/ghc-9.10.3/lib/x86_64-linux-ghc-9.10.3-05f6/libHSgenvalidity-sydtest-1.0.1.0-5kass2Mfs6O8ljKiAvYRBA-ghc9.10.3.so
  1382. 31.74 s [genvalidity-sydtest] checking for references to /build/ in /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0...
  1383. 31.78 s [genvalidity-sydtest] patching script interpreter paths in /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0
  1384. 31.78 s [genvalidity-sydtest] stripping (with command strip and flags -S -p) in /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0/lib
  1385. 31.90 s [genvalidity-sydtest] shrinking RPATHs of ELF executables and libraries in /nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc
  1386. 31.92 s [genvalidity-sydtest] checking for references to /build/ in /nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc...
  1387. 31.96 s [genvalidity-sydtest] patching script interpreter paths in /nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc
  1388. 32.10 s [post-build-hook] Uploading to cachix cache "sydtest": /nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0
  1389. 32.64 s [post-build-hook] Pushing 2 paths (266 are already present) using zstd to cache sydtest ⏳
  1390. 32.64 s [post-build-hook]
  1391. 33.00 s [post-build-hook] Pushing /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0 (6.60 MiB)
  1392. 33.01 s [post-build-hook] Pushing /nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc (3.78 MiB)
  1393. 34.89 s [post-build-hook]
  1394. 34.89 s [post-build-hook] All done.
  1395. 34.91 s [post-build-hook] Uploading to the NixCI staging cache: /nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc /nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0
  1396. 34.95 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1397. 35.13 s [post-build-hook] copying 2 paths...
  1398. 35.13 s [post-build-hook] copying path '/nix/store/h4vf3slyzgmv361b3zs1qbp5dfqax2bx-genvalidity-sydtest-1.0.1.0-doc' to 'https://cache.staging.nix-ci.com'...
  1399. 35.63 s [post-build-hook] copying path '/nix/store/ryggvdfb7pvwb9l812jmfdc9lxwy2mmv-genvalidity-sydtest-1.0.1.0' to 'https://cache.staging.nix-ci.com'...
  1400. 37.32 s [post-build-hook] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead
  1401. 37.53 s [post-build-hook] copying 1 paths...
Tail Raw Logs