Add support for categorifying Natural
#101
Closed
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Garnix CI / package ghc928_categorifier-categories-integration-test [x86_64-linux]
succeeded
Jan 12, 2024 in 6m 48s
Run results
Build succeeded
Details
Last 100 lines of logs:
✓ haskNotEqualWord320 passed 100 tests.
✓ haskGeWord320 passed 100 tests.
✓ haskGtWord320 passed 100 tests.
✓ haskLeWord320 passed 100 tests.
✓ haskLtWord320 passed 100 tests.
✓ haskEqualWord640 passed 100 tests.
✓ haskNotEqualWord640 passed 100 tests.
✓ haskGeWord640 passed 100 tests.
✓ haskGtWord640 passed 100 tests.
✓ haskLeWord640 passed 100 tests.
✓ haskLtWord640 passed 100 tests.
✓ haskEqualWord80 passed 100 tests.
✓ haskNotEqualWord80 passed 100 tests.
✓ haskGeWord80 passed 100 tests.
✓ haskGtWord80 passed 100 tests.
✓ haskLeWord80 passed 100 tests.
✓ haskLtWord80 passed 100 tests.
✓ haskCompare0 passed 100 tests.
✓ haskMax0 passed 100 tests.
✓ haskMin0 passed 100 tests.
✓ haskNot0 passed 100 tests.
✓ haskPlus0 passed 100 tests.
✓ haskMinus0 passed 100 tests.
✓ haskTimes0 passed 100 tests.
✓ haskQuot0 passed 100 tests.
✓ haskQuot1 passed 100 tests.
✓ haskQuot2 passed 100 tests.
✓ haskQuot3 passed 100 tests.
✓ haskRealToFrac0 passed 100 tests.
✓ haskRecip0 passed 100 tests.
✓ haskRem0 passed 100 tests.
✓ haskRem1 passed 100 tests.
✓ haskRem2 passed 100 tests.
✓ haskRem3 passed 100 tests.
✓ haskDiv0 passed 100 tests.
✓ haskMod0 passed 100 tests.
✓ haskDivide0 passed 100 tests.
✓ haskDivideDouble0 passed 100 tests.
✓ haskDivideFloat0 passed 100 tests.
✓ haskAbs0 passed 100 tests.
✓ haskNegate0 passed 100 tests.
✓ haskSignum0 passed 100 tests.
✓ haskPowInt0 passed 100 tests.
✓ haskFromInteger0 passed 100 tests.
✓ haskFromIntegral0 passed 100 tests.
✓ haskAppend0 passed 100 tests.
✓ haskMappend0 passed 100 tests.
✓ haskListAppend0 passed 100 tests.
✓ haskPure0 passed 100 tests.
✓ haskPure1 passed 100 tests.
✓ haskReturn0 passed 100 tests.
✓ haskBuildLeft0 passed 100 tests.
✓ haskBuildRight0 passed 100 tests.
✓ haskEliminateEither0 passed 100 tests.
✓ haskEliminateEitherSwapped0 passed 100 tests.
✓ haskApply0 passed 100 tests.
✓ haskBareFMap0 passed 100 tests.
✓ haskPartialFmap0 passed 100 tests.
✓ haskFmap0 passed 100 tests.
✓ haskFmap'0 passed 100 tests.
✓ haskConstNot0 passed 100 tests.
✓ haskMapList0 passed 100 tests.
✓ haskAp0 passed 100 tests.
✓ haskBind0 passed 100 tests.
✓ haskCurry0 passed 100 tests.
✓ haskUncurry0 passed 100 tests.
✓ haskUnsafeCoerce0 passed 100 tests.
✓ 230 succeeded.
Test suite categories-hierarchy-optimized: PASS
Test suite logged to:
dist/test/categorifier-categories-integration-test-0.1-categories-hierarchy-optimized.log
2 of 2 test suites (2 of 2 test cases) passed.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
Preprocessing library for categorifier-categories-integration-test-0.1..
Running Haddock on library for categorifier-categories-integration-test-0.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: data-array-byte-0.1.0.1
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
66% ( 2 / 3) in 'Categorifier.Test.Categories.Instances'
Missing documentation for:
Module header
Documentation created:
dist/doc/html/categorifier-categories-integration-test/index.html,
dist/doc/html/categorifier-categories-integration-test/categorifier-categories-integration-test.txt
Preprocessing test suite 'categories-hierarchy' for categorifier-categories-integration-test-0.1..
Preprocessing test suite 'categories-hierarchy-optimized' for categorifier-categories-integration-test-0.1..
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/p5yix5j6sm1yrbki5acz5400867r3v3h-categorifier-categories-integration-test-0.1/lib/ghc-9.2.8/x86_64-linux-ghc-9.2.8/categorifier-categories-integration-test-0.1-6rtBqT5h8vhLZfsplFyLsg
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/p5yix5j6sm1yrbki5acz5400867r3v3h-categorifier-categories-integration-test-0.1
shrinking /nix/store/p5yix5j6sm1yrbki5acz5400867r3v3h-categorifier-categories-integration-test-0.1/lib/ghc-9.2.8/x86_64-linux-ghc-9.2.8/libHScategorifier-categories-integration-test-0.1-6rtBqT5h8vhLZfsplFyLsg-ghc9.2.8.so
checking for references to /build/ in /nix/store/p5yix5j6sm1yrbki5acz5400867r3v3h-categorifier-categories-integration-test-0.1...
patching script interpreter paths in /nix/store/p5yix5j6sm1yrbki5acz5400867r3v3h-categorifier-categories-integration-test-0.1
stripping (with command strip and flags -S -p) in /nix/store/p5yix5j6sm1yrbki5acz5400867r3v3h-categorifier-categories-integration-test-0.1/lib
shrinking RPATHs of ELF executables and libraries in /nix/store/g9kymdqyqdqkx9axk4yph0jxh5c283ch-categorifier-categories-integration-test-0.1-doc
checking for references to /build/ in /nix/store/g9kymdqyqdqkx9axk4yph0jxh5c283ch-categorifier-categories-integration-test-0.1-doc...
patching script interpreter paths in /nix/store/g9kymdqyqdqkx9axk4yph0jxh5c283ch-categorifier-categories-integration-test-0.1-doc
Loading