From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier Newsgroups: gmane.emacs.devel Subject: Re: Patch: debug-instrumented predicate Date: Mon, 04 Oct 2021 16:00:21 -0400 Message-ID: References: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="38883"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: emacs-devel@gnu.org To: Arthur Miller Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Mon Oct 04 22:04:22 2021 Return-path: Envelope-to: ged-emacs-devel@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1mXUCD-0009oi-TR for ged-emacs-devel@m.gmane-mx.org; Mon, 04 Oct 2021 22:04:22 +0200 Original-Received: from localhost ([::1]:56158 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1mXUCB-000167-Qy for ged-emacs-devel@m.gmane-mx.org; Mon, 04 Oct 2021 16:04:19 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:41794) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mXU9D-0007p4-QV for emacs-devel@gnu.org; Mon, 04 Oct 2021 16:01:16 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:57896) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1mXU99-0005ET-Gn for emacs-devel@gnu.org; Mon, 04 Oct 2021 16:01:13 -0400 Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id E2F2C4404E1; Mon, 4 Oct 2021 16:01:08 -0400 (EDT) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id AD2CA4404C8; Mon, 4 Oct 2021 16:01:07 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1633377667; bh=hbxEq87Zd6l0U/MxJkEZm0T1P4fNJ9i8k01rRZ9lqq0=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=SWFxIMQ4ki92389a+amzIanYDfU8qjcfSCp+o+d6tf2fDa1ojb9DpWvT9/dso2hnZ aQVWS3+FVSYd8ArkEH4MRRtRP0rTHh73rVyYQ5UrZlDqlOT3S99xbDfJHK+YjOueAz QRI6p/SxddDbisCmUYSbrDJ6PIrxalVmTb4yGktD7XZxcIIT2TpuulQta4zO61vXsb DQAkBgaLPF7ltix9j8vUPsxkHQQX2nej9/ESxX55qJVDfF18LivD5uCjdgdROLNzmg +rEZeiM5Zst1i8pq5QId75L++gDjwA8W/1DypdJvAal8XI++eoipe8mVNE1dtNobLv sRyfJ+FxPqoEA== Original-Received: from alfajor (lechon.iro.umontreal.ca [132.204.27.242]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 98E8612046D; Mon, 4 Oct 2021 16:01:07 -0400 (EDT) In-Reply-To: (Arthur Miller's message of "Mon, 04 Oct 2021 21:25:26 +0200") Received-SPF: pass client-ip=132.204.25.50; envelope-from=monnier@iro.umontreal.ca; helo=mailscanner.iro.umontreal.ca X-Spam_score_int: -42 X-Spam_score: -4.3 X-Spam_bar: ---- X-Spam_report: (-4.3 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, RCVD_IN_DNSWL_MED=-2.3, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane-mx.org@gnu.org Original-Sender: "Emacs-devel" Xref: news.gmane.io gmane.emacs.devel:276265 Archived-At: > Concrete use-case would be to offer a user some kind of gui to instrument or remove > instrumentation for debug/edebug/profile/trace. W.r.t *removal* of debug/profile/trace, this could be done by offering a generic removal GUI for advice. It wouldn't cover the case where the user wants to add such instrumentation, tho. And currently, that wouldn't cover Edebug because Edebug doesn't install its instrumented code with `advice-add`. Stefan