From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp11.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms5.migadu.com with LMTPS id YOcxLFCThGNVEAAAbAwnHQ (envelope-from ) for ; Mon, 28 Nov 2022 11:54:08 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp11.migadu.com with LMTPS id gF5ALFCThGNUSAEA9RJhRA (envelope-from ) for ; Mon, 28 Nov 2022 11:54:08 +0100 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 7660E11ABD for ; Mon, 28 Nov 2022 11:54:08 +0100 (CET) Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1ozblo-00056N-Ma; Mon, 28 Nov 2022 05:53:52 -0500 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 1ozbln-00055z-4K for guix-devel@gnu.org; Mon, 28 Nov 2022 05:53:51 -0500 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 1ozblm-0002K3-RL; Mon, 28 Nov 2022 05:53:50 -0500 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=s2GulIZGx3UaVez29wVkyyxoKetdf98iQQ3yfYgBYmI=; b=KuLIQuUuP0pKbgKJYzyI Aay248HUELyD+7oSVclafJDTEFcdEOFLVlwzlMprlFOt/syF48uec6rY5F/vF+xze8KvmIAznXaqs VD3Bpqn9RWpIH2MOqK989k4rc3lcGK7kcbhv52Oh4AibaES6MsdM7hubOFasU6uXd8qfvjddcYWpl rw6zacHxdpy/CJo0ApzLq4IyLLYDc+cnrUiXcY/day9RtHH1VpByxGbj+PIwXHNr6TvkqNKaaWfSu IGiw50mOU20d7Zyg4VCUoEwtqWbcDn06gPpbh0ZLvyZu4vHFkhiIatcs3v8CGRNIaIHm6d8wAk7+t Y62QpSR2qpxzLw==; Received: from [193.50.110.137] (helo=ribbon) by fencepost.gnu.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1ozblm-0004D1-AV; Mon, 28 Nov 2022 05:53:50 -0500 From: =?utf-8?Q?Ludovic_Court=C3=A8s?= To: Maxim Cournoyer Cc: zimoun , guix-devel Subject: Re: Guile debugger workgroup? References: <20221027035100.28852-1-maxim.cournoyer@gmail.com> <20221027035100.28852-3-maxim.cournoyer@gmail.com> <87leojon1z.fsf_-_@gnu.org> <877d03xywl.fsf@gmail.com> <87sfihfpng.fsf_-_@gnu.org> <86zgcpju9p.fsf@gmail.com> <87y1s82o23.fsf@gmail.com> <87zgckwdtw.fsf@gmail.com> <87sficqb71.fsf@gmail.com> <86fsebdpl9.fsf@gmail.com> <87r0xrjbx1.fsf_-_@gmail.com> <87fse69czr.fsf@gnu.org> <87edtpw0hq.fsf@gmail.com> X-URL: http://www.fdn.fr/~lcourtes/ X-Revolutionary-Date: Octidi 8 Frimaire an 231 de la =?utf-8?Q?R=C3=A9volu?= =?utf-8?Q?tion=2C?= jour du Miel X-PGP-Key-ID: 0x090B11993D9AEBB5 X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc X-PGP-Fingerprint: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5 X-OS: x86_64-pc-linux-gnu Date: Mon, 28 Nov 2022 11:53:48 +0100 In-Reply-To: <87edtpw0hq.fsf@gmail.com> (Maxim Cournoyer's message of "Sat, 26 Nov 2022 22:16:17 -0500") Message-ID: <87sfi3e4eb.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: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: guix-devel-bounces+larch=yhetil.org@gnu.org X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1669632848; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=s2GulIZGx3UaVez29wVkyyxoKetdf98iQQ3yfYgBYmI=; b=DNUN9ii9Rk3s6Pv513kS+6rSjqUPxPhoOMO3sCBYPLIktAmNiyyiWK1vrpLcC7yBuiMtFn pNMj9YbwTXvx0Ebc1btMqJE2BNWvMrBPeOuWWvTl/tSvTSUAuJm7msADqOtlvqulUYnq3y ucOiBe14fJuvIDZSbGlGSysRAEBz1CtQbB5nK22bvpIFcOZ5SoyV2+FX56Hd6DPQpWLXCq 9wFqFhw9EAcyWIKz/MMkTFFHIVEANfvZbT2BnrQ2yBGMwsjUz8B6WWuV6p3oM6NxxoGzV6 Y/xsRObYSrDm/bPkpudZbLOX5P4vGnsgh1skjq0Q7J/aSSviGjXTz/ir3CAVQA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1669632848; a=rsa-sha256; cv=none; b=p9zTJxnQBE0x4Hs4sT28KBk6JMBkgBQA17staGdNysNnIicfX8WYkSa/DZkmUl0v5ykmar 6iTR11Nx9awlnR8y7+jlYn3/y+U2GSc5/1GzP7VcgG18xk0RnA3uiuyZLt1rE8WtkkYhoN Xyxwu47dGAZ5cbZSsM6v191VxzWWpAZOsKtksFGxSoNjsXOPyRCRFKtCKhnhGvtFOcpL7B 0fyKOwmeBoJCo0MgFgv8S73W1GJY/mz7GqsOmAmnasx8dPMQ2ecp3rmvxemjrfWDe7DMc7 FEUYdbsBnOd05FbZ7+urhNMmbHP6vcj8/41+sxNCnHuar88YDE4tYYveRYZ3Zg== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=KuLIQuUu; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -5.16 Authentication-Results: aspmx1.migadu.com; dkim=pass header.d=gnu.org header.s=fencepost-gnu-org header.b=KuLIQuUu; dmarc=pass (policy=none) header.from=gnu.org; spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 7660E11ABD X-Spam-Score: -5.16 X-Migadu-Scanner: scn0.migadu.com X-TUID: 3Fc6j5eye5eG Hi, Maxim Cournoyer skribis: > Ludovic Court=C3=A8s writes: [...] >> Also, I think I mentioned before that I almost never use breakpoints on >> Guile code=E2=80=94not because of some deficiency of the debugger, not (= just) >> because I=E2=80=99m silly or inexperienced, but because it=E2=80=99s rar= ely the right >> tool for the job. >> >> I believe this is largely due to (1) writing functional code, and (2) >> doing live programming at the REPL. Why would you use breakpoints when >> you can just call the relevant procedures on some input to see how they >> behave? > > And I've probably countered that before by saying that while it's true > that functional programming helps, there are still times where the > inputs or the lexical environment I need to understand are complex > enough that reproducing them at the global level (REPL) is a pain. Just > breaking at the right place and typing ,locals would be a much more > efficient way to proceed to see what the environment in scope looks > like. Agreed, I didn=E2=80=99t mean to suggest that breakpoints are never useful. The scenario you describe above should be possible above (there *is* a debugger that supports breakpoints and single stepping). Now, it may be, as you wrote, that inlining can lead breakpoints to never be hit, or that there are bugs in this area. These things should be fixed, I agree. Ludo=E2=80=99.