From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andreas Schwab Newsgroups: gmane.emacs.bugs Subject: bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element Date: Thu, 19 Aug 2010 17:04:41 +0200 Message-ID: References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1282231000 1568 80.91.229.12 (19 Aug 2010 15:16:40 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 19 Aug 2010 15:16:40 +0000 (UTC) Cc: MON KEY , 6878@debbugs.gnu.org To: Stefan Monnier Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Aug 19 17:16:38 2010 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1Om6r3-0003G9-Rt for geb-bug-gnu-emacs@m.gmane.org; Thu, 19 Aug 2010 17:16:34 +0200 Original-Received: from localhost ([127.0.0.1]:41551 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Om6r2-0003ZV-Bi for geb-bug-gnu-emacs@m.gmane.org; Thu, 19 Aug 2010 11:16:32 -0400 Original-Received: from [140.186.70.92] (port=36347 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Om6ns-0001Yn-QK for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 11:13:18 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1Om6jj-0003ro-Rr for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 11:09:01 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:47554) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Om6jj-0003rd-O0 for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 11:08:59 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1Om6ev-0007Gg-W5; Thu, 19 Aug 2010 11:04:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Andreas Schwab Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-To: owner@debbugs.gnu.org Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Thu, 19 Aug 2010 15:04:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 6878 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: Original-Received: via spool by 6878-submit@debbugs.gnu.org id=B6878.128223021927929 (code B ref 6878); Thu, 19 Aug 2010 15:04:01 +0000 Original-Received: (at 6878) by debbugs.gnu.org; 19 Aug 2010 15:03:39 +0000 Original-Received: from localhost ([127.0.0.1] helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Om6eY-0007GQ-Mg for submit@debbugs.gnu.org; Thu, 19 Aug 2010 11:03:38 -0400 Original-Received: from mail-out.m-online.net ([212.18.0.10]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Om6eW-0007GL-4w for 6878@debbugs.gnu.org; Thu, 19 Aug 2010 11:03:36 -0400 Original-Received: from frontend1.mail.m-online.net (unknown [192.168.8.180]) by mail-out.m-online.net (Postfix) with ESMTP id 8D3A21C0042A; Thu, 19 Aug 2010 17:04:42 +0200 (CEST) Original-Received: from hase.home (ppp-93-104-135-151.dynamic.mnet-online.de [93.104.135.151]) by mail.mnet-online.de (Postfix) with ESMTP id 11EA31C00334; Thu, 19 Aug 2010 17:04:41 +0200 (CEST) X-Yow: Yes, Private DOBERMAN!! In-Reply-To: (Stefan Monnier's message of "Thu, 19 Aug 2010 16:47:36 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Thu, 19 Aug 2010 11:04:01 -0400 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 3) 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: , Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.bugs:39629 Archived-At: Stefan Monnier writes: >>> Maybe, but this is not what the manual has to say of the particular type of >>> array that is a bool-vector, again (note the "must"): >>> ,---- (info "(elisp)Bool-Vector Type") >>> | "A "bool-vector" is a one-dimensional array of elements that must be `t' >>> | or `nil'." >> All elements of (make-bool-vector 0 t) are either t or nil. > > Indeed, this is trivially (and vacuously) true. Actually, we can even > say that all elements of a 0-length vector (bool or not) are both nil > and t at the same time. As long as you don't look at them ;-) Andreas. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 58CA 54C7 6D53 942B 1756 01D3 44D5 214B 8276 4ED5 "And now for something completely different."