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-plugin-test [aarch64-linux] succeeded Jan 12, 2024 in 9m 56s

Run results

Build succeeded

Details

Last 100 lines of logs:

  ✓ plainArrowNegate0 passed 100 tests.
  ✓ plainArrowSignum0 passed 100 tests.
  ✓ plainArrowPowInt0 passed 100 tests.
  ✓ plainArrowFromInteger0 passed 100 tests.
  ✓ plainArrowFromIntegral0 passed 100 tests.
  ✓ plainArrowAppend0 passed 100 tests.
  ✓ plainArrowMappend0 passed 100 tests.
  ✓ plainArrowListAppend0 passed 100 tests.
  ✓ plainArrowPure0 passed 100 tests.
  ✓ plainArrowPure1 passed 100 tests.
  ✓ plainArrowReturn0 passed 100 tests.
  ✓ plainArrowBuildLeft0 passed 100 tests.
  ✓ plainArrowBuildRight0 passed 100 tests.
  ✓ plainArrowEliminateEither0 passed 100 tests.
  ✓ plainArrowEliminateEitherSwapped0 passed 100 tests.
  ✓ plainArrowApply0 passed 100 tests.
  ✓ plainArrowBareFMap0 passed 100 tests.
  ✓ plainArrowPartialFmap0 passed 100 tests.
  ✓ plainArrowFmap0 passed 100 tests.
  ✓ plainArrowFmap'0 passed 100 tests.
  ✓ plainArrowConstNot0 passed 100 tests.
  ✓ plainArrowMapList0 passed 100 tests.
  ✓ plainArrowLiftA20 passed 100 tests.
  ✓ plainArrowBind0 passed 100 tests.
  ✓ plainArrowCurry0 passed 100 tests.
  ✓ plainArrowUncurry0 passed 100 tests.
  ✓ plainArrowUnsafeCoerce0 passed 100 tests.
  ✓ plainArrowEven0 passed 100 tests.
  ✓ plainArrowOdd0 passed 100 tests.
  ✓ 214 succeeded.
Test suite default-plugin: PASS
Test suite logged to:
dist/test/categorifier-plugin-test-0.1-default-plugin.log
3 of 3 test suites (3 of 3 test cases) passed.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
Preprocessing library for categorifier-plugin-test-0.1..
Running Haddock on library for categorifier-plugin-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.
  25% (  1 /  4) in 'Categorifier.Test.Data'
  Missing documentation for:
    Module header
    Oneof (Categorifier/Test/Data.hs:52)
    Pair (Categorifier/Test/Data.hs:43)
  20% (  2 / 10) in 'Categorifier.Test.HList'
  Missing documentation for:
    Module header
    HMap1 (Categorifier/Test/HList.hs:67)
    append (Categorifier/Test/HList.hs:42)
    appendMap (Categorifier/Test/HList.hs:75)
    lowerWith (Categorifier/Test/HList.hs:46)
    map1 (Categorifier/Test/HList.hs:51)
    zipWith (Categorifier/Test/HList.hs:56)
    zipMapLowerWith (Categorifier/Test/HList.hs:71)
  50% (  1 /  2) in 'Categorifier.Test.Hask'
  Missing documentation for:
    Module header
  72% (  8 / 11) in 'Categorifier.Test.TH'
  Missing documentation for:
    mkExprTest (Categorifier/Test/TH.hs:253)
    TestCategory (Categorifier/Test/TH.hs:53)
    TestConfig (Categorifier/Test/TH.hs:77)
  25% (  1 /  4) in 'Categorifier.Test.Term'
  Missing documentation for:
    Module header
    binaryZero (Categorifier/Test/Term.hs:23)
    unaryZero (Categorifier/Test/Term.hs:20)
Warning: '->' is out of scope.
    If you qualify the identifier, haddock can try to link it anyway.
  61% (  8 / 13) in 'Categorifier.Test.Tests'
  Missing documentation for:
    defaultTestTerms (Categorifier/Test/Tests.hs:126)
    coreTestTerms (Categorifier/Test/Tests.hs:134)
    pluginTestTerms (Categorifier/Test/Tests.hs:177)
    zerosafeUnsignedPrimitiveCases (Categorifier/Test/Tests.hs:81)
    TestCategory (Categorifier/Test/TH.hs:53)
Warning: Categorifier.Test.HList: could not find link destinations for:

	- Categorifier.Test.HList.Length
	- Categorifier.Test.HList.Append
Documentation created: dist/doc/html/categorifier-plugin-test/index.html,
dist/doc/html/categorifier-plugin-test/categorifier-plugin-test.txt
Preprocessing test suite 'base-hierarchy-optimized' for categorifier-plugin-test-0.1..
Preprocessing test suite 'base-hierarchy' for categorifier-plugin-test-0.1..
Preprocessing test suite 'default-plugin' for categorifier-plugin-test-0.1..
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/dzbjcj5462la65nm26dkrm1zs72nfqa6-categorifier-plugin-test-0.1/lib/ghc-9.2.8/aarch64-linux-ghc-9.2.8/categorifier-plugin-test-0.1-HqchDl8qKZoBwElGzwOJ6k
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
shrinking RPATHs of ELF executables and libraries in /nix/store/dzbjcj5462la65nm26dkrm1zs72nfqa6-categorifier-plugin-test-0.1
shrinking /nix/store/dzbjcj5462la65nm26dkrm1zs72nfqa6-categorifier-plugin-test-0.1/lib/ghc-9.2.8/aarch64-linux-ghc-9.2.8/libHScategorifier-plugin-test-0.1-HqchDl8qKZoBwElGzwOJ6k-ghc9.2.8.so
checking for references to /build/ in /nix/store/dzbjcj5462la65nm26dkrm1zs72nfqa6-categorifier-plugin-test-0.1...
patching script interpreter paths in /nix/store/dzbjcj5462la65nm26dkrm1zs72nfqa6-categorifier-plugin-test-0.1
stripping (with command strip and flags -S -p) in  /nix/store/dzbjcj5462la65nm26dkrm1zs72nfqa6-categorifier-plugin-test-0.1/lib
shrinking RPATHs of ELF executables and libraries in /nix/store/lr4h37cd5jny5maqss2irs3gb2isqd4m-categorifier-plugin-test-0.1-doc
checking for references to /build/ in /nix/store/lr4h37cd5jny5maqss2irs3gb2isqd4m-categorifier-plugin-test-0.1-doc...
patching script interpreter paths in /nix/store/lr4h37cd5jny5maqss2irs3gb2isqd4m-categorifier-plugin-test-0.1-doc