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-fin-integration [aarch64-linux] failed Jan 12, 2024 in 8m 21s

Run results

Build failed

Details

Last 100 lines of logs:

categorifier-plugin>         depends transformers-0.5.6.2
categorifier-plugin>         depends uniplate-1.6.13-CEOpVQEiecA5p8U5Iz9v3F
categorifier-plugin>         depends yaya-0.4.2.1-FIme6CcRvM64JnTxu1ayfX
categorifier-plugin> Using Cabal-3.2.1.0 compiled by ghc-8.10
categorifier-plugin> Using compiler: ghc-8.10.7
categorifier-plugin> Using install prefix:
categorifier-plugin> /nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1
categorifier-plugin> Executables installed in:
categorifier-plugin> /nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/bin
categorifier-plugin> Libraries installed in:
categorifier-plugin> /nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/lib/ghc-8.10.7/aarch64-linux-ghc-8.10.7/categorifier-plugin-0.1-Jm84smrg7K7C3MANMs3nV0
categorifier-plugin> Dynamic Libraries installed in:
categorifier-plugin> /nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/lib/ghc-8.10.7/aarch64-linux-ghc-8.10.7
categorifier-plugin> Private executables installed in:
categorifier-plugin> /nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/libexec/aarch64-linux-ghc-8.10.7/categorifier-plugin-0.1
categorifier-plugin> Data files installed in:
categorifier-plugin> /nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/share/aarch64-linux-ghc-8.10.7/categorifier-plugin-0.1
categorifier-plugin> Documentation installed in:
categorifier-plugin> /nix/store/xqkp958y306h2b3rm39px93fwhqch9wl-categorifier-plugin-0.1-doc/share/doc/categorifier-plugin-0.1
categorifier-plugin> Configuration files installed in:
categorifier-plugin> /nix/store/i9xjsck27zli0dj33flqavg1q1c4irln-categorifier-plugin-0.1/etc
categorifier-plugin> No alex found
categorifier-plugin> Using ar found on system at:
categorifier-plugin> /nix/store/zzxh4c6lg7f04sav05h4hca94d4hch1m-binutils-2.40/bin/ar
categorifier-plugin> No c2hs found
categorifier-plugin> No cpphs found
categorifier-plugin> No doctest found
categorifier-plugin> Using gcc version 12.3.0 given by user at:
categorifier-plugin> /nix/store/w60555gr2jhi7n277aqckwwknv8yxh35-gcc-wrapper-12.3.0/bin/gcc
categorifier-plugin> Using ghc version 8.10.7 found on system at:
categorifier-plugin> /nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/ghc
categorifier-plugin> Using ghc-pkg version 8.10.7 found on system at:
categorifier-plugin> /nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/ghc-pkg
categorifier-plugin> No ghcjs found
categorifier-plugin> No ghcjs-pkg found
categorifier-plugin> No greencard found
categorifier-plugin> Using haddock version 2.24.2 found on system at:
categorifier-plugin> /nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/haddock
categorifier-plugin> No happy found
categorifier-plugin> Using haskell-suite found on system at: haskell-suite-dummy-location
categorifier-plugin> Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location
categorifier-plugin> No hmake found
categorifier-plugin> Using hpc version 0.68 found on system at:
categorifier-plugin> /nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/hpc
categorifier-plugin> Using hsc2hs version 0.68.7 found on system at:
categorifier-plugin> /nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/hsc2hs
categorifier-plugin> Using hscolour version 1.24 found on system at:
categorifier-plugin> /nix/store/m9iaj5rlvj1djjfvljdz9h5mpwnw63mk-hscolour-1.24.4/bin/HsColour
categorifier-plugin> No jhc found
categorifier-plugin> Using ld found on system at:
categorifier-plugin> /nix/store/990ij43xzr8hkm6yjzmr5n931rvxm9k9-binutils-wrapper-2.40/bin/ld.gold
categorifier-plugin> No pkg-config found
categorifier-plugin> Using runghc version 8.10.7 found on system at:
categorifier-plugin> /nix/store/jygfy7n7ckdv615b0a6ixvyh02cfl9bm-ghc-8.10.7/bin/runghc
categorifier-plugin> Using strip version 2.40 found on system at:
categorifier-plugin> /nix/store/w60555gr2jhi7n277aqckwwknv8yxh35-gcc-wrapper-12.3.0/bin/strip
categorifier-plugin> Using tar found on system at:
categorifier-plugin> /nix/store/54cyqbwjrd0qv0n68554fm7bhdxfyhhn-gnutar-1.35/bin/tar
categorifier-plugin> No uhc found
categorifier-plugin> building
categorifier-plugin> Preprocessing library for categorifier-plugin-0.1..
categorifier-plugin> Building library for categorifier-plugin-0.1..
categorifier-plugin> [ 1 of 18] Compiling Categorifier.Benchmark ( Categorifier/Benchmark.hs, dist/build/Categorifier/Benchmark.o, dist/build/Categorifier/Benchmark.dyn_o )
categorifier-plugin> [ 2 of 18] Compiling Categorifier.Categorify ( Categorifier/Categorify.hs, dist/build/Categorifier/Categorify.o, dist/build/Categorifier/Categorify.dyn_o )
categorifier-plugin> [ 3 of 18] Compiling Categorifier.CommandLineOptions ( Categorifier/CommandLineOptions.hs, dist/build/Categorifier/CommandLineOptions.o, dist/build/Categorifier/CommandLineOptions.dyn_o )
categorifier-plugin> [ 4 of 18] Compiling Categorifier.Core.Base ( Categorifier/Core/Base.hs, dist/build/Categorifier/Core/Base.o, dist/build/Categorifier/Core/Base.dyn_o )
categorifier-plugin> [ 5 of 18] Compiling Categorifier.Core.Benchmark ( Categorifier/Core/Benchmark.hs, dist/build/Categorifier/Core/Benchmark.o, dist/build/Categorifier/Core/Benchmark.dyn_o )
categorifier-plugin> [ 6 of 18] Compiling Categorifier.Core.Functions ( Categorifier/Core/Functions.hs, dist/build/Categorifier/Core/Functions.o, dist/build/Categorifier/Core/Functions.dyn_o )
categorifier-plugin> [ 7 of 18] Compiling Categorifier.Core.Trace ( Categorifier/Core/Trace.hs, dist/build/Categorifier/Core/Trace.o, dist/build/Categorifier/Core/Trace.dyn_o )
categorifier-plugin> [ 8 of 18] Compiling Categorifier.Core.Types ( Categorifier/Core/Types.hs, dist/build/Categorifier/Core/Types.o, dist/build/Categorifier/Core/Types.dyn_o )
categorifier-plugin> [ 9 of 18] Compiling Categorifier.Core.ErrorHandling ( Categorifier/Core/ErrorHandling.hs, dist/build/Categorifier/Core/ErrorHandling.o, dist/build/Categorifier/Core/ErrorHandling.dyn_o )
categorifier-plugin> [10 of 18] Compiling Categorifier.Core.BuildDictionary ( Categorifier/Core/BuildDictionary.hs, dist/build/Categorifier/Core/BuildDictionary.o, dist/build/Categorifier/Core/BuildDictionary.dyn_o )
categorifier-plugin> [11 of 18] Compiling Categorifier.Hierarchy ( Categorifier/Hierarchy.hs, dist/build/Categorifier/Hierarchy.o, dist/build/Categorifier/Hierarchy.dyn_o )
categorifier-plugin> [12 of 18] Compiling Categorifier.Core.Makers ( Categorifier/Core/Makers.hs, dist/build/Categorifier/Core/Makers.o, dist/build/Categorifier/Core/Makers.dyn_o )
categorifier-plugin> [13 of 18] Compiling Categorifier.Core.PrimOp ( Categorifier/Core/PrimOp.hs, dist/build/Categorifier/Core/PrimOp.o, dist/build/Categorifier/Core/PrimOp.dyn_o )
categorifier-plugin> [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-plugin> Categorifier/Core/MakerMap.hs:73:1: error:
categorifier-plugin>     Could not load module ‘GHC.Num.Natural’
categorifier-plugin>     It is a member of the hidden package ‘ghc-bignum-1.0’.
categorifier-plugin>     Perhaps you need to add ‘ghc-bignum’ to the build-depends in your .cabal file.
categorifier-plugin>     Use -v (or `:set -v` in ghci) to see a list of the files searched for.
categorifier-plugin>    |
categorifier-plugin> 73 | import qualified GHC.Num.Natural
categorifier-plugin>    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
categorifier-plugin> [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 )
error: build of '/nix/store/sjsn75dj3p5w52ll3bsg2xa0yzjrw9gb-categorifier-plugin-0.1.drv' on 'ssh-ng://nix-ssh@arm-server-1' failed: builder for '/nix/store/sjsn75dj3p5w52ll3bsg2xa0yzjrw9gb-categorifier-plugin-0.1.drv' failed with exit code 1;
       last 10 log lines:
       >
       > 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 )
       For full logs, run 'nix log /nix/store/sjsn75dj3p5w52ll3bsg2xa0yzjrw9gb-categorifier-plugin-0.1.drv'.
error: builder for '/nix/store/sjsn75dj3p5w52ll3bsg2xa0yzjrw9gb-categorifier-plugin-0.1.drv' failed with exit code 1
error: 1 dependencies of derivation '/nix/store/x8w9lxm9i0gs0dwf8krsw9rb6vyqx8w4-categorifier-fin-integration-0.1.drv' failed to build