From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Monnier via "Bug reports for GNU Emacs, the Swiss army knife of text editors" Newsgroups: gmane.emacs.bugs Subject: bug#20457: compiler does not warn about arglist mismatch with obsolete alias Date: Sat, 05 Jun 2021 11:54:35 -0400 Message-ID: References: <871r9r3djl.fsf@gnus.org> <83cztb8jc0.fsf@gnu.org> Reply-To: Stefan Monnier Mime-Version: 1.0 Content-Type: text/plain Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="15158"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.0.50 (gnu/linux) Cc: rgm@gnu.org, Lars Ingebrigtsen , 20457@debbugs.gnu.org To: Eli Zaretskii Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Sat Jun 05 17:55:09 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 1lpYdh-0003oO-3V for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 05 Jun 2021 17:55:09 +0200 Original-Received: from localhost ([::1]:60136 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1lpYdg-0003Qn-4i for geb-bug-gnu-emacs@m.gmane-mx.org; Sat, 05 Jun 2021 11:55:08 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:43208) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1lpYda-0003QG-2D for bug-gnu-emacs@gnu.org; Sat, 05 Jun 2021 11:55:02 -0400 Original-Received: from debbugs.gnu.org ([209.51.188.43]:38387) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1lpYdZ-0006Ad-S3 for bug-gnu-emacs@gnu.org; Sat, 05 Jun 2021 11:55:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1lpYdZ-0007j7-PS for bug-gnu-emacs@gnu.org; Sat, 05 Jun 2021 11:55:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Sat, 05 Jun 2021 15:55:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 20457 X-GNU-PR-Package: emacs Original-Received: via spool by 20457-submit@debbugs.gnu.org id=B20457.162290848929680 (code B ref 20457); Sat, 05 Jun 2021 15:55:01 +0000 Original-Received: (at 20457) by debbugs.gnu.org; 5 Jun 2021 15:54:49 +0000 Original-Received: from localhost ([127.0.0.1]:49933 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lpYdM-0007id-UD for submit@debbugs.gnu.org; Sat, 05 Jun 2021 11:54:49 -0400 Original-Received: from mailscanner.iro.umontreal.ca ([132.204.25.50]:45350) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1lpYdH-0007iN-7A for 20457@debbugs.gnu.org; Sat, 05 Jun 2021 11:54:47 -0400 Original-Received: from pmg3.iro.umontreal.ca (localhost [127.0.0.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 8A9634411E0; Sat, 5 Jun 2021 11:54:37 -0400 (EDT) Original-Received: from mail01.iro.umontreal.ca (unknown [172.31.2.1]) by pmg3.iro.umontreal.ca (Proxmox) with ESMTP id 5B8FD440FDD; Sat, 5 Jun 2021 11:54:36 -0400 (EDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=iro.umontreal.ca; s=mail; t=1622908476; bh=Bi+B9ANYlmLMRSBk0PyjgnIBY8DwhngBhUcD1QTJwic=; h=From:To:Cc:Subject:References:Date:In-Reply-To:From; b=ILV01BXEJXr9tG3n4kXCDLMoigNiAUmMhZ/Xgmon/QN8oJJUWqsv0M7QW9evvjyHq udaFauhgeLzEFhZgdYlocnVbA0a0BJVDEZenaqn5SvCNu+ovFILpuMTOy//7a3f8yQ DzN5hjb3f6lUgtQ2dOsRZzCq++a7TNW/nr6y0JUHhFhQZN7QcEP6RQJrM1AGRRiHab K5aqMGu5wxfsPHo1TlEy/lvyANxwrufWM+YIXWUbrr1AzU09TDOXTYY824n+Pe32Jr AJz7LUwiOtMvIJS6HM1DIdZPBdLJ0SAbtBvhWa0AuK+em29zN51OgJbFI5wkRNsRT+ rKQHgNR9xn3BQ== Original-Received: from alfajor (69-196-163-239.dsl.teksavvy.com [69.196.163.239]) by mail01.iro.umontreal.ca (Postfix) with ESMTPSA id 230741207C6; Sat, 5 Jun 2021 11:54:36 -0400 (EDT) In-Reply-To: <83cztb8jc0.fsf@gnu.org> (Eli Zaretskii's message of "Fri, 28 May 2021 09:26:39 +0300") 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:208061 Archived-At: >> The problem seems to be more general than that -- it doesn't warn about >> the wrong number of arguments, ever, if using aliases? >> >> Test case: >> >> (defun foo ()) >> (defalias 'bar 'foo) >> (defun zot () >> (bar t)) >> (defun foobar () >> (foo t)) >> >> >> ---- >> Compiling file /tmp/warn.el at Fri May 28 02:26:55 2021 >> >> In foobar: >> warn.el:6:4: Warning: foo called with 1 argument, but accepts only 0 >> ---- >> >> Note -- no warning from the zot function. >> >> It seems so odd that nobody has pointed this out before, so I'm >> wondering if I'm just doing something obviously wrong in this test >> case. Anybody? > > Stefan? The byte-compiler's tracking of functions arity is quite limited, yes. Patches to improve it are welcome. Stefan