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