Agda doesn't build

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>)'.

Hello,

Pronaip <pronaip@protonmail.com> skribis:

[...]

That looks a lot like https://issues.guix.info/issue/34227.

Could check whether it systematically fails to build?

Thank you,

Ludo’.

??????? Original Message ???????

On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <ludo@gnu.org> wrote:

I've tried it a few times, it always gives the same result. The --rounds thing stops after the first failed build, so maybe I'm doing something wrong?

Pronaip <pronaip@protonmail.com> skribis:

‘--rounds’ will try several times only as long as building succeeds.

So in this case, you can simply run “guix build agda” several times.

Let us know how it goes.

Thanks,

Ludo’.

Oh I forgot to update this. The build seems to work fine now for some reason.

Sent with ProtonMail Secure Email.

??????? Original Message ???????

On Tuesday, April 9, 2019 12:58 PM, Ludovic Courtès <ludo@gnu.org> wrote:

tags 35178 fixed

close 35178

quit

So closing this bug. Thanks,

Andreas