From: Christophe R. <cs...@ca...> - 2003-05-09 00:55:03
|
Todd Sabin <ts...@op...> writes: > I'm not so sure. The CLHS page for Declaration TYPE has this to say: > > Within the lexical scope of an array type declaration, all > references to array elements are assumed to satisfy the expressed > array element type (as opposed to the upgraded array element > type). A compiler can treat the code within the scope of the array > type declaration as if each access of an array element were > surrounded by an appropriate the form. Oh, great! :-) I'd never absorbed that passage before. At least this seems to give some latitude for implementing what is demonstrably user-requested behaviour. There's at least a chance that it can be made to work consistently, too, but it'll take some thinking, I should think. 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) |