Hello, Pronaip <[email protected]> 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’.
