Wolfgang Jenkner <wjenkner@inode.at> writes:
> Thanks for pointing out that the most recent CVS sbcl doesn't show
> the bug I described.
You're welcome.
Now, unfortunately, I'm picking up yet another problem: this one is in
src/grind.lisp:
(declare-top (GENPREFIX GRI)
(SPECIAL LOP ROP STRING CHRPS $ALIASES ALIASLIST LINEL)
(FIXNUM (CHRCT))
(*EXPR LBP RBP))
Declaring STRING to be globally special is a no-no according to the
ANSI specification (CLHS 11.1.2.1.2 point 10), and in this case causes
SBCL to say (some time later, while compiling DEFUN TEX-STRIPDOLLAR)
debugger invoked on condition of type SB-INT:BUG:
full call to SB-KERNEL:DATA-VECTOR-REF
This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
corrupted by bad user code, e.g. by an undefined Lisp operation like
(FMAKUNBOUND 'COMPILE), [...]
because the global declaration has wrecked the type-inferencing
ability that SBCL has on its internal compiler transforms that use the
STRING variable name.
Cheers,
Christophe
--
http://www-jcsu.jesus.cam.ac.uk/~csr21/ +44 1223 510 299/+44 7729 383 757
(set-pprint-dispatch 'number (lambda (s o) (declare (special b)) (format s b)))
(defvar b "~&Just another Lisp hacker~%") (pprint #36rJesusCollegeCambridge)