From: Pronaip <pronaip@protonmail.com>
To: 35178@debbugs.gnu.org
Subject: bug#35178: Agda doesn't build
Date: Sun, 07 Apr 2019 02:05:56 +0000 [thread overview]
Message-ID: <qyAnMO1ZrPdU1zCWi5NXj-vONFvm0-PjcH6FSwHzwWSMG0nExh1TZTOrmIgeGLYquhtxb97iUBZd7nIXc1ICahiAMj-b2STFZy94l8RPBWw=@protonmail.com> (raw)
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>)'.
next reply other threads:[~2019-04-07 4:58 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-04-07 2:05 Pronaip [this message]
2019-04-07 16:28 ` bug#35178: Agda doesn't build Ludovic Courtès
2019-04-09 2:59 ` Pronaip
2019-04-09 10:58 ` Ludovic Courtès
2019-05-25 21:58 ` Pronaip
2019-05-27 6:10 ` Andreas Enge
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://guix.gnu.org/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='qyAnMO1ZrPdU1zCWi5NXj-vONFvm0-PjcH6FSwHzwWSMG0nExh1TZTOrmIgeGLYquhtxb97iUBZd7nIXc1ICahiAMj-b2STFZy94l8RPBWw=@protonmail.com' \
--to=pronaip@protonmail.com \
--cc=35178@debbugs.gnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/guix.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).