Spurious warning in a DEFSTRUCT edge case

[Adlai Chandrasekhar]

This code should compile cleanly, but there's a warning:

* (defstruct (foo (:constructor make-foo (&aux x)))
    (x nil :type fixnum))
; in: LAMBDA NIL
; (SB-INT:NAMED-LAMBDA MAKE-FOO
; (&AUX X)
; (DECLARE)
; (BLOCK MAKE-FOO
; (SB-KERNEL::%MAKE-STRUCTURE-INSTANCE-MACRO
; #<SB-KERNEL:DEFSTRUCT-DESCRIPTION FOO> 'NIL)))
; ==>
; #'(SB-INT:NAMED-LAMBDA MAKE-FOO
; (&AUX X)
; (DECLARE)
; (BLOCK MAKE-FOO
; (SB-KERNEL::%MAKE-STRUCTURE-INSTANCE-MACRO
; #<SB-KERNEL:DEFSTRUCT-DESCRIPTION FOO> 'NIL)))
;
; caught STYLE-WARNING:
; The variable X is defined but never used.
;
; compilation unit finished
; caught 1 STYLE-WARNING condition

FOO

Attached is a quick patch to src/code/defstruct.lisp.

[Nikodemus Siivola (nikodemus)]

  status fixcommited

Thanks for the patch! In SBCL 1.0.36.22.

[Nikodemus Siivola (nikodemus)]

 status fixcommitted

Thanks for the patch! In SBCL 1.0.36.22.