wanted: (declaim (optimize sb-ext:type-check-clos-slots))

Bug #485718 reported by Tobias C. Rittweiler on 2009-11-20
This bug affects 2 people
Affects Status Importance Assigned to Milestone

Bug Description

I'd like to have a global declaration that I can switch on so CLOS slot accessors
will respect the :TYPE argument in slot-definitions.

Having to manually wrap each DEFCLASS form in an
(LOCALLY (DECLARE (OPTIMIZE SAFETY)) ...) is rather cumbersome. Same
for globally setting SAFETY as high.

Changed in sbcl:
status: New → Confirmed
importance: Undecided → Wishlist
tags: added: easy pcl
Gustavo (gugamilare) wrote :

I've made an attempt to fix this bug.

I changed the declaration in the file "tests/clos-typechecking.impure.lisp" and all tests passed :)

I also changed the file "src/code/cross-misc.lisp". It isn't really necessary, but it's harmless nevertheless.

Let me know if I missed something.

Changed in sbcl:
status: Confirmed → In Progress
Gustavo (gugamilare) on 2012-02-23
tags: added: review
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers