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-unconcat-integration-test [i686-linux] succeeded Jan 12, 2024 in 9m 21s

Run results

Build succeeded

Details

Last 100 lines of logs:

  ✓ haskNotEqualNatural0 passed 100 tests.
  ✓ haskGeNatural0 passed 100 tests.
  ✓ haskGtNatural0 passed 100 tests.
  ✓ haskLeNatural0 passed 100 tests.
  ✓ haskLtNatural0 passed 100 tests.
  ✓ haskEqualWord0 passed 100 tests.
  ✓ haskNotEqualWord0 passed 100 tests.
  ✓ haskGeWord0 passed 100 tests.
  ✓ haskGtWord0 passed 100 tests.
  ✓ haskLeWord0 passed 100 tests.
  ✓ haskLtWord0 passed 100 tests.
  ✓ haskEqualWord160 passed 100 tests.
  ✓ haskNotEqualWord160 passed 100 tests.
  ✓ haskGeWord160 passed 100 tests.
  ✓ haskGtWord160 passed 100 tests.
  ✓ haskLeWord160 passed 100 tests.
  ✓ haskLtWord160 passed 100 tests.
  ✓ haskEqualWord320 passed 100 tests.
  ✓ 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.
  ✓ haskMax0 passed 100 tests.
  ✓ haskMin0 passed 100 tests.
  ✓ haskNot0 passed 100 tests.
  ✓ haskPlus0 passed 100 tests.
  ✓ haskMinus0 passed 100 tests.
  ✓ haskTimes0 passed 100 tests.
  ✓ haskRecip0 passed 100 tests.
  ✓ haskDiv0 passed 100 tests.
  ✓ haskMod0 passed 100 tests.
  ✓ haskDivide0 passed 100 tests.
  ✓ haskDivideDouble0 passed 100 tests.
  ✓ haskDivideFloat0 passed 100 tests.
  ✓ haskNegate0 passed 100 tests.
  ✓ haskPowInt0 passed 100 tests.
  ✓ haskFromInteger0 passed 100 tests.
  ✓ haskFromIntegral0 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.
  ✓ haskCurry0 passed 100 tests.
  ✓ haskUncurry0 passed 100 tests.
  ✓ haskUnsafeCoerce0 passed 100 tests.
  ✓ 164 succeeded.
Test suite unconcat-hierarchy-optimized: PASS
Test suite logged to:
dist/test/categorifier-unconcat-integration-test-0.1-unconcat-hierarchy-optimized.log
2 of 2 test suites (2 of 2 test cases) passed.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
Preprocessing library for categorifier-unconcat-integration-test-0.1..
Running Haddock on library for categorifier-unconcat-integration-test-0.1..
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: concat-inline-0.1.0.0,
data-array-byte-0.1.0.1
Warning: --source-* options are ignored when --hyperlinked-source is enabled.
 100% (  3 /  3) in 'Categorifier.Test.UnconCat.Instances'
Documentation created:
dist/doc/html/categorifier-unconcat-integration-test/index.html,
dist/doc/html/categorifier-unconcat-integration-test/categorifier-unconcat-integration-test.txt
Preprocessing test suite 'unconcat-hierarchy' for categorifier-unconcat-integration-test-0.1..
Preprocessing test suite 'unconcat-hierarchy-optimized' for categorifier-unconcat-integration-test-0.1..
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/rv7wsi6b1340saj8kb24xr0nzws856mg-categorifier-unconcat-integration-test-0.1/lib/ghc-9.2.8/i386-linux-ghc-9.2.8/categorifier-unconcat-integration-test-0.1-CbmYoIkShD54FiAqYV35T1
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/rv7wsi6b1340saj8kb24xr0nzws856mg-categorifier-unconcat-integration-test-0.1
shrinking /nix/store/rv7wsi6b1340saj8kb24xr0nzws856mg-categorifier-unconcat-integration-test-0.1/lib/ghc-9.2.8/i386-linux-ghc-9.2.8/libHScategorifier-unconcat-integration-test-0.1-CbmYoIkShD54FiAqYV35T1-ghc9.2.8.so
checking for references to /build/ in /nix/store/rv7wsi6b1340saj8kb24xr0nzws856mg-categorifier-unconcat-integration-test-0.1...
patching script interpreter paths in /nix/store/rv7wsi6b1340saj8kb24xr0nzws856mg-categorifier-unconcat-integration-test-0.1
stripping (with command strip and flags -S -p) in  /nix/store/rv7wsi6b1340saj8kb24xr0nzws856mg-categorifier-unconcat-integration-test-0.1/lib
shrinking RPATHs of ELF executables and libraries in /nix/store/2fp6f7ypixxm19da98g41qifmfpjvfaz-categorifier-unconcat-integration-test-0.1-doc
checking for references to /build/ in /nix/store/2fp6f7ypixxm19da98g41qifmfpjvfaz-categorifier-unconcat-integration-test-0.1-doc...
patching script interpreter paths in /nix/store/2fp6f7ypixxm19da98g41qifmfpjvfaz-categorifier-unconcat-integration-test-0.1-doc