[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th e
From: |
Andreas Schwab |
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 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) |
Stefan Monnier <monnier@iro.umontreal.ca> 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."
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/18
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Stefan Monnier, 2010/08/18
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/18
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Andreas Schwab, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Stefan Monnier, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Stefan Monnier, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element,
Andreas Schwab <=
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Chong Yidong, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Juanma Barranquero, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Chong Yidong, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Juanma Barranquero, 2010/08/19
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/20
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Juanma Barranquero, 2010/08/20
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, MON KEY, 2010/08/20
- bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element, Stefan Monnier, 2010/08/20