[Sbcl-devel] clos typechecking

[Robert B. <br...@go...>]

I add type declarations to almost all of my CLOS slot definitions and I'd
like to see the compiler make maximal use of this information.

Debugging is harder when slot assignments are not type checked, since bad
slot assignments can persist for some time before they cause problems.  I'd
also like the compiler to use slot type knowledge while optimizing and type
checking expressions.  I know this isn't straightforward.

            bob