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-client [aarch64-darwin]
succeeded
Jan 12, 2024 in 6m 1s
Run results
Build succeeded
Details
Last 100 lines of logs:
No doctest found
Using gcc version 16.0.6 given by user at:
/nix/store/zh206nri10wwp68g7qf9ccya1irynx5g-clang-wrapper-16.0.6/bin/clang
Using ghc version 9.2.8 found on system at:
/nix/store/33n0dmhwgahpw54pgq1mr7dzvhqwq552-ghc-9.2.8/bin/ghc
Using ghc-pkg version 9.2.8 found on system at:
/nix/store/33n0dmhwgahpw54pgq1mr7dzvhqwq552-ghc-9.2.8/bin/ghc-pkg-9.2.8
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.26.0 found on system at:
/nix/store/33n0dmhwgahpw54pgq1mr7dzvhqwq552-ghc-9.2.8/bin/haddock-ghc-9.2.8
No happy found
Using haskell-suite found on system at: haskell-suite-dummy-location
Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
No hmake found
Using hpc version 0.68 found on system at:
/nix/store/33n0dmhwgahpw54pgq1mr7dzvhqwq552-ghc-9.2.8/bin/hpc
Using hsc2hs version 0.68.8 found on system at:
/nix/store/33n0dmhwgahpw54pgq1mr7dzvhqwq552-ghc-9.2.8/bin/hsc2hs
Using hscolour version 1.24 found on system at:
/nix/store/6ra6vi4zvckb8zaizlkzzcss7cj1pp4q-hscolour-1.24.4/bin/HsColour
No jhc found
Using ld found on system at:
/nix/store/pp299j7rqcrh9xrrppyvjnib0jqhqh0m-cctools-binutils-darwin-wrapper-16.0.6-973.0.1/bin/ld
No pkg-config found
Using runghc version 9.2.8 found on system at:
/nix/store/33n0dmhwgahpw54pgq1mr7dzvhqwq552-ghc-9.2.8/bin/runghc-9.2.8
Using strip found on system at:
/nix/store/zh206nri10wwp68g7qf9ccya1irynx5g-clang-wrapper-16.0.6/bin/strip
Using tar found on system at:
/nix/store/g9z0hg6snhg5834p14yw4bx6ilcffr8b-gnutar-1.35/bin/tar
No uhc found
@nix {"action":"setPhase","phase":"buildPhase"}
building
Preprocessing library for categorifier-client-0.1..
Building library for categorifier-client-0.1..
[1 of 3] Compiling Categorifier.Client.Internal ( Categorifier/Client/Internal.hs, dist/build/Categorifier/Client/Internal.o, dist/build/Categorifier/Client/Internal.dyn_o )
[2 of 3] Compiling Categorifier.Client ( Categorifier/Client.hs, dist/build/Categorifier/Client.o, dist/build/Categorifier/Client.dyn_o )
[3 of 3] Compiling Paths_categorifier_client ( dist/build/autogen/Paths_categorifier_client.hs, dist/build/Paths_categorifier_client.o, dist/build/Paths_categorifier_client.dyn_o )
[1 of 3] Compiling Categorifier.Client.Internal ( Categorifier/Client/Internal.hs, dist/build/Categorifier/Client/Internal.p_o )
ld: warning: /nix/store/x622mzi1g7v7nh7zq5r8d0nxbhrg9px3-libcxxabi-16.0.6/lib/libc++abi.dylib, ignoring unexpected dylib file
ld: warning: /nix/store/g5r20rs0qhcjcbf9dhbnbd9ksg0h0jmx-libiconv-50/lib/libiconv.dylib, ignoring unexpected dylib file
[2 of 3] Compiling Categorifier.Client ( Categorifier/Client.hs, dist/build/Categorifier/Client.p_o )
ld: warning: /nix/store/x622mzi1g7v7nh7zq5r8d0nxbhrg9px3-libcxxabi-16.0.6/lib/libc++abi.dylib, ignoring unexpected dylib file
ld: warning: /nix/store/g5r20rs0qhcjcbf9dhbnbd9ksg0h0jmx-libiconv-50/lib/libiconv.dylib, ignoring unexpected dylib file
[3 of 3] Compiling Paths_categorifier_client ( dist/build/autogen/Paths_categorifier_client.hs, dist/build/Paths_categorifier_client.p_o )
ld: warning: /nix/store/x622mzi1g7v7nh7zq5r8d0nxbhrg9px3-libcxxabi-16.0.6/lib/libc++abi.dylib, ignoring unexpected dylib file
ld: warning: /nix/store/g5r20rs0qhcjcbf9dhbnbd9ksg0h0jmx-libiconv-50/lib/libiconv.dylib, ignoring unexpected dylib file
Preprocessing test suite 'client-instances' for categorifier-client-0.1..
Building test suite 'client-instances' for categorifier-client-0.1..
[1 of 1] Compiling Main ( test/Main.hs, dist/build/client-instances/client-instances-tmp/Main.o, dist/build/client-instances/client-instances-tmp/Main.dyn_o )
Linking dist/build/client-instances/client-instances ...
@nix {"action":"setPhase","phase":"checkPhase"}
running tests
Running 1 test suites...
Test suite client-instances: RUNNING...
━━━ Main ━━━
✓ prop_fooIso passed 100 tests.
✓ prop_altVecZIso passed 100 tests.
✓ prop_altVecSIso passed 100 tests.
✓ prop_someExprDoubleIso passed 100 tests.
✓ prop_someExprIntIso passed 100 tests.
✓ prop_weirdExprDoubleIso passed 100 tests.
✓ prop_weirdExprIntIso passed 100 tests.
✓ prop_weirdExprBoolIso passed 100 tests.
✓ prop_weirdExprCharIso passed 100 tests.
✓ 9 succeeded.
Test suite client-instances: PASS
Test suite logged to: dist/test/categorifier-client-0.1-client-instances.log
1 of 1 test suites (1 of 1 test cases) passed.
@nix {"action":"setPhase","phase":"haddockPhase"}
haddockPhase
Preprocessing library for categorifier-client-0.1..
Running Haddock on library for categorifier-client-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.
Warning: '()' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: '(,)' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'Generic' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
Warning: 'r' is out of scope.
If you qualify the identifier, haddock can try to link it anyway.
100% ( 7 / 7) in 'Categorifier.Client'
Documentation created: dist/doc/html/categorifier-client/index.html,
dist/doc/html/categorifier-client/categorifier-client.txt
Preprocessing test suite 'client-instances' for categorifier-client-0.1..
@nix {"action":"setPhase","phase":"installPhase"}
installing
Installing library in /nix/store/i5h9l0pqgawnb3pzii79mv39adpzjnq1-categorifier-client-0.1/lib/ghc-9.2.8/aarch64-osx-ghc-9.2.8/categorifier-client-0.1-KiK2LsvCha1tZcvoA0EUe
@nix {"action":"setPhase","phase":"fixupPhase"}
post-installation fixup
checking for references to /private/tmp/nix-build-categorifier-client-0.1.drv-0/ in /nix/store/i5h9l0pqgawnb3pzii79mv39adpzjnq1-categorifier-client-0.1...
patching script interpreter paths in /nix/store/i5h9l0pqgawnb3pzii79mv39adpzjnq1-categorifier-client-0.1
stripping (with command strip and flags -S) in /nix/store/i5h9l0pqgawnb3pzii79mv39adpzjnq1-categorifier-client-0.1/lib
checking for references to /private/tmp/nix-build-categorifier-client-0.1.drv-0/ in /nix/store/4wsywc1iq9hdk0zqzrszw71dh2qj0k5h-categorifier-client-0.1-doc...
patching script interpreter paths in /nix/store/4wsywc1iq9hdk0zqzrszw71dh2qj0k5h-categorifier-client-0.1-doc
Loading