From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp12.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms9.migadu.com with LMTPS id WMjHHMaHa2QALAAASxT56A (envelope-from ) for ; Mon, 22 May 2023 17:18:30 +0200 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp12.migadu.com with LMTPS id sJRsHMaHa2Rt3wAAauVa8A (envelope-from ) for ; Mon, 22 May 2023 17:18:30 +0200 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 34BCC2ACD1 for ; Mon, 22 May 2023 17:18:30 +0200 (CEST) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1q17IR-0003Ee-Tt; Mon, 22 May 2023 11:18:03 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q17IQ-0003EC-Ht for bug-guix@gnu.org; Mon, 22 May 2023 11:18:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1q17IQ-0006Of-9H for bug-guix@gnu.org; Mon, 22 May 2023 11:18:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1q17IQ-0004Vj-4P for bug-guix@gnu.org; Mon, 22 May 2023 11:18:02 -0400 X-Loop: help-debbugs@gnu.org Subject: bug#63634: nar 404 leads to hard =?UTF-8?Q?=E2=80=98guix_?= =?UTF-8?Q?substitute=E2=80=99?= crash Resent-From: Ludovic =?UTF-8?Q?Court=C3=A8s?= Original-Sender: "Debbugs-submit" Resent-CC: bug-guix@gnu.org Resent-Date: Mon, 22 May 2023 15:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 63634 X-GNU-PR-Package: guix X-GNU-PR-Keywords: To: 63634@debbugs.gnu.org, 55820-done@debbugs.gnu.org Received: via spool by 63634-submit@debbugs.gnu.org id=B63634.168476862317256 (code B ref 63634); Mon, 22 May 2023 15:18:02 +0000 Received: (at 63634) by debbugs.gnu.org; 22 May 2023 15:17:03 +0000 Received: from localhost ([127.0.0.1]:35868 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q17HS-0004UB-M5 for submit@debbugs.gnu.org; Mon, 22 May 2023 11:17:03 -0400 Received: from eggs.gnu.org ([209.51.188.92]:55956) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1q17HR-0004TS-2k; Mon, 22 May 2023 11:17:01 -0400 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q17HL-0006HL-Jx; Mon, 22 May 2023 11:16:55 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:In-Reply-To:Date:References:Subject:To: From; bh=WTfP0B+dncrOchcJ2ypxMTQbZSV1RPCd+LFjLJKi7IU=; b=fdEMbz18edQ10QaEv7fM PI9ymM6J84WYIEwqyfBC1PI6cX+SIZuUCZQPkIbfGCpkyflcShTT/Pp0cAaJxy7iIj+3nthZPrzqD QFFz9lZ73gZf27UatdBJB3UtXnWm64sB/8iq0pXvFwjDgo+P6HmNztLCHYOCiQpg0yScakMmBb8qc ubEhbphl8BRyz6+ruOnF/J8wrg/WtoS+dRZ0IbX4mpL7x4Ms+I0VYmcDjRivqEdLMd+skBue9dC7/ NLAO7bHW9pJhmoZzLQ8oeTUKIY7h5C0LqHt9FoDFC4s5hZUmerlkmqZO8lPXXqkHJLdCBMNWDXSG+ YbGL+nLs643anA==; Received: from [193.50.110.247] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1q17HL-0001x0-44; Mon, 22 May 2023 11:16:55 -0400 From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <87cz2ttju2.fsf@inria.fr> Date: Mon, 22 May 2023 17:16:53 +0200 In-Reply-To: <87cz2ttju2.fsf@inria.fr> ("Ludovic =?UTF-8?Q?Court=C3=A8s?="'s message of "Mon, 22 May 2023 00:12:37 +0200") Message-ID: <878rdgwg4a.fsf@gnu.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-guix@gnu.org List-Id: Bug reports for GNU Guix List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guix-bounces+larch=yhetil.org@gnu.org Sender: bug-guix-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Seal: i=1; s=key1; d=yhetil.org; t=1684768710; a=rsa-sha256; cv=none; b=b3bku26SFvg6KBCXv6tqq7F8qj8FnNh59p5/XHVLgX8MO2fAF9t60wEYenin5F6H38CElI miw5SXN9eZLHn8AFRcmvsQR0Po0nceXko+pnKEtLoeLoRW4Sik6ifNm849Q33/Xchgu8t+ LRtSmK+YSDPHqZPHjZjyIW1eTvTtP1jG4SB93MPy7hf4nm3RcuRvvKcrfLNiFmd24NPyhm xUl33tVnmwnHQE7RMs/DLuiES/A/pxtnkQ52RtVqqB+cbGovOyPYAfWJos2tQ2sZMtCRBM rzuVFH05Vl4Ee0Nx2016PjhoJy66f/2VbS8C9M1q+KT3tlXY5/4vEO+2e3okiQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=fdEMbz18; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1684768710; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:resent-cc: resent-from:resent-sender:resent-message-id:in-reply-to:in-reply-to: references:references:list-id:list-help:list-unsubscribe: list-subscribe:list-post:dkim-signature; bh=WTfP0B+dncrOchcJ2ypxMTQbZSV1RPCd+LFjLJKi7IU=; b=uB1x9uRWvtmW920tV/TiAqqg0g9wMGS0iBb46hO/l2kzvTEpZb2V5dB3x2oevLbtiQk9WG QYhl+KD8fWoUwRGa+JElCzZOK7DzTw/wGoALIE1AcPmEC0kK9rSYr49Ny8yXGgGGo1IncX xEZop7WjbF6rn/MWSwdoM7/YFmupkOpcDbTVE6ySvXbsB7zohpx1gP0F2W70WqqWbFDEZN FiahdIiH4akBvRx5xbuvx8nkFI6CL00lsqfzXA2Gj8RfEHutg+fDpVY4yFvDslimaVLnyr sIOO8lLmUHR6VMhPUWu/MoVsPFRpVEq8F2fqFOjIrExNEMjr21WtQzmPx/N3Nw== X-Migadu-Scanner: scn1.migadu.com Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gnu.org header.s=fencepost-gnu-org header.b=fdEMbz18; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "bug-guix-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="bug-guix-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -4.07 X-Spam-Score: -4.07 X-Migadu-Queue-Id: 34BCC2ACD1 X-TUID: DrIAyyhyEc0q Hi, Ludovic Court=C3=A8s skribis: > 646:2 10 (process-substitution _ _ _ #:cache-urls _ #:acl _ # _ # =E2= =80=A6) > In ice-9/boot-9.scm: > 1752:10 9 (with-exception-handler _ _ #:unwind? _ # _) > In guix/scripts/substitute.scm: > 463:7 8 (download-nar #< path: "/gnu/store/dg0rm1mp9q=E2=80= =A6> =E2=80=A6) > In ice-9/boot-9.scm: > 1747:15 7 (with-exception-handler # =E2=80=A6) > 1685:16 6 (raise-exception _ #:continuable? _) > 1683:16 5 (raise-exception _ #:continuable? _) > 1685:16 4 (raise-exception _ #:continuable? _) > 1780:13 3 (_ #<&compound-exception components: (#<&error> #<&irri=E2= =80=A6>) > 1685:16 2 (raise-exception _ #:continuable? _) > 1683:16 1 (raise-exception _ #:continuable? _) > 1685:16 0 (raise-exception _ #:continuable? _) > > ice-9/boot-9.scm:1685:16: In procedure raise-exception: > ERROR: > 1. &http-get-error: > uri: #< scheme: https userinfo: #f host: "bordeaux.guix.gnu.or= g" port: #f path: "/nar/zstd/dg0rm1mp9qvjhvlwra5mc8dz5pfky4hj-guile-coloriz= ed-0.1" query: #f fragment: #f> > code: 404 > reason: "Not Found" > headers: ((server . "nginx") (date . #) (content= -type text/plain (charset . "utf-8")) (content-length . 3) (connection keep= -alive)) > 2. &message: "https://bordeaux.guix.gnu.org/nar/zstd/dg0rm1mp9qvjhvlwra= 5mc8dz5pfky4hj-guile-colorized-0.1: HTTP download failed: 404 (\"Not Found\= ")" > substitution of /gnu/store/dg0rm1mp9qvjhvlwra5mc8dz5pfky4hj-guile-coloriz= ed-0.1 failed [...] > This might be related to 8bd4126917f59f4af9a4323c3d5699201862dca2. The > two =E2=80=98download-nar=E2=80=99 calls are guarded against =E2=80=98htt= p-get-error?=E2=80=99 though. That the exception went through despite the =E2=80=98network-error?=E2=80= =99 guard is fixed by 3f59fd6d114548480c719d4b8f8509bdf3e8dcca. The reason was that the =E2=80=98&http-get-error=E2=80=99 condition was get= ting wrapped in a =E2=80=98kind-and-args=E2=80=99 exception upon rethrow, as illustrated= here: --8<---------------cut here---------------start------------->8--- scheme@(guile-user)> (catch #t (lambda () (raise-exception (condition (&message (message "boo")))= )) (lambda args args)) $5 =3D (%exception #<&message message: "boo">) scheme@(guile-user)> (with-exception-handler (lambda (e) e) (lambda () (apply throw $5)) #:unwind? #t) $6 =3D #<&compound-exception components: (#<&error> #<&irritants irritants:= (#<&message message: "boo">)> #<&exception-with-kind-and-args kind: %excep= tion args: (#<&message message: "boo">)>)> scheme@(guile-user)> (message-condition? $6) $7 =3D #f --8<---------------cut here---------------end--------------->8--- Ludo=E2=80=99.