[Ecls-list] "In function TEST, checking types of arguments FN."

[Tobias C. Rittweiler]

(defun test (fn)
  (declare (type function fn))
  fn)

;;; Compiling /tmp/frob.lisp.
;;; OPTIMIZE levels: Safety=3, Space=0, Speed=1, Debug=3
;;; Compiling (DEFUN TEST ...).
;;; Note: in file /tmp/frob.lisp, position 0, and form 
;;;   (FSET 'TEST #'(LAMBDA-BLOCK TEST # ...))
;;; In function TEST, checking types of arguments FN.
;;; End of Pass 1.
;;; Emitting code for TEST.
;;; Note: Invoking external command:
;;;   gcc "-I/home/tcr/software/ecl-git/include/"  -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -g -O2 -fPIC  -D_THREAD_SAFE -Dlinux  -w -c "/tmp/frob.c" -o "/tmp/frob.o"
;;; Note: Invoking external command:
;;;   gcc -o "/tmp/frob.fas" -L"/home/tcr/software/ecl-git/lib/" "/tmp/frob.o"   -shared    -lecl  -lgmp -lpthread -ldl  -lm 
;;; Finished compiling /tmp/frob.lisp.

What's the point of that note?

Another thing: 

I find the "Invoking external command" notes just noise.

I would prefer it if *compile-verbose* can be bound to an integer
indicating the wished verbosity level. (That seems like a compatible
extension to how CLHS specifies *compile-verbose*)

Further: With *compile-verbose* of 0 (preferably the default), these
notes are not printed. Neither the "Tail-recursive call of FOO was
replaced by iteration."

  -T.