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-adjunctions-integration [x86_64-linux]
failed
Jan 12, 2024 in 5m 15s
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/dqfn3ifa9cm2v70zv6mrg748ghq9b22x-categorifier-plugin-0.1
categorifier-plugin> Executables installed in:
categorifier-plugin> /nix/store/dqfn3ifa9cm2v70zv6mrg748ghq9b22x-categorifier-plugin-0.1/bin
categorifier-plugin> Libraries installed in:
categorifier-plugin> /nix/store/dqfn3ifa9cm2v70zv6mrg748ghq9b22x-categorifier-plugin-0.1/lib/ghc-8.10.7/x86_64-linux-ghc-8.10.7/categorifier-plugin-0.1-Jm84smrg7K7C3MANMs3nV0
categorifier-plugin> Dynamic Libraries installed in:
categorifier-plugin> /nix/store/dqfn3ifa9cm2v70zv6mrg748ghq9b22x-categorifier-plugin-0.1/lib/ghc-8.10.7/x86_64-linux-ghc-8.10.7
categorifier-plugin> Private executables installed in:
categorifier-plugin> /nix/store/dqfn3ifa9cm2v70zv6mrg748ghq9b22x-categorifier-plugin-0.1/libexec/x86_64-linux-ghc-8.10.7/categorifier-plugin-0.1
categorifier-plugin> Data files installed in:
categorifier-plugin> /nix/store/dqfn3ifa9cm2v70zv6mrg748ghq9b22x-categorifier-plugin-0.1/share/x86_64-linux-ghc-8.10.7/categorifier-plugin-0.1
categorifier-plugin> Documentation installed in:
categorifier-plugin> /nix/store/8kw235ibndd32ans1hn05hrjc2rlz6xs-categorifier-plugin-0.1-doc/share/doc/categorifier-plugin-0.1
categorifier-plugin> Configuration files installed in:
categorifier-plugin> /nix/store/dqfn3ifa9cm2v70zv6mrg748ghq9b22x-categorifier-plugin-0.1/etc
categorifier-plugin> No alex found
categorifier-plugin> Using ar found on system at:
categorifier-plugin> /nix/store/1fn92b0783crypjcxvdv6ycmvi27by0j-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/90h6k8ylkgn81k10190v5c9ldyjpzgl9-gcc-wrapper-12.3.0/bin/gcc
categorifier-plugin> Using ghc version 8.10.7 found on system at:
categorifier-plugin> /nix/store/4ny6f7dpi1vcw8x8q1n65dnl5v5ail4i-ghc-8.10.7/bin/ghc
categorifier-plugin> Using ghc-pkg version 8.10.7 found on system at:
categorifier-plugin> /nix/store/4ny6f7dpi1vcw8x8q1n65dnl5v5ail4i-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/4ny6f7dpi1vcw8x8q1n65dnl5v5ail4i-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/4ny6f7dpi1vcw8x8q1n65dnl5v5ail4i-ghc-8.10.7/bin/hpc
categorifier-plugin> Using hsc2hs version 0.68.7 found on system at:
categorifier-plugin> /nix/store/4ny6f7dpi1vcw8x8q1n65dnl5v5ail4i-ghc-8.10.7/bin/hsc2hs
categorifier-plugin> Using hscolour version 1.24 found on system at:
categorifier-plugin> /nix/store/skpvlh9h1znd2qia8wpn5xrp81ydnr0z-hscolour-1.24.4/bin/HsColour
categorifier-plugin> No jhc found
categorifier-plugin> Using ld found on system at:
categorifier-plugin> /nix/store/1alqjnr40dsk7cl15l5sn5y2zdxidc1v-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/4ny6f7dpi1vcw8x8q1n65dnl5v5ail4i-ghc-8.10.7/bin/runghc
categorifier-plugin> Using strip version 2.40 found on system at:
categorifier-plugin> /nix/store/90h6k8ylkgn81k10190v5c9ldyjpzgl9-gcc-wrapper-12.3.0/bin/strip
categorifier-plugin> Using tar found on system at:
categorifier-plugin> /nix/store/xpidksbd07in3nd4sjx79ybwwy81b338-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/csa414qf6im58m9c4q2sw5fk2q6p29mx-categorifier-plugin-0.1.drv' on 'ssh-ng://nix-ssh@garnix3' failed: builder for '/nix/store/csa414qf6im58m9c4q2sw5fk2q6p29mx-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/csa414qf6im58m9c4q2sw5fk2q6p29mx-categorifier-plugin-0.1.drv'.
error: builder for '/nix/store/csa414qf6im58m9c4q2sw5fk2q6p29mx-categorifier-plugin-0.1.drv' failed with exit code 1
error: 1 dependencies of derivation '/nix/store/vimp8giipvyfhp2ldfmg7bnk5q0ikdvk-categorifier-adjunctions-integration-0.1.drv' failed to build
Loading