asp@CS.CMU.EDU (James Aspnes) (08/15/89)
E.g: (defstruct foo bar) (defstruct (bar :include foo)) (foo-bar (make-bar)) => Error: [bar nil] is not of type foo even though CLtL clearly specifies that this should work. Since CLtL does not require that defstruct accessors check the type of their arguments, the above is easily brought into compliance (and sped up) by eliminating the type-checking code. I don't know how close you want cl.el to be to standard Common Lisp, but if you want I can send you a replacement for build$accessors$for that doesn't do type-checking. --Jim