From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: Eli Zaretskii <eliz@gnu.org>
Newsgroups: gmane.emacs.devel
Subject: Re: member inconsistency?
Date: Thu, 28 Jan 2016 17:48:29 +0200
Message-ID: <83bn85zovm.fsf@gnu.org>
References: <87twly2iye.fsf@nicolasgoaziou.fr>
	<CAArVCkR6XeDA5sNn2uaXrUiHHgt-CxWon5U9W7c9wc3b8ZFf6g@mail.gmail.com>
	<mvmtwlyf1te.fsf@hawking.suse.de> <871t929f1e.fsf@gmx.net>
Reply-To: Eli Zaretskii <eliz@gnu.org>
NNTP-Posting-Host: plane.gmane.org
X-Trace: ger.gmane.org 1453996106 5444 80.91.229.3 (28 Jan 2016 15:48:26 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Thu, 28 Jan 2016 15:48:26 +0000 (UTC)
Cc: schwab@suse.de, p.stephani2@gmail.com, mail@nicolasgoaziou.fr,
	emacs-devel@gnu.org
To: Stephen Berman <stephen.berman@gmx.net>
Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Thu Jan 28 16:48:21 2016
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 plane.gmane.org with esmtp (Exim 4.69)
	(envelope-from <emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org>)
	id 1aOoo0-0007xn-4F
	for ged-emacs-devel@m.gmane.org; Thu, 28 Jan 2016 16:48:20 +0100
Original-Received: from localhost ([::1]:57361 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 1aOonz-0002eN-E6
	for ged-emacs-devel@m.gmane.org; Thu, 28 Jan 2016 10:48:19 -0500
Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:51865)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1aOonh-0002Zm-2U
	for emacs-devel@gnu.org; Thu, 28 Jan 2016 10:48:01 -0500
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <eliz@gnu.org>) id 1aOond-0007gc-34
	for emacs-devel@gnu.org; Thu, 28 Jan 2016 10:48:01 -0500
Original-Received: from fencepost.gnu.org ([2001:4830:134:3::e]:53934)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <eliz@gnu.org>)
	id 1aOond-0007gY-0W; Thu, 28 Jan 2016 10:47:57 -0500
Original-Received: from 84.94.185.246.cable.012.net.il ([84.94.185.246]:2657
	helo=HOME-C4E4A596F7)
	by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_128_CBC_SHA1:128)
	(Exim 4.82) (envelope-from <eliz@gnu.org>)
	id 1aOonc-0003Xx-4w; Thu, 28 Jan 2016 10:47:56 -0500
In-reply-to: <871t929f1e.fsf@gmx.net> (message from Stephen Berman on Thu, 28
	Jan 2016 11:25:33 +0100)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Received-From: 2001:4830:134:3::e
X-BeenThere: emacs-devel@gnu.org
X-Mailman-Version: 2.1.14
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-bounces+ged-emacs-devel=m.gmane.org@gnu.org
Xref: news.gmane.org gmane.emacs.devel:198948
Archived-At: <http://permalink.gmane.org/gmane.emacs.devel/198948>

> From: Stephen Berman <stephen.berman@gmx.net>
> Date: Thu, 28 Jan 2016 11:25:33 +0100
> Cc: Philipp Stephani <p.stephani2@gmail.com>,
> 	Nicolas Goaziou <mail@nicolasgoaziou.fr>, emacs-devel@gnu.org
> 
> In contrast, `member' (and `memql' in the float case) has no check
> and also uses a for-loop with the condition CONSP (tail), and when
> this fails, the function just returns Qnil.  Adding CHECK_LIST
> (list) before the for-loop makes (member 'a 'b) signal an error.

I'd say CHECK_LIST_CONS, not CHECK_LIST, don't you agree?