GNU bug report logs -
#33478
[PATCH] gnu: agda: Upgrade to 2.5.4.2
Previous Next
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.
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):
---
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):
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):
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):
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):
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):
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):
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):
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):
[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.