Subject: Agda doesn't build

From: Pronaip <[email-masked]>
Date: Sun, 07 Apr 2019 02:05:56 +0000

Partial build log below. Ran right after a guix pull && guix package -u.

starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/564215v4ma3jqxai20hf1ymcrn60nm44-ghc-8.4.3/bin:/gnu/store/xn6qx2p58rcswdy7ffv098dqagvabgnp-cpphs-1.20.8/bin:/gnu/store....
....
....
Configuring Agda-2.5.4.1...
Warning:
    This package indirectly depends on multiple versions of the same package. This is very likely to cause a compile failure.
      package network-uri (network-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9) requires parsec-3.1.13.0
      package regex-tdfa (regex-tdfa-1.2.3.1-4XsUntSXxH4A4zhCaXNDfb) requires parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH
      package uri-encode (uri-encode-1.5.0.5-1EgYr8HkM9wD6gdpghyroU) requires text-1.2.3.0
      package parsec (parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH) requires text-1.2.3.0
      package parsec (parsec-3.1.13.0) requires text-1.2.3.0
      package Agda (Agda-2.5.4.1) requires text-1.2.3.0
      package hashable (hashable-1.2.7.0-E92h8KGCxs9nEzqMyfi2y) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
      package blaze-markup (blaze-markup-0.8.2.1-G01IErgxGnm2gnQBZJnf22) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
      package blaze-html (blaze-html-0.9.1.1-GAgExUjjwqJ3ccn0WMIpSn) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
      package blaze-builder (blaze-builder-0.4.1.0-Bxpj8zQZx6hE2zSu9Go0jT) requires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm
phase `configure' succeeded after 3.2 seconds
...
...
[ 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)
   |                            ^^^^^^^^
Backtrace:
           4 (primitive-load "/gnu/store/j0nza4gsz3fkcxz2g85jp47063p…")
In ice-9/eval.scm:
   191:35  3 (_ _)
In srfi/srfi-1.scm:
   863:16  2 (every1 #<procedure 7c2020 at /gnu/store/79jn1m4ax1zr5…> …)
In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/gnu-build-system.scm:
   799:28  1 (_ _)
In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm:
    616:6  0 (invoke _ . _)

/gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/utils.scm:616:6: In procedure invoke:
Throw to key `srfi-34' with args `(#<condition &invoke-error [program: "runhaskell" arguments: ("Setup.hs" "build") exit-status: 1 term-signal: #f stop-signal: #f] 56d440>)'.