$ /nix/store/9ypz3flqsrl5xl495mm8h645gadjsxi1-coreutils-9.11/bin/timeout --kill-after=15s 7200s /nix/store/23zk8sgzamrbmj1fday15szf7f2279s8-nix-2.34.7/bin/nix --extra-experimental-features nix-command --extra-experimental-features flakes --log-format internal-json build --no-link --print-out-paths git+https://github.com/NorfairKing/hopinion?ref=no-semigroup-on-text&rev=0e52e1defbb4d0ad38b6057697c167b529c1ec13&shallow=1#checks.x86_64-linux.e2e-added-rule-is-run --print-build-logs  Downloading cached hopinion from https://cache.staging.nix-ci.com Downloading cached hopinion-gen from https://cache.staging.nix-ci.com Downloaded cached hopinion-gen (31.8 MiB) in 346ms Progress: 0 of 11 built, 1 of 2 downloaded from cache (1 downloading) Downloaded cached hopinion (31.8 MiB) in 375ms Building /nix/store/z3a0hfdp78njh07pxq2w3gnfsamcar8q-lonely-hopinion.drv Building /nix/store/axif8jvzj6b1zqw5k2fmmzaw10gv1q7n-thing-gen-hopinion.drv Building /nix/store/30zfmr5iv4f4rs984yj6h9s3wwch7wpw-thing-hopinion.drv Progress: 0 of 10 built (3 building), 2 of 2 downloaded from cache Building /nix/store/zzicif7z6gq0g2qs8ggxpky4ps9v2agm-lonely-hopinion.drv Building /nix/store/6pab2cx05qsgzz4q7kj0qax8b42dp8h6-thing-gen-hopinion.drv Building /nix/store/i4ydbfb0j1m4026h0g30rz7b978ikzvd-thing-hopinion.drv [lonely-hopinion] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [lonely-hopinion]  ╭──▶ lonely/src/Lonely.hs@8:1-8:25 [lonely-hopinion]  │ [lonely-hopinion]  8 │ instance GenValid Orphan [lonely-hopinion]  • ┬─────────────────────── [lonely-hopinion]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [lonely-hopinion]  • [lonely-hopinion]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [lonely-hopinion]  │ Hint: To suppress, write this directly above line 8 of lonely/src/Lonely.hs, and say why: -- [allow:HsGenValidInGenPackage]  [lonely-hopinion] ─────╯ [thing-gen-hopinion:post-build] Uploading to the NixCI staging cache: /nix/store/2h7yql21hm48vsjdib7is1vd752x00y6-thing-gen-hopinion [thing-gen-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-gen-hopinion:post-build] copying 1 paths... [thing-gen-hopinion:post-build] copying path '/nix/store/2h7yql21hm48vsjdib7is1vd752x00y6-thing-gen-hopinion' to 'https://cache.staging.nix-ci.com'... [thing-gen-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-gen-hopinion:post-build] copying 0 paths... Uploaded thing-gen-hopinion in 929ms Progress: 1 of 10 built (5 building), 2 of 2 downloaded from cache Built thing-gen-hopinion in 1.0s [thing-hopinion] [error CommentBareTodo]: A bare TODO. Reference an issue or a URL, or do it. [thing-hopinion]  ╭──▶ thing/src/Thing.hs@3:1-3:58 [thing-hopinion]  │ [thing-hopinion]  3 │ -- TODO a bare marker, which is the module-level finding. [thing-hopinion]  • ┬──────────────────────────────────────────────────────── [thing-hopinion]  • ╰╸ A TODO needs an issue reference or a URL saying where the follow-up is tracked. [thing-hopinion]  • [thing-hopinion]  │ Note: A TODO nothing points at is a note nobody is holding. It reads like a plan, so the next reader assumes it is one, and it goes stale in place because nothing brings it back up. A reference makes it findable from wherever the work is actually tracked; doing it makes the note unnecessary. If it is neither tracked nor worth doing, the honest version is a comment that says what is missing and what would make it worth doing. [thing-hopinion]  │ Hint: To suppress, write this directly above line 4 of thing/src/Thing.hs, and say why: -- [allow:CommentBareTodo]  [thing-hopinion] ─────╯ [thing-hopinion]  [thing-hopinion] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [thing-hopinion]  ╭──▶ thing/src/Thing.hs@9:1-9:25 [thing-hopinion]  │ [thing-hopinion]  9 │ instance GenValid Widget [thing-hopinion]  • ┬─────────────────────── [thing-hopinion]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [thing-hopinion]  • [lonely-hopinion:post-build] Uploading to the NixCI staging cache: /nix/store/qm6q6hll2f434hf76a812lix4bn15xkd-lonely-hopinion [lonely-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [lonely-hopinion:post-build] copying 1 paths... [lonely-hopinion:post-build] copying path '/nix/store/qm6q6hll2f434hf76a812lix4bn15xkd-lonely-hopinion' to 'https://cache.staging.nix-ci.com'... [lonely-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [lonely-hopinion:post-build] copying 0 paths... Uploaded lonely-hopinion in 740ms Progress: 2 of 10 built (4 building), 2 of 2 downloaded from cache Built lonely-hopinion in 1.9s [lonely-hopinion] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [lonely-hopinion]  ╭──▶ lonely/src/Lonely.hs@8:1-8:25 [lonely-hopinion]  │ [lonely-hopinion]  8 │ instance GenValid Orphan [lonely-hopinion]  • ┬─────────────────────── [lonely-hopinion]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [lonely-hopinion]  • [lonely-hopinion]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [lonely-hopinion]  │ Hint: To suppress, write this directly above line 8 of lonely/src/Lonely.hs, and say why: -- [allow:HsGenValidInGenPackage]  [lonely-hopinion] ─────╯ [thing-gen-hopinion:post-build] Uploading to the NixCI staging cache: /nix/store/xpbrga8bzccrs2iifdwspcjv0acqsvrd-thing-gen-hopinion [thing-gen-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-gen-hopinion:post-build] copying 1 paths... [thing-gen-hopinion:post-build] copying path '/nix/store/xpbrga8bzccrs2iifdwspcjv0acqsvrd-thing-gen-hopinion' to 'https://cache.staging.nix-ci.com'... [thing-gen-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-gen-hopinion:post-build] copying 0 paths... Uploaded thing-gen-hopinion in 734ms Progress: 3 of 11 built (3 building), 2 of 2 downloaded from cache Built thing-gen-hopinion in 2.5s [thing-hopinion]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [thing-hopinion]  │ Hint: To suppress, write this directly above line 9 of thing/src/Thing.hs, and say why: -- [allow:HsGenValidInGenPackage]  [thing-hopinion] ─────╯ [thing-hopinion]  [thing-hopinion] [error ExampleNoShouting]: A comment in capitals. [thing-hopinion]  ╭──▶ thing/src/Thing.hs@16:1-16:42 [thing-hopinion]  │ [thing-hopinion]  16 │ -- SHOUTING, WHICH NO SHIPPED RULE MINDS. [thing-hopinion]  • ┬──────────────────────────────────────── [thing-hopinion]  • ╰╸ A comment in this repository is not written in capitals. [thing-hopinion]  • [thing-hopinion]  │ Note: There is no standard about this and there does not need to be. It is here to be a rule that hopinion does not ship, so that a repository adding one of its own can be watched doing it. [thing-hopinion]  │ Hint: To suppress, write this directly above line 17 of thing/src/Thing.hs, and say why: -- [allow:ExampleNoShouting]  [thing-hopinion] ─────╯ [thing-hopinion] [error CommentBareTodo]: A bare TODO. Reference an issue or a URL, or do it. [thing-hopinion]  ╭──▶ thing/src/Thing.hs@3:1-3:58 [thing-hopinion]  │ [thing-hopinion]  3 │ -- TODO a bare marker, which is the module-level finding. [thing-hopinion]  • ┬──────────────────────────────────────────────────────── [thing-hopinion]  • ╰╸ A TODO needs an issue reference or a URL saying where the follow-up is tracked. [thing-hopinion]  • [thing-hopinion]  │ Note: A TODO nothing points at is a note nobody is holding. It reads like a plan, so the next reader assumes it is one, and it goes stale in place because nothing brings it back up. A reference makes it findable from wherever the work is actually tracked; doing it makes the note unnecessary. If it is neither tracked nor worth doing, the honest version is a comment that says what is missing and what would make it worth doing. [thing-hopinion]  │ Hint: To suppress, write this directly above line 4 of thing/src/Thing.hs, and say why: -- [allow:CommentBareTodo]  [thing-hopinion] ─────╯ [thing-hopinion]  [thing-hopinion] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [thing-hopinion]  ╭──▶ thing/src/Thing.hs@9:1-9:25 [thing-hopinion]  │ [thing-hopinion]  9 │ instance GenValid Widget [thing-hopinion]  • ┬─────────────────────── [thing-hopinion]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [thing-hopinion]  • [lonely-hopinion:post-build] Uploading to the NixCI staging cache: /nix/store/1i4lq83j242rb2fxhnl25s371y9dac7q-lonely-hopinion [lonely-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [lonely-hopinion:post-build] copying 1 paths... [lonely-hopinion:post-build] copying path '/nix/store/1i4lq83j242rb2fxhnl25s371y9dac7q-lonely-hopinion' to 'https://cache.staging.nix-ci.com'... [lonely-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [lonely-hopinion:post-build] copying 0 paths... Uploaded lonely-hopinion in 743ms Progress: 4 of 10 built (2 building), 2 of 2 downloaded from cache Built lonely-hopinion in 3.4s [thing-hopinion:post-build] Uploading to the NixCI staging cache: /nix/store/p1wvbs50vlkb261zwkda2l9hhr6g80nj-thing-hopinion [thing-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-hopinion:post-build] copying 1 paths... [thing-hopinion:post-build] copying path '/nix/store/p1wvbs50vlkb261zwkda2l9hhr6g80nj-thing-hopinion' to 'https://cache.staging.nix-ci.com'... [thing-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-hopinion:post-build] copying 0 paths... Uploaded thing-hopinion in 730ms Progress: 5 of 11 built (1 building), 2 of 2 downloaded from cache Built thing-hopinion in 4.2s [thing-hopinion]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [thing-hopinion]  │ Hint: To suppress, write this directly above line 9 of thing/src/Thing.hs, and say why: -- [allow:HsGenValidInGenPackage]  [thing-hopinion] ─────╯ Building /nix/store/7h9rm5dxwah6gp74ghk4alcm0jznj7ik-hopinion-project.drv [thing-hopinion:post-build] Uploading to the NixCI staging cache: /nix/store/hr0fnhwhbps6w2pswsa6skngzipz9hnk-thing-hopinion [thing-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-hopinion:post-build] copying 1 paths... [thing-hopinion:post-build] copying path '/nix/store/hr0fnhwhbps6w2pswsa6skngzipz9hnk-thing-hopinion' to 'https://cache.staging.nix-ci.com'... [thing-hopinion:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [thing-hopinion:post-build] copying 0 paths... Uploaded thing-hopinion in 782ms Progress: 6 of 10 built (1 building), 2 of 2 downloaded from cache Built thing-hopinion in 4.9s Building /nix/store/waiz3kjajwsjfkgj70qppbga0939l9qr-hopinion-project.drv [hopinion-project] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [hopinion-project]  ╭──▶ lonely/src/Lonely.hs@8:1-8:25 [hopinion-project]  │ [hopinion-project]  8 │ instance GenValid Orphan [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [hopinion-project]  │ Hint: To suppress, write this directly above line 8 of lonely/src/Lonely.hs, and say why: -- [allow:HsGenValidInGenPackage]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error TestGenValidSpecPerGenValid]: No genValidSpec @Orphan anywhere, and there is no lonely-gen for it to be written in. [hopinion-project]  ╭──▶ lonely/src/Lonely.hs@8:1-8:25 [hopinion-project]  │ [hopinion-project]  8 │ instance GenValid Orphan [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance creates an obligation: genValidSpec @T must be called in the test suite of that package's gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator nothing runs is a generator nobody has checked. genValid can produce values the type's own Validity instance rejects, and shrinkValid can shrink to them, and every property built on it inherits that quietly: the failures it reports are about values the code was never meant to see. genValidSpec asserts exactly the two things the instance promises, and it is one line. The spec belongs to the package that declares the instance, because a spec written next door disappears the day that other package stops mentioning the type. [hopinion-project]  │ Hint: To suppress, write this directly above line 8 of lonely/src/Lonely.hs, and say why: -- [allow:TestGenValidSpecPerGenValid]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error CommentBareTodo]: A bare TODO. Reference an issue or a URL, or do it. [hopinion-project]  ╭──▶ thing/src/Thing.hs@3:1-3:58 [hopinion-project]  │ [hopinion-project]  3 │ -- TODO a bare marker, which is the module-level finding. [hopinion-project]  • ┬──────────────────────────────────────────────────────── [hopinion-project]  • ╰╸ A TODO needs an issue reference or a URL saying where the follow-up is tracked. [hopinion-project]  • [hopinion-project]  │ Note: A TODO nothing points at is a note nobody is holding. It reads like a plan, so the next reader assumes it is one, and it goes stale in place because nothing brings it back up. A reference makes it findable from wherever the work is actually tracked; doing it makes the note unnecessary. If it is neither tracked nor worth doing, the honest version is a comment that says what is missing and what would make it worth doing. [hopinion-project]  │ Hint: To suppress, write this directly above line 4 of thing/src/Thing.hs, and say why: -- [allow:CommentBareTodo]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [hopinion-project]  ╭──▶ thing/src/Thing.hs@9:1-9:25 [hopinion-project]  │ [hopinion-project]  9 │ instance GenValid Widget [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [hopinion-project]  │ Hint: To suppress, write this directly above line 9 of thing/src/Thing.hs, and say why: -- [allow:HsGenValidInGenPackage]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error TestGenValidSpecPerGenValid]: No genValidSpec @Widget anywhere in thing-gen's test suite. [hopinion-project]  ╭──▶ thing/src/Thing.hs@9:1-9:25 [hopinion-project]  │ [hopinion-project]  9 │ instance GenValid Widget [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance creates an obligation: genValidSpec @T must be called in the test suite of that package's gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator nothing runs is a generator nobody has checked. genValid can produce values the type's own Validity instance rejects, and shrinkValid can shrink to them, and every property built on it inherits that quietly: the failures it reports are about values the code was never meant to see. genValidSpec asserts exactly the two things the instance promises, and it is one line. The spec belongs to the package that declares the instance, because a spec written next door disappears the day that other package stops mentioning the type. [hopinion-project]  │ Hint: To suppress, write this directly above line 9 of thing/src/Thing.hs, and say why: -- [allow:TestGenValidSpecPerGenValid]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error ExampleNoShouting]: A comment in capitals. [hopinion-project]  ╭──▶ thing/src/Thing.hs@16:1-16:42 [hopinion-project]  │ [hopinion-project]  16 │ -- SHOUTING, WHICH NO SHIPPED RULE MINDS. [hopinion-project]  • ┬──────────────────────────────────────── [hopinion-project]  • ╰╸ A comment in this repository is not written in capitals. [hopinion-project]  • [hopinion-project]  │ Note: There is no standard about this and there does not need to be. It is here to be a rule that hopinion does not ship, so that a repository adding one of its own can be watched doing it. [hopinion-project]  │ Hint: To suppress, write this directly above line 17 of thing/src/Thing.hs, and say why: -- [allow:ExampleNoShouting]  [hopinion-project] ─────╯ [hopinion-project:post-build] Uploading to the NixCI staging cache: /nix/store/4ypxcx0f7rfdv1gfbb52ankwkx7s285i-hopinion-project [hopinion-project:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [hopinion-project:post-build] copying 1 paths... [hopinion-project:post-build] copying path '/nix/store/4ypxcx0f7rfdv1gfbb52ankwkx7s285i-hopinion-project' to 'https://cache.staging.nix-ci.com'... [hopinion-project:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [hopinion-project:post-build] copying 0 paths... Uploaded hopinion-project in 1.0s Progress: 7 of 10 built (1 building), 2 of 2 downloaded from cache Built hopinion-project in 2.0s [hopinion-project] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [hopinion-project]  ╭──▶ lonely/src/Lonely.hs@8:1-8:25 [hopinion-project]  │ [hopinion-project]  8 │ instance GenValid Orphan [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [hopinion-project]  │ Hint: To suppress, write this directly above line 8 of lonely/src/Lonely.hs, and say why: -- [allow:HsGenValidInGenPackage]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error TestGenValidSpecPerGenValid]: No genValidSpec @Orphan anywhere, and there is no lonely-gen for it to be written in. [hopinion-project]  ╭──▶ lonely/src/Lonely.hs@8:1-8:25 [hopinion-project]  │ [hopinion-project]  8 │ instance GenValid Orphan [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance creates an obligation: genValidSpec @T must be called in the test suite of that package's gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator nothing runs is a generator nobody has checked. genValid can produce values the type's own Validity instance rejects, and shrinkValid can shrink to them, and every property built on it inherits that quietly: the failures it reports are about values the code was never meant to see. genValidSpec asserts exactly the two things the instance promises, and it is one line. The spec belongs to the package that declares the instance, because a spec written next door disappears the day that other package stops mentioning the type. [hopinion-project]  │ Hint: To suppress, write this directly above line 8 of lonely/src/Lonely.hs, and say why: -- [allow:TestGenValidSpecPerGenValid]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error CommentBareTodo]: A bare TODO. Reference an issue or a URL, or do it. [hopinion-project]  ╭──▶ thing/src/Thing.hs@3:1-3:58 [hopinion-project]  │ [hopinion-project]  3 │ -- TODO a bare marker, which is the module-level finding. [hopinion-project]  • ┬──────────────────────────────────────────────────────── [hopinion-project]  • ╰╸ A TODO needs an issue reference or a URL saying where the follow-up is tracked. [hopinion-project]  • [hopinion-project]  │ Note: A TODO nothing points at is a note nobody is holding. It reads like a plan, so the next reader assumes it is one, and it goes stale in place because nothing brings it back up. A reference makes it findable from wherever the work is actually tracked; doing it makes the note unnecessary. If it is neither tracked nor worth doing, the honest version is a comment that says what is missing and what would make it worth doing. [hopinion-project]  │ Hint: To suppress, write this directly above line 4 of thing/src/Thing.hs, and say why: -- [allow:CommentBareTodo]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error HsGenValidInGenPackage]: A GenValid instance outside a -gen package. [hopinion-project]  ╭──▶ thing/src/Thing.hs@9:1-9:25 [hopinion-project]  │ [hopinion-project]  9 │ instance GenValid Widget [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator is test code, and an instance in the library is linked into everything that depends on the library, so the shipped executable carries QuickCheck and the generators with it. The -gen package exists so that dependency stops at the test suite, which is also what keeps a generator free to be as slow or as elaborate as the property needs. [hopinion-project]  │ Hint: To suppress, write this directly above line 9 of thing/src/Thing.hs, and say why: -- [allow:HsGenValidInGenPackage]  [hopinion-project] ─────╯ [hopinion-project]  [hopinion-project] [error TestGenValidSpecPerGenValid]: No genValidSpec @Widget anywhere in thing-gen's test suite. [hopinion-project]  ╭──▶ thing/src/Thing.hs@9:1-9:25 [hopinion-project]  │ [hopinion-project]  9 │ instance GenValid Widget [hopinion-project]  • ┬─────────────────────── [hopinion-project]  • ╰╸ A GenValid instance creates an obligation: genValidSpec @T must be called in the test suite of that package's gen package. [hopinion-project]  • [hopinion-project]  │ Note: A generator nothing runs is a generator nobody has checked. genValid can produce values the type's own Validity instance rejects, and shrinkValid can shrink to them, and every property built on it inherits that quietly: the failures it reports are about values the code was never meant to see. genValidSpec asserts exactly the two things the instance promises, and it is one line. The spec belongs to the package that declares the instance, because a spec written next door disappears the day that other package stops mentioning the type. [hopinion-project]  │ Hint: To suppress, write this directly above line 9 of thing/src/Thing.hs, and say why: -- [allow:TestGenValidSpecPerGenValid]  [hopinion-project] ─────╯ [hopinion-project:post-build] Uploading to the NixCI staging cache: /nix/store/xzr8bv5i0c186fj4l9mw56k7hamj8mj9-hopinion-project [hopinion-project:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [hopinion-project:post-build] copying 1 paths... [hopinion-project:post-build] copying path '/nix/store/xzr8bv5i0c186fj4l9mw56k7hamj8mj9-hopinion-project' to 'https://cache.staging.nix-ci.com'... [hopinion-project:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [hopinion-project:post-build] copying 0 paths... Uploaded hopinion-project in 681ms Progress: 8 of 10 built, 2 of 2 downloaded from cache Built hopinion-project in 2.0s Building /nix/store/0qa0l1i73y5sp9idmx4hq1zc339v660h-e2e-added-rule-is-run.drv [e2e-added-rule-is-run:post-build] Uploading to the NixCI staging cache: /nix/store/zczs0p1dx60xnbwh040mi9rk3nb55qc8-e2e-added-rule-is-run [e2e-added-rule-is-run:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [e2e-added-rule-is-run:post-build] copying 1 paths... [e2e-added-rule-is-run:post-build] copying path '/nix/store/zczs0p1dx60xnbwh040mi9rk3nb55qc8-e2e-added-rule-is-run' to 'https://cache.staging.nix-ci.com'... [e2e-added-rule-is-run:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead [e2e-added-rule-is-run:post-build] copying 0 paths... Uploaded e2e-added-rule-is-run in 758ms Progress: 9 of 10 built, 2 of 2 downloaded from cache Built e2e-added-rule-is-run in 807ms Progress: 10 of 10 built, 2 of 2 downloaded from cache /nix/store/zczs0p1dx60xnbwh040mi9rk3nb55qc8-e2e-added-rule-is-run Build succeeded.