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 ghc8107_categorifier-plugin [aarch64-linux] failed Jan 12, 2024 in 11m 49s

Run results

Build failed

Details

Last 100 lines of logs:

        depends categorifier-ghc-0.1-54qkFPoyRDL4Ydh33FJbc9
        depends categorifier-th-0.1-5yvPzzIPX9e60ufDlY0U9Y
        depends containers-0.6.5.1
        depends either-5.0.2-9pTqGgtSz6xCpIsfIRXnCF
        depends extra-1.7.14-3Gr0wTl0AdB51fc94dyORJ
        depends ghc-8.10.7
        depends ghc-prim-0.6.1
        depends semialign-1.3-8G6ehXZFtMB9jvyknroL4
        depends semigroupoids-5.3.7-BKxWRu5atgFImnu2IQ4wBO
        depends syb-0.7.2.4-fa9BVoamrcJMyeBRXfQtg
        depends template-haskell-2.16.0.0
        depends text-1.2.4.1
        depends these-1.2-AKQqT2PtVqvK0zzbqpk82y
        depends transformers-0.5.6.2
        depends uniplate-1.6.13-CEOpVQEiecA5p8U5Iz9v3F
        depends yaya-0.4.2.1-FIme6CcRvM64JnTxu1ayfX
Using Cabal-3.2.1.0 compiled by ghc-8.10
Using compiler: ghc-8.10.7
Using install prefix:
/nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1
Executables installed in:
/nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/bin
Libraries installed in:
/nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/lib/ghc-8.10.7/aarch64-linux-ghc-8.10.7/categorifier-plugin-0.1-Jm84smrg7K7C3MANMs3nV0
Dynamic Libraries installed in:
/nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/lib/ghc-8.10.7/aarch64-linux-ghc-8.10.7
Private executables installed in:
/nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/libexec/aarch64-linux-ghc-8.10.7/categorifier-plugin-0.1
Data files installed in:
/nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/share/aarch64-linux-ghc-8.10.7/categorifier-plugin-0.1
Documentation installed in:
/nix/store/xqkp958y306h2b3rm39px93fwhqch9wl-categorifier-plugin-0.1-doc/share/doc/categorifier-plugin-0.1
Configuration files installed in:
/nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/etc
No alex found
Using ar found on system at:
/nix/store/zzxh4c6lg7f04sav05h4hca94d4hch1m-binutils-2.40/bin/ar
No c2hs found
No cpphs found
No doctest found
Using gcc version 12.3.0 given by user at:
/nix/store/w60555gr2jhi7n277aqckwwknv8yxh35-gcc-wrapper-12.3.0/bin/gcc
Using ghc version 8.10.7 found on system at:
/nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/ghc
Using ghc-pkg version 8.10.7 found on system at:
/nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/ghc-pkg
No ghcjs found
No ghcjs-pkg found
No greencard found
Using haddock version 2.24.2 found on system at:
/nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/haddock
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/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/hpc
Using hsc2hs version 0.68.7 found on system at:
/nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/hsc2hs
Using hscolour version 1.24 found on system at:
/nix/store/m9iaj5rlvj1djjfvljdz9h5mpwnw63mk-hscolour-1.24.4/bin/HsColour
No jhc found
Using ld found on system at:
/nix/store/990ij43xzr8hkm6yjzmr5n931rvxm9k9-binutils-wrapper-2.40/bin/ld.gold
No pkg-config found
Using runghc version 8.10.7 found on system at:
/nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/runghc
Using strip version 2.40 found on system at:
/nix/store/w60555gr2jhi7n277aqckwwknv8yxh35-gcc-wrapper-12.3.0/bin/strip
Using tar found on system at:
/nix/store/54cyqbwjrd0qv0n68554fm7bhdxfyhhn-gnutar-1.35/bin/tar
No uhc found
@nix {"action":"setPhase","phase":"buildPhase"}
building
Preprocessing library for categorifier-plugin-0.1..
Building library for categorifier-plugin-0.1..
[ 1 of 18] Compiling Categorifier.Benchmark ( Categorifier/Benchmark.hs, dist/build/Categorifier/Benchmark.o, dist/build/Categorifier/Benchmark.dyn_o )
[ 2 of 18] Compiling Categorifier.Categorify ( Categorifier/Categorify.hs, dist/build/Categorifier/Categorify.o, dist/build/Categorifier/Categorify.dyn_o )
[ 3 of 18] Compiling Categorifier.CommandLineOptions ( Categorifier/CommandLineOptions.hs, dist/build/Categorifier/CommandLineOptions.o, dist/build/Categorifier/CommandLineOptions.dyn_o )
[ 4 of 18] Compiling Categorifier.Core.Base ( Categorifier/Core/Base.hs, dist/build/Categorifier/Core/Base.o, dist/build/Categorifier/Core/Base.dyn_o )
[ 5 of 18] Compiling Categorifier.Core.Benchmark ( Categorifier/Core/Benchmark.hs, dist/build/Categorifier/Core/Benchmark.o, dist/build/Categorifier/Core/Benchmark.dyn_o )
[ 6 of 18] Compiling Categorifier.Core.Functions ( Categorifier/Core/Functions.hs, dist/build/Categorifier/Core/Functions.o, dist/build/Categorifier/Core/Functions.dyn_o )
[ 7 of 18] Compiling Categorifier.Core.Trace ( Categorifier/Core/Trace.hs, dist/build/Categorifier/Core/Trace.o, dist/build/Categorifier/Core/Trace.dyn_o )
[ 8 of 18] Compiling Categorifier.Core.Types ( Categorifier/Core/Types.hs, dist/build/Categorifier/Core/Types.o, dist/build/Categorifier/Core/Types.dyn_o )
[ 9 of 18] Compiling Categorifier.Core.ErrorHandling ( Categorifier/Core/ErrorHandling.hs, dist/build/Categorifier/Core/ErrorHandling.o, dist/build/Categorifier/Core/ErrorHandling.dyn_o )
[10 of 18] Compiling Categorifier.Core.BuildDictionary ( Categorifier/Core/BuildDictionary.hs, dist/build/Categorifier/Core/BuildDictionary.o, dist/build/Categorifier/Core/BuildDictionary.dyn_o )
[11 of 18] Compiling Categorifier.Hierarchy ( Categorifier/Hierarchy.hs, dist/build/Categorifier/Hierarchy.o, dist/build/Categorifier/Hierarchy.dyn_o )
[12 of 18] Compiling Categorifier.Core.Makers ( Categorifier/Core/Makers.hs, dist/build/Categorifier/Core/Makers.o, dist/build/Categorifier/Core/Makers.dyn_o )
[13 of 18] Compiling Categorifier.Core.PrimOp ( Categorifier/Core/PrimOp.hs, dist/build/Categorifier/Core/PrimOp.o, dist/build/Categorifier/Core/PrimOp.dyn_o )
[14 of 18] Compiling Categorifier.Core.MakerMap ( Categorifier/Core/MakerMap.hs, dist/build/Categorifier/Core/MakerMap.o, dist/build/Categorifier/Core/MakerMap.dyn_o )

Categorifier/Core/MakerMap.hs:73:1: error:
    Could not load module ‘GHC.Num.Natural’
    It is a member of the hidden package ‘ghc-bignum-1.0’.
    Perhaps you need to add ‘ghc-bignum’ to the build-depends in your .cabal file.
    Use -v (or `:set -v` in ghci) to see a list of the files searched for.
   |
73 | import qualified GHC.Num.Natural
   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[18 of 18] Compiling Paths_categorifier_plugin ( dist/build/autogen/Paths_categorifier_plugin.hs, dist/build/Paths_categorifier_plugin.o, dist/build/Paths_categorifier_plugin.dyn_o )