2.66 s[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.
2.66 s[lonely-hopinion] │Hint: To suppress, write this directly above line 8 of lonely/src/Lonely.hs, and say why: -- [allow:HsGenValidInGenPackage] <reason>
3.51 s[e2e-wrong-source-report] [error HOPINION_FAILED]: No source root accounts for lonely/src/Lonely.hs, so it cannot be shown against its code. Pass --source PREFIX=DIR for the package it is in.
3.51 s[e2e-wrong-source-report] [error HOPINION_FAILED]: No source root accounts for thing/src/Thing.hs, so it cannot be shown against its code. Pass --source PREFIX=DIR for the package it is in.
3.51 s[e2e-wrong-source-report] •╰╸A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package.
3.51 s[e2e-wrong-source-report] │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.
3.51 s[e2e-wrong-source-report] │Hint: To suppress, write this on the line above the code it points at, and say why: -- [allow:HsGenValidInGenPackage] <reason>
3.51 s[e2e-wrong-source-report] [error TestGenValidSpecPerGenValid]: No genValidSpec @Orphan anywhere, and there is no lonely-gen for it to be written in.
3.51 s[e2e-wrong-source-report] •╰╸A GenValid instance creates an obligation: genValidSpec @T must be called in the test suite of that package's gen package.
3.51 s[e2e-wrong-source-report] │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.
3.51 s[e2e-wrong-source-report] │Hint: To suppress, write this on the line above the code it points at, and say why: -- [allow:TestGenValidSpecPerGenValid] <reason>
3.56 s[e2e-wrong-source-report] │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.
3.56 s[e2e-wrong-source-report] │Hint: To suppress, write this on the line above the code it points at, and say why: -- [allow:CommentBareTodo] <reason>
3.56 s[e2e-wrong-source-report] •╰╸A GenValid instance in a package's own library gets compiled into the executable. Move it to the matching -gen package.
3.56 s[e2e-wrong-source-report] │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.
3.56 s[e2e-wrong-source-report] │Hint: To suppress, write this on the line above the code it points at, and say why: -- [allow:HsGenValidInGenPackage] <reason>
3.56 s[e2e-wrong-source-report] •╰╸A GenValid instance creates an obligation: genValidSpec @T must be called in the test suite of that package's gen package.
3.56 s[e2e-wrong-source-report] │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.
3.56 s[e2e-wrong-source-report] │Hint: To suppress, write this on the line above the code it points at, and say why: -- [allow:TestGenValidSpecPerGenValid] <reason>
4.27 s[e2e-wrong-source-mapping-is-a-complaint:post-build] Uploading to the NixCI staging cache: /nix/store/jxxg6i79p6xcmx6l995cdkfz7wbngydd-e2e-wrong-source-mapping-is-a-complaint
4.32 s[e2e-wrong-source-mapping-is-a-complaint:post-build] warning: 'warn-short-path-literals' is deprecated, use 'lint-short-path-literals = ignore' instead