[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Brett Gilio]

---
 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

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Ludovic Courtès]

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

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Brett Gilio]

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

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Brett Gilio]

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

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Ludovic Courtès]

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

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Brett Gilio]

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

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Ludovic Courtès]

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

[bug#33478] [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Brett Gilio]

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/

bug#33478: [PATCH] gnu: agda: Upgrade to 2.5.4.2

[Efraim Flashner]

[-- Attachment #1: Type: text/plain, Size: 476 bytes --]

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@debbugs.gnu.org and that will close the bug.

-- 
Efraim Flashner   <efraim@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

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 833 bytes --]