wanted: style-warning about the undefined predicate in SATISFIES

[Roman Marynchak]

In SBCL 1.0.38, this code

(defun p(s)
   (declare ((satisfies even) s))
    (+ s 2))

compiles silently and then fails to execute, because there is a typo in EVENP in this example:

debugger invoked on a UNDEFINED-FUNCTION in thread #<THREAD
                                                     "initial thread" RUNNING
                                                     {A9EB801}>:
  The function EVEN is undefined.

It would be nice to have a style-warning, like here:

(defun d(i) (even i))

; in: LAMBDA NIL
; (EVEN I)
;
; caught STYLE-WARNING:
; undefined function: EVEN
;
; compilation unit finished
; Undefined function:
; EVEN
; caught 1 STYLE-WARNING condition

Regards,
Roman