X-Loop: help-debbugs@HIDDEN
Subject: bug#30910: 26.0.91; Incorrect Edebug spec for def-edebug-spec
Resent-From: Gemini Lasswell <gazally@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 22 Mar 2018 19:59:01 +0000
Resent-Message-ID: <handler.30910.B.152174868816586 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: report 30910
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords:
To: 30910 <at> debbugs.gnu.org
X-Debbugs-Original-To: bug-gnu-emacs@HIDDEN
Received: via spool by submit <at> debbugs.gnu.org id=B.152174868816586
(code B ref -1); Thu, 22 Mar 2018 19:59:01 +0000
Received: (at submit) by debbugs.gnu.org; 22 Mar 2018 19:58:08 +0000
Received: from localhost ([127.0.0.1]:48159 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1ez6Lg-0004JR-L9
for submit <at> debbugs.gnu.org; Thu, 22 Mar 2018 15:58:08 -0400
Received: from eggs.gnu.org ([208.118.235.92]:34004)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <gazally@HIDDEN>) id 1ez6Lf-0004JG-6N
for submit <at> debbugs.gnu.org; Thu, 22 Mar 2018 15:58:07 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
(envelope-from <gazally@HIDDEN>) id 1ez6LZ-0001T4-CB
for submit <at> debbugs.gnu.org; Thu, 22 Mar 2018 15:58:02 -0400
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level:
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM,
T_DKIM_INVALID autolearn=disabled version=3.3.2
Received: from lists.gnu.org ([2001:4830:134:3::11]:51717)
by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
(Exim 4.71) (envelope-from <gazally@HIDDEN>) id 1ez6LZ-0001Sr-9U
for submit <at> debbugs.gnu.org; Thu, 22 Mar 2018 15:58:01 -0400
Received: from eggs.gnu.org ([2001:4830:134:3::10]:53186)
by lists.gnu.org with esmtp (Exim 4.71)
(envelope-from <gazally@HIDDEN>) id 1ez6LY-00056Y-15
for bug-gnu-emacs@HIDDEN; Thu, 22 Mar 2018 15:58:00 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
(envelope-from <gazally@HIDDEN>) id 1ez6LU-0001QK-Jw
for bug-gnu-emacs@HIDDEN; Thu, 22 Mar 2018 15:58:00 -0400
Received: from aibo.runbox.com ([91.220.196.211]:39140)
by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
(Exim 4.71) (envelope-from <gazally@HIDDEN>) id 1ez6LU-0001OA-9b
for bug-gnu-emacs@HIDDEN; Thu, 22 Mar 2018 15:57:56 -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:Date:Subject:To:From;
bh=+IteqA0XuiOWS8/1HjOBHyO4CCLTMdx53fBTNLnlezc=; b=Nm+vDUu0w4Xo0P06UjPwTJNSR
3sFpHNmPFl0SNTVuuny3u/B372VcT+CwWoGht6SOU/TwSd5zdkyC8vsuO+Mg0FM0P+RpAEcinoZfq
kmBaZaVD2PYjNUoLPr2JgC7rBg1+s+PfF5xuwa7r/4MtSpM0vQq70x4OvE1DGpRX50gROdzN7X5E9
ioev+hK+8bZ+EFYpckEtRYfnCXW+svT+RKracXCVe7JgyQOfP4UTZ9C4u8YxpJEs3leLCt7iz3xtd
hlHXxY4k3KO40Poyr/ea2aEVl6TS53/b7b0Ng6RydeNsHwYmcArV3Vw+xIA1SqT5if6JeihL9rCEP
usIGKdZzA==;
Received: from [10.9.9.211] (helo=mailfront11.runbox.com)
by mailtransmit02.runbox with esmtp (Exim 4.86_2)
(envelope-from <gazally@HIDDEN>) id 1ez6LS-0001ol-Gt
for bug-gnu-emacs@HIDDEN; Thu, 22 Mar 2018 20:57:54 +0100
Received: from c-24-22-244-161.hsd1.wa.comcast.net ([24.22.244.161]
helo=chinook) by mailfront11.runbox.com with esmtpsa (uid:179284 )
(TLS1.2:RSA_AES_256_CBC_SHA1:256) (Exim 4.82) id 1ez6Kx-0005p9-4B
for bug-gnu-emacs@HIDDEN; Thu, 22 Mar 2018 20:57:23 +0100
From: Gemini Lasswell <gazally@HIDDEN>
Date: Thu, 22 Mar 2018 12:57:21 -0700
Message-ID: <87h8p76fz2.fsf@HIDDEN>
MIME-Version: 1.0
Content-Type: text/plain
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
[fuzzy]
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Received-From: 2001:4830:134:3::11
X-Spam-Score: -4.1 (----)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -4.1 (----)
def-edebug-spec has an Edebug spec, which fails to match the valid
Edebug specs in lisp/emacs-lisp/cl-macs.el.
To reproduce, load cl-macs.el and:
M-x edebug-all-defs RET
M-x eval-buffer RET
Result: edebug-syntax-error: Invalid read syntax: "Expected one of",
"nil", edebug-spec-p, "t", "0", (&rest edebug-spec)
A simpler edebug spec than cl-lambda-list which also causes the error
is:
(def-edebug-spec buggy ((symbolp symbolp symbolp symbolp . [&or symbolp nil])))
Fewer than four symbolp's will not produce an error.
Content-Disposition: inline Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) Content-Type: text/plain; charset=utf-8 X-Loop: help-debbugs@HIDDEN From: help-debbugs@HIDDEN (GNU bug Tracking System) To: Gemini Lasswell <gazally@HIDDEN> Subject: bug#30910: Acknowledgement (26.0.91; Incorrect Edebug spec for def-edebug-spec) Message-ID: <handler.30910.B.152174868816586.ack <at> debbugs.gnu.org> References: <87h8p76fz2.fsf@HIDDEN> X-Gnu-PR-Message: ack 30910 X-Gnu-PR-Package: emacs Reply-To: 30910 <at> debbugs.gnu.org Date: Thu, 22 Mar 2018 19:59:01 +0000 Thank you for filing a new bug report with debbugs.gnu.org. This is an automatically generated reply to let you know your message has been received. Your message is being forwarded to the package maintainers and other interested parties for their attention; they will reply in due course. Your message has been sent to the package maintainer(s): bug-gnu-emacs@HIDDEN If you wish to submit further information on this problem, please send it to 30910 <at> debbugs.gnu.org. Please do not send mail to help-debbugs@HIDDEN unless you wish to report a problem with the Bug-tracking system. --=20 30910: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D30910 GNU Bug Tracking System Contact help-debbugs@HIDDEN with problems
Received: (at control) by debbugs.gnu.org; 14 Jul 2019 14:02:12 +0000 From debbugs-submit-bounces <at> debbugs.gnu.org Sun Jul 14 10:02:12 2019 Received: from localhost ([127.0.0.1]:45528 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1hmf4u-00063z-2n for submit <at> debbugs.gnu.org; Sun, 14 Jul 2019 10:02:12 -0400 Received: from quimby.gnus.org ([80.91.231.51]:52530) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <larsi@HIDDEN>) id 1hmf4s-00063r-Mk for control <at> debbugs.gnu.org; Sun, 14 Jul 2019 10:02:11 -0400 Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=marnie) by quimby.gnus.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from <larsi@HIDDEN>) id 1hmf4o-0002sN-Eg for control <at> debbugs.gnu.org; Sun, 14 Jul 2019 16:02:08 +0200 Date: Sun, 14 Jul 2019 16:02:06 +0200 Message-Id: <87y310zpcx.fsf@HIDDEN> To: control <at> debbugs.gnu.org From: Lars Ingebrigtsen <larsi@HIDDEN> Subject: control message for bug #30910 X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org", has NOT identified this incoming email as spam. The original message has been attached to this so you can view it or label similar future email. If you have any questions, see @@CONTACT_ADDRESS@@ for details. Content preview: tags 30910 + confirmed quit Content analysis details: (-2.9 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- -1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP -1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1% [score: 0.0000] X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: control X-BeenThere: debbugs-submit <at> debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: <debbugs-submit.debbugs.gnu.org> List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe> List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/> List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org> List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help> List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe> Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org> X-Spam-Score: -1.0 (-) tags 30910 + confirmed quit
X-Loop: help-debbugs@HIDDEN
Subject: bug#30910: 26.0.91; Incorrect Edebug spec for def-edebug-spec
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Sun, 14 Jul 2019 14:17:01 +0000
Resent-Message-ID: <handler.30910.B30910.156311377328899 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 30910
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: confirmed
To: Gemini Lasswell <gazally@HIDDEN>
Cc: 30910 <at> debbugs.gnu.org
Received: via spool by 30910-submit <at> debbugs.gnu.org id=B30910.156311377328899
(code B ref 30910); Sun, 14 Jul 2019 14:17:01 +0000
Received: (at 30910) by debbugs.gnu.org; 14 Jul 2019 14:16:13 +0000
Received: from localhost ([127.0.0.1]:45555 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1hmfIS-0007Vi-IS
for submit <at> debbugs.gnu.org; Sun, 14 Jul 2019 10:16:12 -0400
Received: from quimby.gnus.org ([80.91.231.51]:52840)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <larsi@HIDDEN>) id 1hmfIQ-0007TH-OW
for 30910 <at> debbugs.gnu.org; Sun, 14 Jul 2019 10:16:11 -0400
Received: from cm-84.212.202.86.getinternet.no ([84.212.202.86] helo=marnie)
by quimby.gnus.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.89) (envelope-from <larsi@HIDDEN>)
id 1hmfIH-00032A-UV; Sun, 14 Jul 2019 16:16:04 +0200
From: Lars Ingebrigtsen <larsi@HIDDEN>
References: <87h8p76fz2.fsf@HIDDEN>
Date: Sun, 14 Jul 2019 16:16:01 +0200
In-Reply-To: <87h8p76fz2.fsf@HIDDEN> (Gemini Lasswell's message of "Thu,
22 Mar 2018 12:57:21 -0700")
Message-ID: <87v9w4zopq.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
@@CONTACT_ADDRESS@@ for details.
Content preview: Gemini Lasswell <gazally@HIDDEN> writes: >
def-edebug-spec has an Edebug spec,
which fails to match the valid > Edebug specs in lisp/emacs-lisp/cl-macs.el.
> > To reproduce, load cl-macs.el and: > > M-x edebug-all-defs RET > M-x
eval-buffer [...]
Content analysis details: (-2.9 points, 5.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
-1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP
-1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1%
[score: 0.0000]
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Gemini Lasswell <gazally@HIDDEN> writes:
> def-edebug-spec has an Edebug spec, which fails to match the valid
> Edebug specs in lisp/emacs-lisp/cl-macs.el.
>
> To reproduce, load cl-macs.el and:
>
> M-x edebug-all-defs RET
> M-x eval-buffer RET
>
> Result: edebug-syntax-error: Invalid read syntax: "Expected one of",
> "nil", edebug-spec-p, "t", "0", (&rest edebug-spec)
This bug is still present on the trunk.
But you say that it has an edebug spec, but:
(symbol-plist 'def-edebug-spec)
=> nil
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...
Here's the backtrace:
Debugger entered--Lisp error: (invalid-read-syntax "Expected one of" "nil" ede
signal(invalid-read-syntax ("Expected one of" "nil" edebug-spec-p "t" "0" (&
edebug-syntax-error("Expected one of" "nil" edebug-spec-p "t" "0" (&rest ede
apply(edebug-syntax-error ("Expected one of" "nil" edebug-spec-p "t" "0" (&r
edebug-no-match((((([&rest cl-lambda-arg] [&optional ["&optional" cl-&option
apply(edebug-no-match (((([&rest cl-lambda-arg] [&optional ["&optional" cl-&
edebug-match-&or((((([&rest cl-lambda-arg] [&optional ["&optional" cl-&optio
edebug-match-specs((((([&rest cl-lambda-arg] [&optional ["&optional" cl-&opt
edebug-match-specs((((([&rest cl-lambda-arg] [&optional ["&optional" cl-&opt
edebug-match-specs((((([&rest cl-lambda-arg] [&optional ["&optional" cl-&opt
edebug-match-specs((((([&rest cl-lambda-arg] [&optional ["&optional" cl-&opt
edebug-match-sublist((((([&rest cl-lambda-arg] [&optional ["&optional" cl-&o
edebug-match-list((((def-edebug-spec cl-lambda-list (([&rest cl-lambda-arg]
edebug-match-one-spec((((def-edebug-spec cl-lambda-list (([&rest cl-lambda-a
edebug-match-specs((((def-edebug-spec cl-lambda-list (([&rest cl-lambda-arg]
edebug-match((((def-edebug-spec cl-lambda-list (([&rest cl-lambda-arg] [&opt
edebug-make-form-wrapper((((def-edebug-spec cl-lambda-list (([&rest cl-lambd
edebug-read-and-maybe-wrap-form1()
edebug-read-and-maybe-wrap-form()
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
X-Loop: help-debbugs@HIDDEN
Subject: bug#30910: 26.0.91; Incorrect Edebug spec for def-edebug-spec
Resent-From: Gemini Lasswell <gazally@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Mon, 15 Jul 2019 22:30:03 +0000
Resent-Message-ID: <handler.30910.B30910.156322976626197 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 30910
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: confirmed
To: Lars Ingebrigtsen <larsi@HIDDEN>
Cc: 30910 <at> debbugs.gnu.org
Received: via spool by 30910-submit <at> debbugs.gnu.org id=B30910.156322976626197
(code B ref 30910); Mon, 15 Jul 2019 22:30:03 +0000
Received: (at 30910) by debbugs.gnu.org; 15 Jul 2019 22:29:26 +0000
Received: from localhost ([127.0.0.1]:49344 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1hn9TK-0006oS-BT
for submit <at> debbugs.gnu.org; Mon, 15 Jul 2019 18:29:26 -0400
Received: from aibo.runbox.com ([91.220.196.211]:58294)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <gazally@HIDDEN>) id 1hn9TI-0006oK-AY
for 30910 <at> 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==;
Received: from [10.9.9.203] (helo=mailfront21.runbox)
by mailtransmit02.runbox with esmtp (Exim 4.86_2)
(envelope-from <gazally@HIDDEN>)
id 1hn9TG-0000JA-Fv; Tue, 16 Jul 2019 00:29:22 +0200
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
From: Gemini Lasswell <gazally@HIDDEN>
References: <87h8p76fz2.fsf@HIDDEN> <87v9w4zopq.fsf@HIDDEN>
Date: Mon, 15 Jul 2019 15:29:08 -0700
In-Reply-To: <87v9w4zopq.fsf@HIDDEN> (Lars Ingebrigtsen's message of
"Sun, 14 Jul 2019 16:16:01 +0200")
Message-ID: <87pnmbort7.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.2.90 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Lars Ingebrigtsen <larsi@HIDDEN> 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.
X-Loop: help-debbugs@HIDDEN
Subject: bug#30910: 26.0.91; Incorrect Edebug spec for def-edebug-spec
Resent-From: Lars Ingebrigtsen <larsi@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: bug-gnu-emacs@HIDDEN
Resent-Date: Thu, 18 Jul 2019 13:04:04 +0000
Resent-Message-ID: <handler.30910.B30910.156345501532205 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
X-GNU-PR-Message: followup 30910
X-GNU-PR-Package: emacs
X-GNU-PR-Keywords: confirmed
To: Gemini Lasswell <gazally@HIDDEN>
Cc: 30910 <at> debbugs.gnu.org
Received: via spool by 30910-submit <at> debbugs.gnu.org id=B30910.156345501532205
(code B ref 30910); Thu, 18 Jul 2019 13:04:04 +0000
Received: (at 30910) by debbugs.gnu.org; 18 Jul 2019 13:03:35 +0000
Received: from localhost ([127.0.0.1]:53592 helo=debbugs.gnu.org)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
id 1ho64M-0008NM-OP
for submit <at> debbugs.gnu.org; Thu, 18 Jul 2019 09:03:35 -0400
Received: from quimby.gnus.org ([80.91.231.51]:36594)
by debbugs.gnu.org with esmtp (Exim 4.84_2)
(envelope-from <larsi@HIDDEN>) id 1ho64K-0008NA-Pm
for 30910 <at> debbugs.gnu.org; Thu, 18 Jul 2019 09:03:33 -0400
Received: from [80.169.244.84] (helo=sandy)
by quimby.gnus.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256)
(Exim 4.89) (envelope-from <larsi@HIDDEN>)
id 1ho64F-0006Xm-Hx; Thu, 18 Jul 2019 15:03:31 +0200
From: Lars Ingebrigtsen <larsi@HIDDEN>
References: <87h8p76fz2.fsf@HIDDEN> <87v9w4zopq.fsf@HIDDEN>
<87pnmbort7.fsf@HIDDEN>
Date: Thu, 18 Jul 2019 15:03:26 +0200
In-Reply-To: <87pnmbort7.fsf@HIDDEN> (Gemini Lasswell's message of "Mon,
15 Jul 2019 15:29:08 -0700")
Message-ID: <87h87j8pgh.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
X-Spam-Report: Spam detection software, running on the system "quimby.gnus.org",
has NOT identified this incoming email as spam. The original
message has been attached to this so you can view it or label
similar future email. If you have any questions, see
@@CONTACT_ADDRESS@@ for details.
Content preview: Gemini Lasswell <gazally@HIDDEN> writes: > Lars
Ingebrigtsen
<larsi@HIDDEN> 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.
Content analysis details: (-2.9 points, 5.0 required)
pts rule name description
---- ---------------------- --------------------------------------------------
-1.0 ALL_TRUSTED Passed through trusted hosts only via SMTP
-1.9 BAYES_00 BODY: Bayes spam probability is 0 to 1%
[score: 0.0000]
X-Spam-Score: 0.0 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>,
<mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)
Gemini Lasswell <gazally@HIDDEN> writes:
> Lars Ingebrigtsen <larsi@HIDDEN> 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.
Ah, right:
(symbol-plist 'def-edebug-spec)
=> (edebug-form-spec (&define :name edebug-spec name &or "nil" edebug-spec-p "t" "0" (&rest edebug-spec)))
>> 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.
Yeah, I guess.
> 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.
The current spec was added with this helpful commit message:
commit 1fe3d50701adcd8929745edf24158a4a50459ea0
Author: Daniel LaLiberte <liberte@HIDDEN>
Date: Thu Mar 24 20:38:34 1994 +0000
New version from author.
And this is the code, that has gone virtually unchanged since 1994.
Note the "Out of date" comment, which was there in 1994:
;;;;* Spec for def-edebug-spec
;;; Out of date.
(defun edebug-spec-p (object)
"Return non-nil if OBJECT is a symbol with an edebug-form-spec property."
(and (symbolp object)
(get object 'edebug-form-spec)))
(def-edebug-spec def-edebug-spec
;; Top level is different from lower levels.
(&define :name edebug-spec name
&or "nil" edebug-spec-p "t" "0" (&rest edebug-spec)))
(def-edebug-spec edebug-spec-list
;; A list must have something in it, or it is nil, a symbolp
((edebug-spec . [&or nil edebug-spec])))
(def-edebug-spec edebug-spec
(&or
(vector &rest edebug-spec) ; matches a vector
("vector" &rest edebug-spec) ; matches a vector spec
("quote" symbolp)
edebug-spec-list
stringp
[edebug-lambda-list-keywordp &rest edebug-spec]
[keywordp gate edebug-spec]
edebug-spec-p ;; Including all the special ones e.g. form.
symbolp;; a predicate
))
So it does sound more like a test for whether the specs are well-formed,
and not really... anything with edebug proper?
> 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.
Right.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.