Comment 8 for bug 942237
Revision history for this message
| Christophe Rhodes (csr21-cantab) wrote Re: [Bug 942237] Re: FILTER-DOLIST-DECLARATIONS braindamaged | #8 |
© 2004
Canonical Ltd.
•
Terms of use
•
Data privacy
•
Contact Launchpad Support
•
Blog
•
Careers
•
System status
•
5466644
demo site
(Get the code!)
Stas Boukarev <email address hidden> writes:
> What about amending type declarations with (or null original-
> declaration)?
That potentially makes the loop less efficient (more typechecking,
possible extra dispatches / lack of inlining). Also, we can't a priori
tell what is a type declaration of a user-defined type (in the short
form) and what is a magical declaration in the cltl2 sense.
The Right Thing is that the user code is broken. The fact that this has
caused a user to raise a bug asserting that our implementation is broken
suggests that we either need to perfect the illusion of doing what the
user meant in all cases, or aggressively assert that the user code is
broken -- and I don't think that we can perfect the illusion.