From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED.blaine.gmane.org!not-for-mail From: Gemini Lasswell Newsgroups: gmane.emacs.bugs Subject: bug#30910: 26.0.91; Incorrect Edebug spec for def-edebug-spec Date: Mon, 15 Jul 2019 15:29:08 -0700 Message-ID: <87pnmbort7.fsf@runbox.com> References: <87h8p76fz2.fsf@runbox.com> <87v9w4zopq.fsf@mouse.gnus.org> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: blaine.gmane.org; posting-host="blaine.gmane.org:195.159.176.226"; logging-data="269704"; mail-complaints-to="usenet@blaine.gmane.org" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2.90 (gnu/linux) Cc: 30910@debbugs.gnu.org To: Lars Ingebrigtsen Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Tue Jul 16 00:30:11 2019 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([209.51.188.17]) by blaine.gmane.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1hn9U2-0017zO-D2 for geb-bug-gnu-emacs@m.gmane.org; Tue, 16 Jul 2019 00:30:10 +0200 Original-Received: from localhost ([::1]:44156 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hn9U1-0001Gj-5B for geb-bug-gnu-emacs@m.gmane.org; Mon, 15 Jul 2019 18:30:09 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:57420) by lists.gnu.org with esmtp (Exim 4.86_2) (envelope-from ) id 1hn9Tw-0001Fv-U0 for bug-gnu-emacs@gnu.org; Mon, 15 Jul 2019 18:30:05 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1hn9Tv-0003OL-SP for bug-gnu-emacs@gnu.org; Mon, 15 Jul 2019 18:30:04 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:40523) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1hn9Tv-0003NQ-Eh for bug-gnu-emacs@gnu.org; Mon, 15 Jul 2019 18:30:03 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1hn9Tv-0006po-6Z for bug-gnu-emacs@gnu.org; Mon, 15 Jul 2019 18:30:03 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Gemini Lasswell Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Mon, 15 Jul 2019 22:30:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 30910 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: confirmed Original-Received: via spool by 30910-submit@debbugs.gnu.org id=B30910.156322976626197 (code B ref 30910); Mon, 15 Jul 2019 22:30:03 +0000 Original-Received: (at 30910) by debbugs.gnu.org; 15 Jul 2019 22:29:26 +0000 Original-Received: from localhost ([127.0.0.1]:49344 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hn9TK-0006oS-BT for submit@debbugs.gnu.org; Mon, 15 Jul 2019 18:29:26 -0400 Original-Received: from aibo.runbox.com ([91.220.196.211]:58294) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1hn9TI-0006oK-AY for 30910@debbugs.gnu.org; Mon, 15 Jul 2019 18:29:25 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=runbox.com; s=rbselector1; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From; bh=BhbrUJIb6F4096a6SIUAwnaPirKJ1/bO/idkx5OQlzY=; b=YLM563WITVULZ6irO0mEl290C2 EmwWXKl+3/LTrG4sPsiMqrvum+caXeYtquTlJc7bkcqOpmkr0vi720aWy3a0FHFa5AbZIIAQQdZLc sQ/jy2+wtZSKtU4okrDC+3+pgRPq5TZOz/poVUYYjSRxcV+bOKWx8p2+YFQMsFrxM2gfz/rHIYFdu 96ErAo/CYZlPiHtKI66UOuE2Y7srw22HNjG/+j2Ywj5laMSR/CyssL7CI4DdOmivQRwvuNk8irisa 1eerAAsYE/iiQwwAYKI0zWd4GzkVdFuo0ow3M59rloI1v1vfGHSyr00M9pL9B+L8eqmfeOSPkXC4S V6eUI5Iw==; Original-Received: from [10.9.9.203] (helo=mailfront21.runbox) by mailtransmit02.runbox with esmtp (Exim 4.86_2) (envelope-from ) id 1hn9TG-0000JA-Fv; Tue, 16 Jul 2019 00:29:22 +0200 Original-Received: by mailfront21.runbox with esmtpsa (uid:179284 ) (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) id 1hn9T5-0002bs-J5; Tue, 16 Jul 2019 00:29:12 +0200 In-Reply-To: <87v9w4zopq.fsf@mouse.gnus.org> (Lars Ingebrigtsen's message of "Sun, 14 Jul 2019 16:16:01 +0200") X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic] X-Received-From: 209.51.188.43 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.org@gnu.org Original-Sender: "bug-gnu-emacs" Xref: news.gmane.org gmane.emacs.bugs:163176 Archived-At: Lars Ingebrigtsen writes: > But you say that it has an edebug spec, but: > > (symbol-plist 'def-edebug-spec) > => nil Do (require 'edebug) first, then that will work. > I thought that perhaps saying something like > > (eval-and-compile > (put 'def-edebug-spec 'edebug-form-spec '(sexp sexp))) > > might be a fix, but it doesn't seem to have any effect... (def-edebug-spec def-edebug-spec (&rest sexp)) would be a fix, but so would be deleting it entirely. Since there is no code needing to be debugged inside of an Edebug spec, the only reason I can think of for having an Edebug spec for def-edebug-spec is to check whether the specs defined with it are validly formed. The error messages issued during Edebug spec matching are not very good, but maybe someone will be inspired to do something about that someday. Right now the only Edebug specs that get matched to the def-edebug-spec definition are the ones declared with def-edebug-spec, not the ones in macro definitions, because: (get-edebug-spec 'defmacro) => (&define name lambda-list lambda-doc [&optional ("declare" &rest sexp)] def-body) If we had a Edebug spec for Edebug specs that wasn't broken, we could change the defmacro spec to use it, and see what happens.