From: MON KEY <monkey@sandpframing.com>
To: Juanma Barranquero <lekktu@gmail.com>
Cc: cyd@stupidchicken.com, schwab@linux-m68k.org, 6878@debbugs.gnu.org
Subject: bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element
Date: Fri, 20 Aug 2010 14:01:31 -0400 [thread overview]
Message-ID: <AANLkTi=RKbPh8f5GZpR=7QntrC=AHXi7hUvB_kMHDAtW@mail.gmail.com> (raw)
In-Reply-To: <AANLkTimOzyvc8fiNWEmN4GNxkqcGe_Qf-Os3Q51n-UU4@mail.gmail.com>
On Thu, Aug 19, 2010 at 10:23 PM, Juanma Barranquero <lekktu@gmail.com> wrote:
> On Fri, Aug 20, 2010 at 04:01, MON KEY <monkey@sandpframing.com> wrote:
>
>> Emacs lisp doesn't and I can think of no good reasons to create 0
>> length bool-vectors.
>>
>> Can any one else?
>
> Of course. Eliminating special cases, for example.
>
Thank you for taking the time to provide this example. If you look
back you may notice I've already acknowledged that there is indeed
utility in 0 length vectors, e.g.:
,----
| I can imagine there are situations where making 0 length vanilla
| vector has utility because these are "closer" to list representation
| w/re the _type_ of contents they can hold and can be reasonable
| coerced w/ less representational loss of data but this is not the
| case w/ bool-vectors because they are _limited_ by the type of data
| they can represenet.
`----
And, I gave an example of the pathology:
,----
| (let* ((ab (make-bool-vector 1 t))
| (abeq (cons ab ab)))
| (concat (car abeq) (cdr abeq)))
| ;
| ;=> Debugger entered--Lisp error: (wrong-type-argument integerp t)
`----
> (defun split-vec (v p)
> (list (substring v 0 p)
> (substring v p (length v))))
>
Where is the boole-vector ???
(substring (make-bool-vector 18 t) 0)
;=> Debugger entered--Lisp error: (wrong-type-argument arrayp #&18"\377\377\x03")
My question was _specifcally_ w/re to bool-vectors
one _can not_ take the substring of a bool-vector.
> and you can do
>
> (apply 'vconcat (split-vec V N))
>
> for N in -length(V)..length(V) and get back V
FWIW, your friendly (mis)interpreation of the issue helps bolster my
position... Which is (in part) that it isn't at all obvious that a
bool-vector is not _really_ a vector and behaves differently in most
respects from other the vector-likes.
Your example works for neither 0 length bool-vectors:
(apply 'vconcat (split-vec (make-bool-vector 0 t) 9))
;=> Debugger entered--Lisp error: (wrong-type-argument arrayp #&0"")
Nor the less pathological variety:
(apply 'vconcat (split-vec (make-bool-vector 18 t) 9))
;=> Debugger entered--Lisp error: (wrong-type-argument arrayp #&18"\377\377\x03")
>
> Juanma
--
/s_P\
next prev parent reply other threads:[~2010-08-20 18:01 UTC|newest]
Thread overview: 24+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-18 4:19 bug#6878: bool-vectors of length 0 signal error when aref/aset the 0th element MON KEY
2010-08-18 7:36 ` Stefan Monnier
2010-08-19 1:51 ` MON KEY
2010-08-19 8:42 ` Andreas Schwab
2010-08-19 14:13 ` MON KEY
2010-08-19 15:51 ` Stefan Monnier
2010-08-19 17:06 ` MON KEY
2010-08-19 14:47 ` Stefan Monnier
2010-08-19 15:04 ` Andreas Schwab
2010-08-19 16:18 ` Chong Yidong
2010-08-19 17:09 ` MON KEY
2010-08-19 18:40 ` Juanma Barranquero
2010-08-19 23:24 ` Chong Yidong
2010-08-20 2:01 ` MON KEY
2010-08-20 2:23 ` Juanma Barranquero
2010-08-20 18:01 ` MON KEY [this message]
2010-08-20 19:49 ` Juanma Barranquero
2010-08-20 23:06 ` MON KEY
2010-08-20 13:02 ` Stefan Monnier
2010-08-20 18:44 ` MON KEY
2010-08-21 12:40 ` Kevin Rodgers
2010-08-21 15:53 ` Andreas Schwab
2010-08-21 17:02 ` MON KEY
2010-08-18 8:36 ` Andreas Schwab
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
List information: https://www.gnu.org/software/emacs/
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='AANLkTi=RKbPh8f5GZpR=7QntrC=AHXi7hUvB_kMHDAtW@mail.gmail.com' \
--to=monkey@sandpframing.com \
--cc=6878@debbugs.gnu.org \
--cc=cyd@stupidchicken.com \
--cc=lekktu@gmail.com \
--cc=schwab@linux-m68k.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
Code repositories for project(s) associated with this public inbox
https://git.savannah.gnu.org/cgit/emacs.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).