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-test [aarch64-darwin] failed Jan 12, 2024 in 18m 37s

Run results

Build failed

Details

Last 100 lines of logs:

categorifier-plugin>         depends these-1.2-AKQqT2PtVqvK0zzbqpk82y
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/6a17zj812vsr4ckmjgxx6mrq1k08hb33-categorifier-plugin-0.1
categorifier-plugin> Executables installed in:
categorifier-plugin> /nix/store/6a17zj812vsr4ckmjgxx6mrq1k08hb33-categorifier-plugin-0.1/bin
categorifier-plugin> Libraries installed in:
categorifier-plugin> /nix/store/6a17zj812vsr4ckmjgxx6mrq1k08hb33-categorifier-plugin-0.1/lib/ghc-8.10.7/aarch64-osx-ghc-8.10.7/categorifier-plugin-0.1-O5iqVK5Nu73SAKGowyQYo
categorifier-plugin> Dynamic Libraries installed in:
categorifier-plugin> /nix/store/6a17zj812vsr4ckmjgxx6mrq1k08hb33-categorifier-plugin-0.1/lib/ghc-8.10.7/aarch64-osx-ghc-8.10.7
categorifier-plugin> Private executables installed in:
categorifier-plugin> /nix/store/6a17zj812vsr4ckmjgxx6mrq1k08hb33-categorifier-plugin-0.1/libexec/aarch64-osx-ghc-8.10.7/categorifier-plugin-0.1
categorifier-plugin> Data files installed in:
categorifier-plugin> /nix/store/6a17zj812vsr4ckmjgxx6mrq1k08hb33-categorifier-plugin-0.1/share/aarch64-osx-ghc-8.10.7/categorifier-plugin-0.1
categorifier-plugin> Documentation installed in:
categorifier-plugin> /nix/store/kbqlybqiinwqjff4sk25jkd0j3vpkwj7-categorifier-plugin-0.1-doc/share/doc/categorifier-plugin-0.1
categorifier-plugin> Configuration files installed in:
categorifier-plugin> /nix/store/6a17zj812vsr4ckmjgxx6mrq1k08hb33-categorifier-plugin-0.1/etc
categorifier-plugin> No alex found
categorifier-plugin> Using ar found on system at:
categorifier-plugin> /nix/store/l2xf4d5ic61jmkkzscxz9rbn3qp16l13-cctools-binutils-darwin-16.0.6-973.0.1/bin/ar
categorifier-plugin> No c2hs found
categorifier-plugin> No cpphs found
categorifier-plugin> No doctest found
categorifier-plugin> Using gcc version 16.0.6 given by user at:
categorifier-plugin> /nix/store/zh206nri10wwp68g7qf9ccya1irynx5g-clang-wrapper-16.0.6/bin/clang
categorifier-plugin> Using ghc version 8.10.7 found on system at:
categorifier-plugin> /nix/store/cy47dq4x9fc2vyv4xhak69gfaxh28zkb-ghc-8.10.7/bin/ghc
categorifier-plugin> Using ghc-pkg version 8.10.7 found on system at:
categorifier-plugin> /nix/store/cy47dq4x9fc2vyv4xhak69gfaxh28zkb-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/cy47dq4x9fc2vyv4xhak69gfaxh28zkb-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/cy47dq4x9fc2vyv4xhak69gfaxh28zkb-ghc-8.10.7/bin/hpc
categorifier-plugin> Using hsc2hs version 0.68.7 found on system at:
categorifier-plugin> /nix/store/cy47dq4x9fc2vyv4xhak69gfaxh28zkb-ghc-8.10.7/bin/hsc2hs
categorifier-plugin> Using hscolour version 1.24 found on system at:
categorifier-plugin> /nix/store/i2gdxsdbz5lwa9l65kf7y5q3gk4rhbc8-hscolour-1.24.4/bin/HsColour
categorifier-plugin> No jhc found
categorifier-plugin> Using ld found on system at:
categorifier-plugin> /nix/store/pp299j7rqcrh9xrrppyvjnib0jqhqh0m-cctools-binutils-darwin-wrapper-16.0.6-973.0.1/bin/ld
categorifier-plugin> No pkg-config found
categorifier-plugin> Using runghc version 8.10.7 found on system at:
categorifier-plugin> /nix/store/cy47dq4x9fc2vyv4xhak69gfaxh28zkb-ghc-8.10.7/bin/runghc
categorifier-plugin> Using strip found on system at:
categorifier-plugin> /nix/store/zh206nri10wwp68g7qf9ccya1irynx5g-clang-wrapper-16.0.6/bin/strip
categorifier-plugin> Using tar found on system at:
categorifier-plugin> /nix/store/g9z0hg6snhg5834p14yw4bx6ilcffr8b-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 )
       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/snfvh2qzvl3b859bj3024qdgkl01mvkx-categorifier-plugin-0.1.drv'.
error: builder for '/nix/store/snfvh2qzvl3b859bj3024qdgkl01mvkx-categorifier-plugin-0.1.drv' failed with exit code 1
error: 1 dependencies of derivation '/nix/store/nx7px1g2i96bsv86kfx4xs7c93q2h0zi-categorifier-plugin-test-0.1.drv' failed to build