From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Philipp Stephani Newsgroups: gmane.emacs.bugs Subject: bug#24913: 25.1.50; Emacs accepts undocumented and confusing combinations of &optional and &rest in argument lists Date: Sat, 19 Nov 2016 16:40:47 +0000 Message-ID: References: NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a11444cc44d6ec00541aa16b1 X-Trace: blaine.gmane.org 1479573736 18613 195.159.176.226 (19 Nov 2016 16:42:16 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sat, 19 Nov 2016 16:42:16 +0000 (UTC) To: Gemini Lasswell , 24913@debbugs.gnu.org Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Sat Nov 19 17:42:12 2016 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1c88iS-0003ss-Fj for geb-bug-gnu-emacs@m.gmane.org; Sat, 19 Nov 2016 17:42:12 +0100 Original-Received: from localhost ([::1]:41958 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1c88iV-0003Qy-Em for geb-bug-gnu-emacs@m.gmane.org; Sat, 19 Nov 2016 11:42:15 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:55215) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1c88iL-0003Qk-F5 for bug-gnu-emacs@gnu.org; Sat, 19 Nov 2016 11:42:06 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1c88iI-00025v-B7 for bug-gnu-emacs@gnu.org; Sat, 19 Nov 2016 11:42:05 -0500 Original-Received: from debbugs.gnu.org ([208.118.235.43]:48122) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1c88iI-00025o-60 for bug-gnu-emacs@gnu.org; Sat, 19 Nov 2016 11:42:02 -0500 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1c88iH-0006xl-RT for bug-gnu-emacs@gnu.org; Sat, 19 Nov 2016 11:42:01 -0500 X-Loop: help-debbugs@gnu.org Resent-From: Philipp Stephani Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 19 Nov 2016 16:42:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 24913 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 24913-submit@debbugs.gnu.org id=B24913.147957366526672 (code B ref 24913); Sat, 19 Nov 2016 16:42:01 +0000 Original-Received: (at 24913) by debbugs.gnu.org; 19 Nov 2016 16:41:05 +0000 Original-Received: from localhost ([127.0.0.1]:35288 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1c88hM-0006w8-Qh for submit@debbugs.gnu.org; Sat, 19 Nov 2016 11:41:05 -0500 Original-Received: from mail-wm0-f47.google.com ([74.125.82.47]:35183) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1c88hL-0006vU-Kp for 24913@debbugs.gnu.org; Sat, 19 Nov 2016 11:41:04 -0500 Original-Received: by mail-wm0-f47.google.com with SMTP id a197so82453093wmd.0 for <24913@debbugs.gnu.org>; Sat, 19 Nov 2016 08:41:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:references:in-reply-to:from:date:message-id:subject:to; bh=cxWmk6GfX+VDaUx4NQ/A93wtCy71I6B3LBPoIG3g9u0=; b=hBiIium1R4xOXzmhqc5UZLU6GGcMWTssaA8EzcIlILaEmejHuQShNOLaH3PBv58gWe q4hMGCnnJS75PvKiS7/D+pIgTEHIRZf/FCGJX3K8VMRjF5oxxS6sxriA0ys3ag9hnNTy 4STHcQOeZuTx2tUhWIx3bpsxDrEP+2pceQ3yXQDpDrOjmXWwvbierJp/d6ed3dLq6WGS hKxscWnYXvB6lKKcdhogLwvwydfZx8dcsY6eeMsj7h28RSjIE+bAX5evUQ2o4wVeQFFs I2XQVT+S/cWhHrWYIBi67lDs6h9aHKtDi5xYgjOpV8zeB5MG3tiZwEJNZkeEsNeOBIhE ailQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to; bh=cxWmk6GfX+VDaUx4NQ/A93wtCy71I6B3LBPoIG3g9u0=; b=WNKBk6YYA24DfDrOKhQQr6mKwYHFSyWspNVrJTYOvRwYiph5DDx2OyLqB7/6wTS15Y TvpUi13oU7gVFiOi3OZlCm+eCNeFYXpvR3r6UTool/02m6HvyW15djPcoIAkNUaGx8PS CK6U6KvazsaGsXyCD4cIpUEUpayyo0T7L4ModzXMN0ZcjFcj7yG0HdPILVv+jpzYwXEa 709guntGQcRxgMyDa34MIkfnHv589PAYdXN2pgSIB20DswPBtTZspwb2xBQgSPRCSGIs UMD3mSTDdvHSl7E2qg3c7S89Ma9jad1/JG/CrI8EmS5pkBpIuLfAY/Kws6bgIG95DCbh SR3A== X-Gm-Message-State: AKaTC02JOfuaKgAX/HEYRzdQNE/Lh2wwQxF+3FIUBV2EZ91iM663F1vTaYV4ZQ2zpMoACtf+3EAF1KxBTVsSrw== X-Received: by 10.28.87.84 with SMTP id l81mr4570474wmb.48.1479573657970; Sat, 19 Nov 2016 08:40:57 -0800 (PST) In-Reply-To: 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: 208.118.235.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:125877 Archived-At: --001a11444cc44d6ec00541aa16b1 Content-Type: text/plain; charset=UTF-8 Gemini Lasswell schrieb am Do., 10. Nov. 2016 um 17:56 Uhr: > > > Philipp Stephani schrieb am Mi., 9. Nov. 2016 > um 22:19 Uhr: > > > > Here's a patch that detects such argument lists. > > > A more general solution would be to have the byte compiler try to match > Edebug specs, and issue a warning or an error if it fails. That would > help find errors in the invocations of all macros, not just ones with > argument lists. > I don't understand how this is related. This is only about function definitions in the evaluator and the byte compiler. I don't see how Edebug could help here. --001a11444cc44d6ec00541aa16b1 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


Gemini= Lasswell <gazally@runbox.com&= gt; schrieb am Do., 10. Nov. 2016 um 17:56=C2=A0Uhr:

> Philipp Stephani <p.stephani2@gmail.com> schrieb am Mi.,= 9. Nov. 2016 um 22:19 Uhr:
>
> Here's a patch that detects such argument lists.
>
A more general solution would be to have the byte compiler try to match
Edebug specs, and issue a warning or an error if it fails. That would
help find errors in the invocations of all macros, not just ones with
argument lists.

I d= on't understand how this is related. This is only about function defini= tions in the evaluator and the byte compiler. I don't see how Edebug co= uld help here.
--001a11444cc44d6ec00541aa16b1--