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-vec-integration-test [aarch64-darwin]
succeeded
Jan 12, 2024 in 28m 1s
Run results
Build succeeded
Details
Last 100 lines of logs:
Linking dist/build/vec-hierarchy/vec-hierarchy ...
Preprocessing test suite 'vec-hierarchy-optimized' for categorifier-vec-integration-test-0.1..
Building test suite 'vec-hierarchy-optimized' for categorifier-vec-integration-test-0.1..
[1 of 1] Compiling Main ( test/Vec/Main.hs, dist/build/vec-hierarchy-optimized/vec-hierarchy-optimized-tmp/Main.o, dist/build/vec-hierarchy-optimized/vec-hierarchy-optimized-tmp/Main.dyn_o )
Linking dist/build/vec-hierarchy-optimized/vec-hierarchy-optimized ...
@nix {"action":"setPhase","phase":"checkPhase"}
running tests
Running 2 test suites...
Test suite vec-hierarchy: RUNNING...
━━━ Term ━━━
✓ termBindVec0 passed 100 tests.
✓ termIndexVec0 passed 100 tests.
✓ termMapVec0 passed 100 tests.
✓ termSumVec0 passed 100 tests.
✓ termTabulateVec0 passed 100 tests.
✓ termTraverseVec0 passed 100 tests.
✓ termTraverseVec1 passed 100 tests.
✓ 7 succeeded.
━━━ -> ━━━
✓ plainArrowBindVec0 passed 100 tests.
✓ plainArrowIndexVec0 passed 100 tests.
✓ plainArrowMapVec0 passed 100 tests.
✓ plainArrowSumVec0 passed 100 tests.
✓ plainArrowTabulateVec0 passed 100 tests.
✓ plainArrowTraverseVec0 passed 100 tests.
✓ plainArrowTraverseVec1 passed 100 tests.
✓ 7 succeeded.
━━━ Hask ━━━
✓ haskBindVec0 passed 100 tests.
✓ haskIndexVec0 passed 100 tests.
✓ haskMapVec0 passed 100 tests.
✓ haskSumVec0 passed 100 tests.
✓ haskTabulateVec0 passed 100 tests.
✓ haskTraverseVec0 passed 100 tests.
✓ haskTraverseVec1 passed 100 tests.
✓ 7 succeeded.
Test suite vec-hierarchy: PASS
Test suite logged to:
dist/test/categorifier-vec-integration-test-0.1-vec-hierarchy.log
Test suite vec-hierarchy-optimized: RUNNING...
━━━ Term ━━━
✓ termBindVec0 passed 100 tests.
✓ termIndexVec0 passed 100 tests.
✓ termMapVec0 passed 100 tests.
✓ termSumVec0 passed 100 tests.
✓ termTabulateVec0 passed 100 tests.
✓ termTraverseVec0 passed 100 tests.
✓ termTraverseVec1 passed 100 tests.
✓ 7 succeeded.
━━━ -> ━━━
✓ plainArrowBindVec0 passed 100 tests.
✓ plainArrowIndexVec0 passed 100 tests.
✓ plainArrowMapVec0 passed 100 tests.
✓ plainArrowSumVec0 passed 100 tests.
✓ plainArrowTabulateVec0 passed 100 tests.
✓ plainArrowTraverseVec0 passed 100 tests.
✓ plainArrowTraverseVec1 passed 100 tests.
✓ 7 succeeded.
━━━ Hask ━━━
✓ haskBindVec0 passed 100 tests.
✓ haskIndexVec0 passed 100 tests.
✓ haskMapVec0 passed 100 tests.
✓ haskSumVec0 passed 100 tests.
✓ haskTabulateVec0 passed 100 tests.
✓ haskTraverseVec0 passed 100 tests.
✓ haskTraverseVec1 passed 100 tests.
✓ 7 succeeded.
Test suite vec-hierarchy-optimized: PASS
Test suite logged to:
dist/test/categorifier-vec-integration-test-0.1-vec-hierarchy-optimized.log
2 of 2 test suites (2 of 2 test cases) passed.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
Preprocessing library for categorifier-vec-integration-test-0.1..
Running Haddock on library for categorifier-vec-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.
0% ( 0 / 2) in 'Categorifier.Test.Vec'
Missing documentation for:
Module header
testTerms (Categorifier/Test/Vec.hs:22)
66% ( 2 / 3) in 'Categorifier.Test.Vec.Instances'
Missing documentation for:
Module header
Documentation created:
dist/doc/html/categorifier-vec-integration-test/index.html,
dist/doc/html/categorifier-vec-integration-test/categorifier-vec-integration-test.txt
Preprocessing test suite 'vec-hierarchy' for categorifier-vec-integration-test-0.1..
Preprocessing test suite 'vec-hierarchy-optimized' for categorifier-vec-integration-test-0.1..
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/ndgvnv655l9hddd1c8fxyfjgm2h6vhd0-categorifier-vec-integration-test-0.1/lib/ghc-9.2.8/aarch64-osx-ghc-9.2.8/categorifier-vec-integration-test-0.1-4YwDJSswhtpHoaqQ3adRCI
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
checking for references to /private/tmp/nix-build-categorifier-vec-integration-test-0.1.drv-0/ in /nix/store/ndgvnv655l9hddd1c8fxyfjgm2h6vhd0-categorifier-vec-integration-test-0.1...
patching script interpreter paths in /nix/store/ndgvnv655l9hddd1c8fxyfjgm2h6vhd0-categorifier-vec-integration-test-0.1
stripping (with command strip and flags -S) in /nix/store/ndgvnv655l9hddd1c8fxyfjgm2h6vhd0-categorifier-vec-integration-test-0.1/lib
checking for references to /private/tmp/nix-build-categorifier-vec-integration-test-0.1.drv-0/ in /nix/store/6bkfh2imwbcpcwim5ghnnwms9gjy566y-categorifier-vec-integration-test-0.1-doc...
patching script interpreter paths in /nix/store/6bkfh2imwbcpcwim5ghnnwms9gjy566y-categorifier-vec-integration-test-0.1-doc
Loading