From mboxrd@z Thu Jan 1 00:00:00 1970 From: Pronaip Subject: bug#35178: Agda doesn't build Date: Sun, 07 Apr 2019 02:05:56 +0000 Message-ID: Reply-To: Pronaip Mime-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([209.51.188.92]:37739) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hCzsb-0006xG-8f for bug-guix@gnu.org; Sun, 07 Apr 2019 00:58:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hCzsa-0007YX-3Q for bug-guix@gnu.org; Sun, 07 Apr 2019 00:58:05 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:34131) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hCzsY-0007YM-T8 for bug-guix@gnu.org; Sun, 07 Apr 2019 00:58:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hCzsY-0003D3-EB for bug-guix@gnu.org; Sun, 07 Apr 2019 00:58:02 -0400 Sender: "Debbugs-submit" Resent-Message-ID: Received: from eggs.gnu.org ([209.51.188.92]:45202) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1hCxC9-0003hz-P7 for bug-guix@gnu.org; Sat, 06 Apr 2019 22:06:06 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hCxC8-0001bq-J9 for bug-guix@gnu.org; Sat, 06 Apr 2019 22:06:05 -0400 Received: from mail-40136.protonmail.ch ([185.70.40.136]:14411) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.71) (envelope-from ) id 1hCxC7-0001bQ-HZ for bug-guix@gnu.org; Sat, 06 Apr 2019 22:06:04 -0400 List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org Sender: "bug-Guix" To: 35178@debbugs.gnu.org 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/564215v4ma3jqxai20hf1ymcrn60= nm44-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 packag= e. This is very likely to cause a compile failure. package network-uri (network-uri-2.6.1.0-AstEwZoXrlUJQq4VkxaVo9) requ= ires parsec-3.1.13.0 package regex-tdfa (regex-tdfa-1.2.3.1-4XsUntSXxH4A4zhCaXNDfb) requir= es parsec-3.1.13.0-Hto2wUzKFiH7SbmR1p2aoH package uri-encode (uri-encode-1.5.0.5-1EgYr8HkM9wD6gdpghyroU) requir= es 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 te= xt-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-markup (blaze-markup-0.8.2.1-G01IErgxGnm2gnQBZJnf22) re= quires text-1.2.3.0-AuQn1iHCodxHdm3cybaJfm package blaze-html (blaze-html-0.9.1.1-GAgExUjjwqJ3ccn0WMIpSn) requir= es 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.h= s, dist/build/Agda/Utils/FileName.o ) src/full/Agda/Utils/FileName.hs:42:28: error: =E2=80=A2 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 =E2=80=98hashable-1.2.7.0:Data.Hashable.Class= =E2=80=99 instance Hashable text-1.2.3.0:Data.Text.Internal.Lazy.Text -- Defined in =E2=80=98hashable-1.2.7.0:Data.Hashable.Class= =E2=80=99 =E2=80=A2 When deriving the instance for (Hashable AbsolutePath) | 42 | deriving (Eq, Ord, Data, Hashable) | ^^^^^^^^ Backtrace: 4 (primitive-load "/gnu/store/j0nza4gsz3fkcxz2g85jp47063p= =E2=80=A6") In ice-9/eval.scm: 191:35 3 (_ _) In srfi/srfi-1.scm: 863:16 2 (every1 # =E2=80=A6) In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/gnu= -build-system.scm: 799:28 1 (_ _) In /gnu/store/79jn1m4ax1zr5hlf3q7aalnb4vhx17ac-module-import/guix/build/uti= ls.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 `(#)'.