GNU bug report logs - #33478
[PATCH] gnu: agda: Upgrade to 2.5.4.2

Previous Next

Package: guix-patches;

Reported by: Brett Gilio <brettg <at> posteo.net>

Date: Sat, 24 Nov 2018 04:26:02 UTC

Severity: normal

Tags: patch

Done: Efraim Flashner <efraim <at> flashner.co.il>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 33478 in the body.
You can then email your comments to 33478 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Sat, 24 Nov 2018 04:26:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Brett Gilio <brettg <at> posteo.net>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Sat, 24 Nov 2018 04:26:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Brett Gilio <brettg <at> posteo.net>
To: guix-patches <at> gnu.org
Cc: Brett Gilio <brettg <at> posteo.net>
Subject: [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Fri, 23 Nov 2018 22:24:50 -0600
---
 gnu/packages/agda.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index 6bb38aac4..be82ff9ec 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -31,7 +31,7 @@
 (define-public agda
   (package
     (name "agda")
-    (version "2.5.4.1")
+    (version "2.5.4.2")
     (source
      (origin
        (method url-fetch)
@@ -40,7 +40,7 @@
              version ".tar.gz"))
        (sha256
         (base32
-         "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp"))))
+         "07wvawpfjhx3gw2w53v27ncv1bl0kkx08wkm6wzxldbslkcasign"))))
     (build-system haskell-build-system)
     (inputs
      `(("cpphs" ,cpphs)
-- 
2.19.2





Information forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Sat, 24 Nov 2018 21:31:02 GMT) Full text and rfc822 format available.

Message #8 received at 33478 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Brett Gilio <brettg <at> posteo.net>
Cc: 33478 <at> debbugs.gnu.org
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Sat, 24 Nov 2018 22:30:44 +0100
Hello Brett,

Brett Gilio <brettg <at> posteo.net> skribis:

> ---
>  gnu/packages/agda.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
> index 6bb38aac4..be82ff9ec 100644
> --- a/gnu/packages/agda.scm
> +++ b/gnu/packages/agda.scm
> @@ -31,7 +31,7 @@
>  (define-public agda
>    (package
>      (name "agda")
> -    (version "2.5.4.1")
> +    (version "2.5.4.2")

It fails to build here:

--8<---------------cut here---------------start------------->8---
[ 37 of 339] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o )

src/full/Agda/Utils/Memo.hs:10:1: error:
    Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-hashable-1.2.7.0/lib/ghc-8.4.3/hashable-1.2.7.0/Data/Hashable.hi
        Something is amiss; requested module  hashable-1.2.7.0:Data.Hashable differs from name found in the interface file hashable-1.2.7.0:Data.Hashable (if these names look the same, try again with -dppr-debug)
   |
10 | import Data.Hashable
   | ^^^^^^^^^^^^^^^^^^^^
--8<---------------cut here---------------end--------------->8---

Could you take a look?

Thanks,
Ludo’.




Information forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Sat, 24 Nov 2018 21:45:02 GMT) Full text and rfc822 format available.

Message #11 received at 33478 <at> debbugs.gnu.org (full text, mbox):

From: Brett Gilio <brettg <at> posteo.net>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 33478 <at> debbugs.gnu.org, Brett Gilio <brettg <at> posteo.net>
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Sat, 24 Nov 2018 15:44:19 -0600
Ludovic Courtès writes:

> Hello Brett,
>
> Brett Gilio <brettg <at> posteo.net> skribis:
>
>> ---
>>  gnu/packages/agda.scm | 4 ++--
>>  1 file changed, 2 insertions(+), 2 deletions(-)
>>
>> diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
>> index 6bb38aac4..be82ff9ec 100644
>> --- a/gnu/packages/agda.scm
>> +++ b/gnu/packages/agda.scm
>> @@ -31,7 +31,7 @@
>>  (define-public agda
>>    (package
>>      (name "agda")
>> -    (version "2.5.4.1")
>> +    (version "2.5.4.2")
>
> It fails to build here:
>
> --8<---------------cut here---------------start------------->8---
> [ 37 of 339] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o )
>
> src/full/Agda/Utils/Memo.hs:10:1: error:
>     Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-hashable-1.2.7.0/lib/ghc-8.4.3/hashable-1.2.7.0/Data/Hashable.hi
>         Something is amiss; requested module  hashable-1.2.7.0:Data.Hashable differs from name found in the interface file hashable-1.2.7.0:Data.Hashable (if these names look the same, try again with -dppr-debug)
>    |
> 10 | import Data.Hashable
>    | ^^^^^^^^^^^^^^^^^^^^
> --8<---------------cut here---------------end--------------->8---
>
> Could you take a look?
>
> Thanks,
> Ludo’.

Sure, I am running it through 20 rounds right now. I will also check for
the Data.Hashable dependencies and see what is going on. Will report
back soon.

Brett Gilio




Information forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Sun, 25 Nov 2018 02:05:02 GMT) Full text and rfc822 format available.

Message #14 received at 33478 <at> debbugs.gnu.org (full text, mbox):

From: Brett Gilio <brettg <at> posteo.net>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 33478 <at> debbugs.gnu.org, Brett Gilio <brettg <at> posteo.net>
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Sat, 24 Nov 2018 20:04:48 -0600
Ludovic Courtès writes:

> Hello Brett,
>
> Brett Gilio <brettg <at> posteo.net> skribis:
>
>> ---
>>  gnu/packages/agda.scm | 4 ++--
>>  1 file changed, 2 insertions(+), 2 deletions(-)
>>
>> diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
>> index 6bb38aac4..be82ff9ec 100644
>> --- a/gnu/packages/agda.scm
>> +++ b/gnu/packages/agda.scm
>> @@ -31,7 +31,7 @@
>>  (define-public agda
>>    (package
>>      (name "agda")
>> -    (version "2.5.4.1")
>> +    (version "2.5.4.2")
>
> It fails to build here:
>
> --8<---------------cut here---------------start------------->8---
> [ 37 of 339] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o )
>
> src/full/Agda/Utils/Memo.hs:10:1: error:
>     Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-hashable-1.2.7.0/lib/ghc-8.4.3/hashable-1.2.7.0/Data/Hashable.hi
>         Something is amiss; requested module  hashable-1.2.7.0:Data.Hashable differs from name found in the interface file hashable-1.2.7.0:Data.Hashable (if these names look the same, try again with -dppr-debug)
>    |
> 10 | import Data.Hashable
>    | ^^^^^^^^^^^^^^^^^^^^
> --8<---------------cut here---------------end--------------->8---
>
> Could you take a look?
>
> Thanks,
> Ludo’.

Hi Ludo,

I put it through 20 rounds of building, and dumped the gc and
everything. I can not replicate it on my end, can we get a third person
to try it?

Best,
Brett Gilio




Information forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Sun, 25 Nov 2018 14:24:01 GMT) Full text and rfc822 format available.

Message #17 received at 33478 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Brett Gilio <brettg <at> posteo.net>
Cc: 33478 <at> debbugs.gnu.org
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Sun, 25 Nov 2018 15:22:55 +0100
Hello Brett,

Brett Gilio <brettg <at> posteo.net> skribis:

> Ludovic Courtès writes:

[...]

>> --8<---------------cut here---------------start------------->8---
>> [ 37 of 339] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o )
>>
>> src/full/Agda/Utils/Memo.hs:10:1: error:
>>     Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-hashable-1.2.7.0/lib/ghc-8.4.3/hashable-1.2.7.0/Data/Hashable.hi
>>         Something is amiss; requested module  hashable-1.2.7.0:Data.Hashable differs from name found in the interface file hashable-1.2.7.0:Data.Hashable (if these names look the same, try again with -dppr-debug)
>>    |
>> 10 | import Data.Hashable
>>    | ^^^^^^^^^^^^^^^^^^^^
>> --8<---------------cut here---------------end--------------->8---
>>
>> Could you take a look?
>>
>> Thanks,
>> Ludo’.
>
> Hi Ludo,
>
> I put it through 20 rounds of building, and dumped the gc and
> everything. I can not replicate it on my end, can we get a third person
> to try it?

I’m not sure what you mean by “20 rounds” and “dumped the gc”.  I would
expect such a failure to be deterministic.

Are you testing this on ‘master’?  Which commit?  I tested it on top of
63fd9f084a5e345d2edaeaf5e8f435a3130f9edc.

Thanks,
Ludo’.




Information forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Sun, 25 Nov 2018 15:49:02 GMT) Full text and rfc822 format available.

Message #20 received at 33478 <at> debbugs.gnu.org (full text, mbox):

From: Brett Gilio <brettg <at> posteo.net>
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: 33478 <at> debbugs.gnu.org, Brett Gilio <brettg <at> posteo.net>
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Sun, 25 Nov 2018 09:47:59 -0600
Ludovic Courtès writes:

> Hello Brett,
>
> Brett Gilio <brettg <at> posteo.net> skribis:
>
>> Ludovic Courtès writes:
>
> [...]
>
>>> --8<---------------cut here---------------start------------->8---
>>> [ 37 of 339] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o )
>>>
>>> src/full/Agda/Utils/Memo.hs:10:1: error:
>>>     Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-hashable-1.2.7.0/lib/ghc-8.4.3/hashable-1.2.7.0/Data/Hashable.hi
>>>         Something is amiss; requested module  hashable-1.2.7.0:Data.Hashable differs from name found in the interface file hashable-1.2.7.0:Data.Hashable (if these names look the same, try again with -dppr-debug)
>>>    |
>>> 10 | import Data.Hashable
>>>    | ^^^^^^^^^^^^^^^^^^^^
>>> --8<---------------cut here---------------end--------------->8---
>>>
>>> Could you take a look?
>>>
>>> Thanks,
>>> Ludo’.
>>
>> Hi Ludo,
>>
>> I put it through 20 rounds of building, and dumped the gc and
>> everything. I can not replicate it on my end, can we get a third person
>> to try it?
>
> I’m not sure what you mean by “20 rounds” and “dumped the gc”.  I would
> expect such a failure to be deterministic.
>
> Are you testing this on ‘master’?  Which commit?  I tested it on top of
> 63fd9f084a5e345d2edaeaf5e8f435a3130f9edc.
>
> Thanks,
> Ludo’.

--rounds=20 to see if it is deterministic. But as I said, I am not
  replicating the error. Yes, I tested it on master, commit and on the
  same commit number as you.

Brett




Information forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Mon, 26 Nov 2018 10:28:02 GMT) Full text and rfc822 format available.

Message #23 received at 33478 <at> debbugs.gnu.org (full text, mbox):

From: ludo <at> gnu.org (Ludovic Courtès)
To: Brett Gilio <brettg <at> posteo.net>
Cc: 33478 <at> debbugs.gnu.org
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Mon, 26 Nov 2018 11:27:46 +0100
Hi Brett,

Brett Gilio <brettg <at> posteo.net> skribis:

> Ludovic Courtès writes:
>
>> Hello Brett,
>>
>> Brett Gilio <brettg <at> posteo.net> skribis:
>>
>>> Ludovic Courtès writes:
>>
>> [...]
>>
>>>> --8<---------------cut here---------------start------------->8---
>>>> [ 37 of 339] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o )
>>>>
>>>> src/full/Agda/Utils/Memo.hs:10:1: error:
>>>>     Bad interface file: /gnu/store/fmq6ybv1m3yr9x2y16gv85nv30df9xw8-ghc-hashable-1.2.7.0/lib/ghc-8.4.3/hashable-1.2.7.0/Data/Hashable.hi
>>>>         Something is amiss; requested module  hashable-1.2.7.0:Data.Hashable differs from name found in the interface file hashable-1.2.7.0:Data.Hashable (if these names look the same, try again with -dppr-debug)
>>>>    |
>>>> 10 | import Data.Hashable
>>>>    | ^^^^^^^^^^^^^^^^^^^^
>>>> --8<---------------cut here---------------end--------------->8---
>>>>
>>>> Could you take a look?
>>>>
>>>> Thanks,
>>>> Ludo’.
>>>
>>> Hi Ludo,
>>>
>>> I put it through 20 rounds of building, and dumped the gc and
>>> everything. I can not replicate it on my end, can we get a third person
>>> to try it?
>>
>> I’m not sure what you mean by “20 rounds” and “dumped the gc”.  I would
>> expect such a failure to be deterministic.
>>
>> Are you testing this on ‘master’?  Which commit?  I tested it on top of
>> 63fd9f084a5e345d2edaeaf5e8f435a3130f9edc.
>>
>> Thanks,
>> Ludo’.
>
> --rounds=20 to see if it is deterministic. But as I said, I am not
>   replicating the error. Yes, I tested it on master, commit and on the
>   same commit number as you.

I’ve retried just now: applying the Agda patch alone on top of commit
0c17f72070cbfb04f311b776a080849b369aac25.  It’s the same derivation as
the one I tested above.

Are we in the exact same conditions?  I’m on x86_64.

Ludo’.




Information forwarded to guix-patches <at> gnu.org:
bug#33478; Package guix-patches. (Thu, 05 Dec 2019 00:40:01 GMT) Full text and rfc822 format available.

Message #26 received at 33478 <at> debbugs.gnu.org (full text, mbox):

From: Brett Gilio <brettg <at> posteo.net>
To: 33478 <at> debbugs.gnu.org
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Wed, 04 Dec 2019 18:39:32 -0600
Brett Gilio <brettg <at> posteo.net> writes:

> ---
>  gnu/packages/agda.scm | 4 ++--
>  1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
> index 6bb38aac4..be82ff9ec 100644
> --- a/gnu/packages/agda.scm
> +++ b/gnu/packages/agda.scm
> @@ -31,7 +31,7 @@
>  (define-public agda
>    (package
>      (name "agda")
> -    (version "2.5.4.1")
> +    (version "2.5.4.2")
>      (source
>       (origin
>         (method url-fetch)
> @@ -40,7 +40,7 @@
>               version ".tar.gz"))
>         (sha256
>          (base32
> -         "0bxpibsk98n9xp42d92ma5vj2fam8rsnl61fbhr3askfjdvalnbp"))))
> +         "07wvawpfjhx3gw2w53v27ncv1bl0kkx08wkm6wzxldbslkcasign"))))
>      (build-system haskell-build-system)
>      (inputs
>       `(("cpphs" ,cpphs)

This is a historical bug report and is no longer relevant. It can be
closed.

-- 
Brett M. Gilio
https://git.sr.ht/~brettgilio/




Reply sent to Efraim Flashner <efraim <at> flashner.co.il>:
You have taken responsibility. (Thu, 05 Dec 2019 08:36:02 GMT) Full text and rfc822 format available.

Notification sent to Brett Gilio <brettg <at> posteo.net>:
bug acknowledged by developer. (Thu, 05 Dec 2019 08:36:02 GMT) Full text and rfc822 format available.

Message #31 received at 33478-done <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Brett Gilio <brettg <at> posteo.net>
Cc: 33478-done <at> debbugs.gnu.org
Subject: Re: [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
Date: Thu, 5 Dec 2019 10:34:41 +0200
[Message part 1 (text/plain, inline)]
On Wed, Dec 04, 2019 at 06:39:32PM -0600, Brett Gilio wrote:
> 
> This is a historical bug report and is no longer relevant. It can be
> closed.
> 

The easiest way to do this is to send an email to
XXXXX-done <at> debbugs.gnu.org and that will close the bug.

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[signature.asc (application/pgp-signature, inline)]

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 02 Jan 2020 12:24:06 GMT) Full text and rfc822 format available.

This bug report was last modified 4 years and 87 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.