Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add support for categorifying Natural #101

Closed
wants to merge 3 commits into from

Implement `Natural` support

3cdb6f5
Select commit
Loading
Failed to load commit list.
Closed

Add support for categorifying Natural #101

Implement `Natural` support
3cdb6f5
Select commit
Loading
Failed to load commit list.
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