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 17:51:51 +0200 Message-ID: References: NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1282235604 2757 80.91.229.12 (19 Aug 2010 16:33:24 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 19 Aug 2010 16:33:24 +0000 (UTC) Cc: 6878@debbugs.gnu.org To: MON KEY Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane.org@gnu.org Thu Aug 19 18:33:22 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 1Om83M-0008TO-Vm for geb-bug-gnu-emacs@m.gmane.org; Thu, 19 Aug 2010 18:33:21 +0200 Original-Received: from localhost ([127.0.0.1]:42999 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Om7hE-0006pa-G8 for geb-bug-gnu-emacs@m.gmane.org; Thu, 19 Aug 2010 12:10:28 -0400 Original-Received: from [140.186.70.92] (port=43100 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1Om7fx-00069V-5t for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 12:09:10 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.69) (envelope-from ) id 1Om7fp-00062k-6T for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 12:09:03 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:41256) by eggs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Om7fp-00062g-53 for bug-gnu-emacs@gnu.org; Thu, 19 Aug 2010 12:09:01 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.69) (envelope-from ) id 1Om7OQ-0007cA-IX; Thu, 19 Aug 2010 11:51:02 -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 15:51:02 +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.128223305929263 (code B ref 6878); Thu, 19 Aug 2010 15:51:02 +0000 Original-Received: (at 6878) by debbugs.gnu.org; 19 Aug 2010 15:50:59 +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 1Om7ON-0007bw-6D for submit@debbugs.gnu.org; Thu, 19 Aug 2010 11:50:59 -0400 Original-Received: from impaqm5.telefonica.net ([213.4.138.5]) by debbugs.gnu.org with esmtp (Exim 4.69) (envelope-from ) id 1Om7OK-0007br-KJ for 6878@debbugs.gnu.org; Thu, 19 Aug 2010 11:50:57 -0400 Original-Received: from IMPmailhost6.adm.correo ([10.20.102.127]) by IMPaqm5.telefonica.net with bizsmtp id wErq1e00A2kvMAa3RFrstb; Thu, 19 Aug 2010 17:51:52 +0200 Original-Received: from ceviche.home ([83.61.35.93]) by IMPmailhost6.adm.correo with BIZ IMP id wFrr1e00620aCvn1mFrrjQ; Thu, 19 Aug 2010 17:51:52 +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 30B22660E9; Thu, 19 Aug 2010 17:51:51 +0200 (CEST) In-Reply-To: (MON KEY's message of "Thu, 19 Aug 2010 10:13:42 -0400") 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 11:51:02 -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:39633 Archived-At: >>> ,---- (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. > Prove it! Easy! formally, he said: =E2=88=80 n =E2=89=A5 0 =E2=88=A7 n < 0. (aref (make-bool-vector 0 t) n) = =E2=88=88 { nil, t } And since there is no such `n', this is trivially true. More specifically, "n =E2=89=A5 0 =E2=88=A7 n < 0" is a falsehood, and from= false you can conclude anything you wish. Among other things you can just a trivially prove: =E2=88=80 n =E2=89=A5 0 =E2=88=A7 n < 0. the sky is green -- Stefan