[Sbcl-devel] SATISFIES makes vectors hairy

[Cedric St-J. <ced...@gm...>]

1. Under SBCL 1.0.14:

(defun foo (x)
   (declare (type (and simple-bit-vector (satisfies bar)) x)
   (elt x 5))

Under high speed policy, the compiler treats x as an hairy vector, so
it's slow. Without 'satisfies, it works fine of course. This could be
related to bug 408

2. I have Ubuntu 8.04, AMD64. I'd like to put a maximum size to the
program so that it doesn't hit the virtual memory, so I start with

sbcl --dynamic-space-size 200

When I get close to the 200 MB limit, SBCL gets into an endless loop,
printing the following message over and over again:

"Reached maximum space size during garbage collection; requested 32
bytes, got 0"

(the message is quoted from foggy memory, sorry, I can get the right
one if necessary, but it was clearly from SBCL, and it mentionned the
GC).

The process is then unkillable, which is another semi-frequent issue.
I don't know if that's a bug in Ubuntu, SBCL, or just my Unix skills
being insufficient.

Thanks!

Cédric