From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!.POSTED!not-for-mail
From: Stefan Monnier <monnier@iro.umontreal.ca>
Newsgroups: gmane.emacs.devel
Subject: Re: [PATCH] unsafep: Add support for (funcall)
Date: Mon, 27 Feb 2017 15:56:16 -0500
Message-ID: <jwvvarviccv.fsf-monnier+gmane.emacs.devel@gnu.org>
References: <CA+T2Sh0yh4BR-=vCpnjZ0s7GOkut_AMqros8R6ULRSZMU11+xg@mail.gmail.com>
NNTP-Posting-Host: blaine.gmane.org
Mime-Version: 1.0
Content-Type: text/plain
X-Trace: blaine.gmane.org 1488230640 16178 195.159.176.226 (27 Feb 2017 21:24:00 GMT)
X-Complaints-To: usenet@blaine.gmane.org
NNTP-Posting-Date: Mon, 27 Feb 2017 21:24:00 +0000 (UTC)
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.0.50 (gnu/linux)
To: emacs-devel@gnu.org
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Feb 27 22:23:55 2017
Return-path: <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Envelope-to: ged-emacs-devel@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 <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1ciSls-0003TZ-OT
	for ged-emacs-devel@m.gmane.org; Mon, 27 Feb 2017 22:23:52 +0100
Original-Received: from localhost ([::1]:56995 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1ciSly-0002QH-Sd
	for ged-emacs-devel@m.gmane.org; Mon, 27 Feb 2017 16:23:58 -0500
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:40877)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <ged-emacs-devel@m.gmane.org>) id 1ciSP4-0001HD-1k
	for emacs-devel@gnu.org; Mon, 27 Feb 2017 16:00:18 -0500
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ged-emacs-devel@m.gmane.org>) id 1ciSP0-0000Od-Vs
	for emacs-devel@gnu.org; Mon, 27 Feb 2017 16:00:18 -0500
Original-Received: from [195.159.176.226] (port=41366 helo=blaine.gmane.org)
	by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16)
	(Exim 4.71) (envelope-from <ged-emacs-devel@m.gmane.org>)
	id 1ciSP0-0000OD-PE
	for emacs-devel@gnu.org; Mon, 27 Feb 2017 16:00:14 -0500
Original-Received: from list by blaine.gmane.org with local (Exim 4.84_2)
	(envelope-from <ged-emacs-devel@m.gmane.org>) id 1ciSOp-0006hQ-KH
	for emacs-devel@gnu.org; Mon, 27 Feb 2017 22:00:03 +0100
X-Injected-Via-Gmane: http://gmane.org/
Original-Lines: 18
Original-X-Complaints-To: usenet@blaine.gmane.org
Cancel-Lock: sha1:kRLsxKLv3HVXOzrTnWOpoKttVpE=
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
	[fuzzy]
X-Received-From: 195.159.176.226
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.21
Precedence: list
List-Id: "Emacs development discussions." <emacs-devel.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-devel/>
List-Post: <mailto:emacs-devel@gnu.org>
List-Help: <mailto:emacs-devel-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-devel>,
	<mailto:emacs-devel-request@gnu.org?subject=subscribe>
Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Original-Sender: "Emacs-devel" <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>
Xref: news.gmane.org gmane.emacs.devel:212629
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/212629>

> The following patch makes (unsafep) check funcall forms. Right now,
> it only works while calling side-effect-free functions like car and cdr.
> In the future, I'd like to extend this to add support for looking up and
> checking (symbol-function) for other functions too.

Hmm... I don't quite get it:

    (funcall '<sym> ...)

is better written as

    (<sym> ...)

so why/when do you see such code?  Could we rewrite it before unsafep
gets to look at it.


        Stefan