[armedbear-devel] compiler macro, flet, inline => Failed AVER: "NIL"

James M. Lawrence llmjjmll at gmail.com
Sun Dec 2 18:59:48 UTC 2012

Armed Bear Common Lisp 1.2.0-dev-svn-14276
Java 1.7.0_04 Oracle Corporation

The warning and error occurs on the second COMPILE call. The AVER is

(defun foo (n) n)

(define-compiler-macro foo (n)
  `(flet ((bar (k) k))
     (declare (inline bar))
     (bar ,n)))

(compile nil '(lambda () (foo 3)))
(compile nil '(lambda () (foo 3)))

;   The variable K is defined but never used.

compile-var-ref general case

; Compilation unit finished
;   Caught 1 STYLE-WARNING condition

=> Failed AVER: "NIL" [Condition of type SIMPLE-ERROR]

More information about the armedbear-devel mailing list