(name . bug-guix@gnu.org)(address . bug-guix@gnu.org)
qyAnMO1ZrPdU1zCWi5NXj-vONFvm0-PjcH6FSwHzwWSMG0nExh1TZTOrmIgeGLYquhtxb97iUBZd7nIXc1ICahiAMj-b2STFZy94l8RPBWw=@protonmail.com
Partial build log below. Ran right after a guix pull && guix package -u.
starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/564215v4ma3jqxai20hf1ymcrn60nm44-ghc-8.4.3/bin:/gnu/store/xn6qx2p58rcswdy7ffv098dqagvabgnp-cpphs-1.20.8/bin:/gnu/store....
....
....
Configuring Agda-2.5.4.1...
Warning:
This package indirectly depends on multiple versions of the same package. This is very likely to cause a compile failure.
package network-uri (network-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9) requires parsec-3.1.13.0
package regex-tdfa (regex-tdfa-1.2.3.1-4XsUntSXxH4A4zhCaXNDfb) requires parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH
package uri-encode (uri-encode-1.5.0.5-1EgYr8HkM9wD6gdpghyroU) requires text-1.2.3.0
package parsec (parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH) requires text-1.2.3.0
package parsec (parsec-3.1.13.0) requires text-1.2.3.0
package Agda (Agda-2.5.4.1) requires text-1.2.3.0
package hashable (hashable-1.2.7.0-E92h8KGCxs9nEzqMyfi2y) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
package blaze-markup (blaze-markup-0.8.2.1-G01IErgxGnm2gnQBZJnf22) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
package blaze-html (blaze-html-0.9.1.1-GAgExUjjwqJ3ccn0WMIpSn) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
package blaze-builder (blaze-builder-0.4.1.0-Bxpj8zQZx6hE2zSu9Go0jT) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
phase `configure' succeeded after 3.2 seconds
...
...
[ 63 of 338] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )
src/full/Agda/Utils/FileName.hs:42:28: error:
• No instance for (Hashable Text)
arising from the 'deriving' clause of a data type declaration
Possible fix:
use a standalone 'deriving instance' declaration,
so you can specify the instance context yourself
There are instances for similar types:
instance Hashable text-1.2.3.0:Data.Text.Internal.Text
-- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’
instance Hashable text-1.2.3.0:Data.Text.Internal.Lazy.Text
-- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’
• When deriving the instance for (Hashable AbsolutePath)
|
42 | deriving (Eq, Ord, Data, Hashable)
| ^^^^^^^^
Backtrace:
4 (primitive-load "/gnu/store/j0nza4gsz3fkcxz2g85jp47063p…")
In ice-9/eval.scm:
191:35 3 (_ _)
In srfi/srfi-1.scm:
863:16 2 (every1 #<procedure 7c2020 at /gnu/store/79jn1m4ax1zr5…> …)
In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/gnu-build-system.scm:
799:28 1 (_ _)
In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm:
616:6 0 (invoke _ . _)
/gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm:616:6: In procedure invoke:
Throw to key `srfi-34' with args `(#<condition &invoke-error [program: "runhaskell" arguments: ("Setup.hs" "build") exit-status: 1 term-signal: #f stop-signal: #f] 56d440>)'.