[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#35178: Agda doesn't build
From: |
Ludovic Courtès |
Subject: |
bug#35178: Agda doesn't build |
Date: |
Sun, 07 Apr 2019 18:28:35 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux) |
Hello,
Pronaip <address@hidden> 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’.