From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) Subject: bug#21829: guix import hackage failures Date: Thu, 05 Nov 2015 00:11:07 +0100 Message-ID: <874mh18ino.fsf@gnu.org> References: <87twp16c8l.fsf@denknerd.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:53064) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu7Dq-0007JA-Gi for bug-guix@gnu.org; Wed, 04 Nov 2015 18:12:07 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1Zu7Dm-00045m-HG for bug-guix@gnu.org; Wed, 04 Nov 2015 18:12:06 -0500 Received: from debbugs.gnu.org ([208.118.235.43]:34885) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1Zu7Dm-00045i-ET for bug-guix@gnu.org; Wed, 04 Nov 2015 18:12:02 -0500 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.80) (envelope-from ) id 1Zu7Dm-0003C4-1e for bug-guix@gnu.org; Wed, 04 Nov 2015 18:12:02 -0500 Sender: "Debbugs-submit" Resent-Message-ID: In-Reply-To: <87twp16c8l.fsf@denknerd.org> (Paul van der Walt's message of "Wed, 04 Nov 2015 16:00:26 +0100") 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-bounces+gcggb-bug-guix=m.gmane.org@gnu.org To: Paul van der Walt Cc: 21829@debbugs.gnu.org Paul van der Walt skribis: > 137: 4 [guix-import-hackage "xmonad-contrib"] > In ice-9/format.scm: > 1593: 3 [format # ...] > 766: 2 [format:format-work "~:[~*~;guix ~a: ~]~afailed to download cabal= file for package '~a'~%" ...] > 200: 1 [tilde-dispatch] > In unknown file: > ?: 0 [scm-error misc-error #f "~A" ("error in format") #f] Commit 5453de3 fixes the easy part. :-) Strangely, =E2=80=98define-diagnostic=E2=80=99 in (guix ui) was defined so = that we can get =E2=80=98format=E2=80=99 warnings, but the trick doesn=E2=80=99t work o= utside of (guix ui) itself. Thanks, Ludo=E2=80=99.