Unused variable error encourages additionally declaring the function name to be unused.

[Izaakwltn]

(coalton-toplevel
  (declare eeqq (UFix -> Boolean))
  (define (eeqq x)
    True))

Returns the error:

COMMON-LISP:WARNING: warn: Unused variable
  --> unification.lisp:4:16
   |
 4 |    (define (eeqq x)
   |                  ^ variable defined here
help: prefix the variable with '_' to declare it unused
 4 |   (define (eeqq _x)
   |                 --


; file: /var/tmp/slimeQmDiZ6
; in: COALTON-TOPLEVEL (DECLARE EEQQ (UFIX -> BOOLEAN))
;     (COALTON:COALTON-TOPLEVEL
;       (COALTON:DECLARE COALTON-USER::EEQQ
;                        (COALTON:UFIX COALTON:-> COALTON:BOOLEAN))
;       (COALTON:DEFINE (COALTON-USER::EEQQ COALTON-USER::X)
;         COALTON:TRUE))
; 
; caught COMMON-LISP:STYLE-WARNING:
;   warn: Unused variable
;     --> unification.lisp:4:15
;      |
;    4 |    (define (eeqq x)
;      |                 ^ variable defined here
;   help: prefix the variable with '_' to declare it unused
;    4 |   (define (eeqq_ x)
;      |                --
;   
; 
; compilation unit finished
;   caught 1 STYLE-WARNING condition