* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
@ 2018-11-24 4:24 Brett Gilio
2018-11-24 21:30 ` Ludovic Courtès
2019-12-05 0:39 ` Brett Gilio
0 siblings, 2 replies; 9+ messages in thread
From: Brett Gilio @ 2018-11-24 4:24 UTC (permalink / raw)
To: 33478
---
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
^ permalink raw reply related [flat|nested] 9+ messages in thread* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
2018-11-24 4:24 [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 Brett Gilio
@ 2018-11-24 21:30 ` Ludovic Courtès
2018-11-24 21:44 ` Brett Gilio
2018-11-25 2:04 ` Brett Gilio
2019-12-05 0:39 ` Brett Gilio
1 sibling, 2 replies; 9+ messages in thread
From: Ludovic Courtès @ 2018-11-24 21:30 UTC (permalink / raw)
To: Brett Gilio; +Cc: 33478
Hello Brett,
Brett Gilio <brettg@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’.
^ permalink raw reply [flat|nested] 9+ messages in thread* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
2018-11-24 21:30 ` Ludovic Courtès
@ 2018-11-24 21:44 ` Brett Gilio
2018-11-25 2:04 ` Brett Gilio
1 sibling, 0 replies; 9+ messages in thread
From: Brett Gilio @ 2018-11-24 21:44 UTC (permalink / raw)
To: Ludovic Courtès; +Cc: 33478
Ludovic Courtès writes:
> Hello Brett,
>
> Brett Gilio <brettg@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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
2018-11-24 21:30 ` Ludovic Courtès
2018-11-24 21:44 ` Brett Gilio
@ 2018-11-25 2:04 ` Brett Gilio
2018-11-25 14:22 ` Ludovic Courtès
1 sibling, 1 reply; 9+ messages in thread
From: Brett Gilio @ 2018-11-25 2:04 UTC (permalink / raw)
To: Ludovic Courtès; +Cc: 33478
Ludovic Courtès writes:
> Hello Brett,
>
> Brett Gilio <brettg@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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
2018-11-25 2:04 ` Brett Gilio
@ 2018-11-25 14:22 ` Ludovic Courtès
2018-11-25 15:47 ` Brett Gilio
0 siblings, 1 reply; 9+ messages in thread
From: Ludovic Courtès @ 2018-11-25 14:22 UTC (permalink / raw)
To: Brett Gilio; +Cc: 33478
Hello Brett,
Brett Gilio <brettg@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’.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
2018-11-25 14:22 ` Ludovic Courtès
@ 2018-11-25 15:47 ` Brett Gilio
2018-11-26 10:27 ` Ludovic Courtès
0 siblings, 1 reply; 9+ messages in thread
From: Brett Gilio @ 2018-11-25 15:47 UTC (permalink / raw)
To: Ludovic Courtès; +Cc: 33478
Ludovic Courtès writes:
> Hello Brett,
>
> Brett Gilio <brettg@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
^ permalink raw reply [flat|nested] 9+ messages in thread
* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
2018-11-25 15:47 ` Brett Gilio
@ 2018-11-26 10:27 ` Ludovic Courtès
0 siblings, 0 replies; 9+ messages in thread
From: Ludovic Courtès @ 2018-11-26 10:27 UTC (permalink / raw)
To: Brett Gilio; +Cc: 33478
Hi Brett,
Brett Gilio <brettg@posteo.net> skribis:
> Ludovic Courtès writes:
>
>> Hello Brett,
>>
>> Brett Gilio <brettg@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’.
^ permalink raw reply [flat|nested] 9+ messages in thread
* [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2
2018-11-24 4:24 [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 Brett Gilio
2018-11-24 21:30 ` Ludovic Courtès
@ 2019-12-05 0:39 ` Brett Gilio
2019-12-05 8:34 ` bug#33478: " Efraim Flashner
1 sibling, 1 reply; 9+ messages in thread
From: Brett Gilio @ 2019-12-05 0:39 UTC (permalink / raw)
To: 33478
Brett Gilio <brettg@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/
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2019-12-05 8:36 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-11-24 4:24 [bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2 Brett Gilio
2018-11-24 21:30 ` Ludovic Courtès
2018-11-24 21:44 ` Brett Gilio
2018-11-25 2:04 ` Brett Gilio
2018-11-25 14:22 ` Ludovic Courtès
2018-11-25 15:47 ` Brett Gilio
2018-11-26 10:27 ` Ludovic Courtès
2019-12-05 0:39 ` Brett Gilio
2019-12-05 8:34 ` bug#33478: " Efraim Flashner
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).