From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Monnier 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 16:47:36 +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 1282231026 1787 80.91.229.12 (19 Aug 2010 15:17:06 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 19 Aug 2010 15:17:06 +0000 (UTC) Cc: MON KEY , 6878@debbugs.gnu.org To: Andreas Schwab Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Aug 19 17:17:05 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 1Om6rX-0003Wf-61 for geb-bug-gnu-emacs@m.gmane.org; Thu, 19 Aug 2010 17:17:03 +0200 Original-Received: from localhost ([127.0.0.1]:41878 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Om6rW-0003qb-8L for geb-bug-gnu-emacs@m.gmane.org; Thu, 19 Aug 2010 11:17:02 -0400 Original-Received: from [140.186.70.92] (port=36168 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Om6nr-0001Gm-Tw 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 1Om6jo-0003tE-VU for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 11:09:05 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:47564) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Om6jo-0003t8-Ss for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 11:09:04 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1Om6OT-00079p-V6; Thu, 19 Aug 2010 10:47:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Monnier 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 14:47: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.128222919427493 (code B ref 6878); Thu, 19 Aug 2010 14:47:01 +0000 Original-Received: (at 6878) by debbugs.gnu.org; 19 Aug 2010 14:46:34 +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 1Om6O1-00079O-JP for submit@debbugs.gnu.org; Thu, 19 Aug 2010 10:46:33 -0400 Original-Received: from impaqm2.telefonica.net ([213.4.138.2]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Om6Nz-00079G-0C for 6878@debbugs.gnu.org; Thu, 19 Aug 2010 10:46:31 -0400 Original-Received: from IMPmailhost4.adm.correo ([10.20.102.125]) by IMPaqm2.telefonica.net with bizsmtp id wD9l1e00A2iL0W23MEndJM; Thu, 19 Aug 2010 16:47:37 +0200 Original-Received: from ceviche.home ([83.61.35.93]) by IMPmailhost4.adm.correo with BIZ IMP id wEnc1e00320aCvn1kEncqK; Thu, 19 Aug 2010 16:47:37 +0200 X-Brightmail-Tracker: AAAAAA== X-TE-authinfo: authemail="monnier$movistar.es" |auth_email="monnier@movistar.es" X-TE-AcuTerraCos: auth_cuTerraCos="cosuitnetc01" Original-Received: by ceviche.home (Postfix, from userid 20848) id 43A81660E9; Thu, 19 Aug 2010 16:47:36 +0200 (CEST) In-Reply-To: (Andreas Schwab's message of "Thu, 19 Aug 2010 10:42:02 +0200") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.11 Precedence: list Resent-Date: Thu, 19 Aug 2010 10:47: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:39630 Archived-At: >> 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. Stefan