From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:470:142:3::10]:35956) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1jBiid-000328-9S for guix-patches@gnu.org; Tue, 10 Mar 2020 13:31:04 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1jBiic-0000u0-Az for guix-patches@gnu.org; Tue, 10 Mar 2020 13:31:03 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:47273) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1jBiic-0000t6-7m for guix-patches@gnu.org; Tue, 10 Mar 2020 13:31:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1jBiic-0006LE-3x for guix-patches@gnu.org; Tue, 10 Mar 2020 13:31:02 -0400 Subject: [bug#40016] [PATCH] inferior: Distinguish inferior exceptions. Resent-Message-ID: From: Ludovic =?UTF-8?Q?Court=C3=A8s?= References: <20200310160305.15865-1-ludo@gnu.org> Date: Tue, 10 Mar 2020 18:30:48 +0100 In-Reply-To: <20200310160305.15865-1-ludo@gnu.org> ("Ludovic \=\?utf-8\?Q\?Cou\?\= \=\?utf-8\?Q\?rt\=C3\=A8s\=22's\?\= message of "Tue, 10 Mar 2020 17:03:05 +0100") Message-ID: <878sk8t8vr.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 40016@debbugs.gnu.org Cc: Christopher Baines Hello, Ludovic Court=C3=A8s skribis: > This avoids ambiguities when looking at a backtrace where the exception > was actually thrown by an inferior in a very different context. The idea was suggested at the Guix Days by someone who had had a hard time looking at one of these weird backtraces, until you realize the exception was actually thrown by another process. There are a few places in the Data Service that do things like: (catch 'misc-error (lambda () (inferior-eval =E2=80=A6)) =E2=80=A6) This will have to be adjusted. Does that work for you, Chris? If you want to go fancy, you can implement a compatibility later, though I=E2=80=99m not sure it=E2=80=99s worth it. Eventually I=E2=80=99d like =E2=80=98&inferior-exception=E2=80=99 to includ= e inferior stack frames, though that=E2=80=99ll require changes to the REPL protocol. Ludo=E2=80=99.