[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Ludovic Courtès
Subject: [bug#33478] [PATCH] gnu: agda: Upgrade to
Date: Sun, 25 Nov 2018 15:22:55 +0100
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)

Hello Brett,

Brett Gilio <address@hidden> 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-
>>         Something is amiss; requested module  hashable- 
>> differs from name found in the interface file 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


reply via email to

[Prev in Thread] Current Thread [Next in Thread]