Subject: Re: bug#35178: Agda doesn't build

From: Ludovic Courtès <[email-masked]>
Date: Sun, 07 Apr 2019 18:28:35 +0200

Hello,

Pronaip <[email-masked]> skribis:

[...]

> [ 63 of 338] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o )
>
> src/full/Agda/Utils/FileName.hs:42:28: error:
>     • No instance for (Hashable Text)
>         arising from the 'deriving' clause of a data type declaration
>       Possible fix:
>         use a standalone 'deriving instance' declaration,
>           so you can specify the instance context yourself
>       There are instances for similar types:
>         instance Hashable text-1.2.3.0:Data.Text.Internal.Text
>           -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’
>         instance Hashable text-1.2.3.0:Data.Text.Internal.Lazy.Text
>           -- Defined in ‘hashable-1.2.7.0:Data.Hashable.Class’
>     • When deriving the instance for (Hashable AbsolutePath)
>    |
> 42 |   deriving (Eq, Ord, Data, Hashable)
>    |                            ^^^^^^^^

That looks a lot like <https://issues.guix.info/issue/34227>.

Could check whether it systematically fails to build?

Thank you,
Ludo’.