From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Philipp Newsgroups: gmane.emacs.bugs Subject: bug#48585: 28.0.50; Missing Edebug instrumentation for some 'if-let' variants Date: Sat, 22 May 2021 13:37:48 +0200 Message-ID: Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="9645"; mail-complaints-to="usenet@ciao.gmane.io" To: 48585@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat May 22 13:38:13 2021 Return-path: Envelope-to: geb-bug-gnu-emacs@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 1lkPxM-0002HA-Lj for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 22 May 2021 13:38:12 +0200 Original-Received: from localhost ([::1]:58392 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lkPxL-0001Vs-1S for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 22 May 2021 07:38:11 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38582) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lkPxC-0001VV-Ol for bug-gnu-emacs@gnu.org; Sat, 22 May 2021 07:38:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:55078) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lkPxC-0005aT-GN for bug-gnu-emacs@gnu.org; Sat, 22 May 2021 07:38:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lkPxC-00041x-E1 for bug-gnu-emacs@gnu.org; Sat, 22 May 2021 07:38:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Philipp Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 22 May 2021 11:38:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 48585 X-GNU-PR-Package: emacs X-Debbugs-Original-To: bug-gnu-emacs@gnu.org Original-Received: via spool by submit@debbugs.gnu.org id=B.162168347515477 (code B ref -1); Sat, 22 May 2021 11:38:02 +0000 Original-Received: (at submit) by debbugs.gnu.org; 22 May 2021 11:37:55 +0000 Original-Received: from localhost ([127.0.0.1]:38391 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lkPx4-00041Z-RE for submit@debbugs.gnu.org; Sat, 22 May 2021 07:37:55 -0400 Original-Received: from lists.gnu.org ([209.51.188.17]:45894) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lkPx3-00041S-Tl for submit@debbugs.gnu.org; Sat, 22 May 2021 07:37:54 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:38544) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lkPx3-0001VL-LP for bug-gnu-emacs@gnu.org; Sat, 22 May 2021 07:37:53 -0400 Original-Received: from mail-ej1-x636.google.com ([2a00:1450:4864:20::636]:33721) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lkPx1-0005Wa-2w for bug-gnu-emacs@gnu.org; Sat, 22 May 2021 07:37:53 -0400 Original-Received: by mail-ej1-x636.google.com with SMTP id z12so32883689ejw.0 for ; Sat, 22 May 2021 04:37:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:subject:date:message-id:mime-version; bh=ItqNIsK1d0YZds13wikFBGHHw+B/M2WtiKV2j8X1Jug=; b=MKQ80ERl9Morl7mgb0enQlCSZbHL3pEFk1sPakhna8HOQ4lsWW+/QCyEDQh2MjPJJw d0DTqNQNy7AjVhIZIZtZHiQf9SEY02CMQ2LqxASVSTC26YzBIwVycVG0LJFETenZotDl rGg/NE/U+1LgocN+aBe+uAkkSFEchICZ6a0DlmpBDV81DumUsRMXfx2/h4vUeNOgj9zz rQlx6k+8CfT7ZlY1Y9dUOI97aTX6Hu9zvVOZgv0xpSpz/618CK/KHyv8/lVEtQVc6JAL w1n6KXCl1GI+BnCkvtBkfmONrtIwDcdnjPsPPoC0CkLi3TgE0utjhyP1kEON794rNL0N /tFQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:subject:date:message-id:mime-version; bh=ItqNIsK1d0YZds13wikFBGHHw+B/M2WtiKV2j8X1Jug=; b=SrzfJQ8K42WI32SMnbuy4MuTyTJNA2fkEr/EaPt/SwvZypuOiPGJqO5An/qZLirZKc 5mf5iulN+ueiCBudWROf1DUhYLME2t7pxB3azKaS49DJgV78b20GmCA03NZVmGXfbNkw z67nZPKApwJ4rMg/UnaCqsLTiTfw5HOq1FrxNs7L99gEheTEbULLc6zo1VPhmpGgKDvy glUnhHQyABEgJoEW7NVHSx5316ciZArYzrbJJ28sG2nSzyiDSkqvsX0qhOrgLz1PPKoE LSODOoaJ536jM5gbUVvvQ7ztoGj5bNl5oAHGd4lqEeE6ezsjJ8AYVPZrpMWOwgS28ETJ 4AFg== X-Gm-Message-State: AOAM533I7lL2ty7VBg05j+7NblhW8TeNk+8+8/Yupa1EFmLyDNjqmiFx 6yHOyfiWamZwENsRPlta1ZY6FODC83jtWw== X-Google-Smtp-Source: ABdhPJxbo9YuUiTKnkE6nbipUjosjvQ06jFK6UwPo5wZyWgKMtzDBBRjV99BimvBZRZGphvM13m9oA== X-Received: by 2002:a17:906:a84e:: with SMTP id dx14mr14279161ejb.220.1621683469290; Sat, 22 May 2021 04:37:49 -0700 (PDT) Original-Received: from Philipps-MBP.fritz.box ([46.128.198.100]) by smtp.gmail.com with ESMTPSA id ia23sm1133227ejc.70.2021.05.22.04.37.48 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Sat, 22 May 2021 04:37:48 -0700 (PDT) Received-SPF: pass client-ip=2a00:1450:4864:20::636; envelope-from=p.stephani2@gmail.com; helo=mail-ej1-x636.google.com X-Spam_score_int: -17 X-Spam_score: -1.8 X-Spam_bar: - X-Spam_report: (-1.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_ENVFROM_END_DIGIT=0.25, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_NONE=-0.0001, SPF_HELO_NONE=0.001, SPF_PASS=-0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.io gmane.emacs.bugs:207029 Archived-At: Instrument the following definition using C-u C-M-x: (defun f (x) (if-let* (x) 1)) Then, evaluate this form: (f 2) Edebug will step into 'f', but won't stop at 'x'. The problem lies in this part of the Edebug specification for 'if-let*': [&or symbolp (symbolp form) (form)] The 'symbolp' specification element causes Edebug to not instrument the 'x' symbol. However, the 'symbolp' specification is also necessary here; we couldn't just replace it with 'form' because that would make the branches overlap. What we'd need here is something like [&and symbolp form], i.e. match only in case of a symbol, but also instrument as a form. IIUC Edebug doesn't support such constructs yet. In GNU Emacs 28.0.50 (build 125, aarch64-apple-darwin20.4.0, NS appkit-2022.44 Version 11.3.1 (Build 20E241)) of 2021-05-22 Repository revision: 91fa95bde0619b4f3bc7d93d06c7c75998b1588d Repository branch: master Windowing system distributor 'Apple', version 10.3.2022 System Description: macOS 11.3.1 Configured using: 'configure --with-modules --without-xml2 --without-pop --with-mailutils --enable-gcc-warnings=warn-only --enable-checking=all --enable-check-lisp-object-type 'CFLAGS=-ggdb3 -O0'' Configured features: ACL GNUTLS JSON LCMS2 MODULES NOTIFY KQUEUE NS PDUMPER PNG THREADS TOOLKIT_SCROLL_BARS ZLIB Important settings: value of $LANG: de_DE.UTF-8 locale-coding-system: utf-8-unix Major mode: Lisp Interaction Minor modes in effect: tooltip-mode: t global-eldoc-mode: t eldoc-mode: t electric-indent-mode: t mouse-wheel-mode: t tool-bar-mode: t menu-bar-mode: t file-name-shadow-mode: t global-font-lock-mode: t font-lock-mode: t blink-cursor-mode: t auto-composition-mode: t auto-encryption-mode: t auto-compression-mode: t line-number-mode: t transient-mark-mode: t Load-path shadows: None found. Features: (shadow sort mail-extr emacsbug message rmc dired dired-loaddefs rfc822 mml mml-sec epa epg epg-config gnus-util rmail rmail-loaddefs time-date mm-decode mm-bodies mm-encode mail-parse rfc2231 mailabbrev gmm-utils mailheader sendmail rfc2047 rfc2045 ietf-drums mm-util mail-prsvr mail-utils phst skeleton derived edmacro kmacro pcase ffap thingatpt url url-proxy url-privacy url-expand url-methods url-history url-cookie url-domsuf url-util url-parse auth-source cl-seq eieio eieio-core cl-macs eieio-loaddefs password-cache json map url-vars mailcap rx gnutls puny dbus xml subr-x seq byte-opt gv bytecomp byte-compile cconv compile text-property-search comint ansi-color ring cl-loaddefs cl-lib iso-transl tooltip eldoc electric uniquify ediff-hook vc-hooks lisp-float-type mwheel term/ns-win ns-win ucs-normalize mule-util term/common-win tool-bar dnd fontset image regexp-opt fringe tabulated-list replace newcomment text-mode elisp-mode lisp-mode prog-mode register page tab-bar menu-bar rfn-eshadow isearch easymenu timer select scroll-bar mouse jit-lock font-lock syntax font-core term/tty-colors frame minibuffer cl-generic cham georgian utf-8-lang misc-lang vietnamese tibetan thai tai-viet lao korean japanese eucjp-ms cp51932 hebrew greek romanian slovak czech european ethiopic indian cyrillic chinese composite charscript charprop case-table epa-hook jka-cmpr-hook help simple abbrev obarray cl-preloaded nadvice button loaddefs faces cus-face macroexp files window text-properties overlay sha1 md5 base64 format env code-pages mule custom widget hashtable-print-readable backquote threads kqueue cocoa ns lcms2 multi-tty make-network-process emacs) Memory information: ((conses 16 70783 6422) (symbols 48 8363 1) (strings 32 24254 2096) (string-bytes 1 793113) (vectors 16 16076) (vector-slots 8 212949 7797) (floats 8 26 28) (intervals 56 219 0) (buffers 992 10))