bug#35178: Agda doesn't build

bug#35178: Agda doesn't build

[Pronaip]

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

bug#35178: Agda doesn't build

[Ludovic Courtès]

Hello,

Pronaip <pronaip@protonmail.com> skribis:


[...]

> [ 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)
>    |                            ^^^^^^^^

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

Could check whether it systematically fails to build?

Thank you,
Ludo’.

bug#35178: Agda doesn't build

[Pronaip]

‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <ludo@gnu.org> wrote:
> Could check whether it systematically fails to build?
>
> Thank you,
> Ludo’.

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?

bug#35178: Agda doesn't build

[Ludovic Courtès]

Pronaip <pronaip@protonmail.com> skribis:

> ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
> On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès <ludo@gnu.org> wrote:
>> Could check whether it systematically fails to build?
>>
>> Thank you,
>> Ludo’.
>
> 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?

‘--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’.

bug#35178: Agda doesn't build

[Pronaip]

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:

> Pronaip pronaip@protonmail.com skribis:
>
> > ‐‐‐‐‐‐‐ Original Message ‐‐‐‐‐‐‐
> > On Sunday, April 7, 2019 6:28 PM, Ludovic Courtès ludo@gnu.org wrote:
> >
> > > Could check whether it systematically fails to build?
> > > Thank you,
> > > Ludo’.
> >
> > 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?
>
> ‘--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’.

bug#35178: Agda doesn't build

[Andreas Enge]

So closing this bug. Thanks,

Andreas