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-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
Loading