从Quicklisp包中的宏调用函数

时间:2015-04-04 02:32:39

标签: macros lisp common-lisp ccl

我把 failing.asd

(in-package :asdf-user)                    

(defsystem "failing"                       
  :description "some code destined to fail"
  :version "0.1"                           
  :author "me"                      
  :components ((:file "package")))         

package.lisp

(defpackage :failing  
  (:export :foo :bar))

(in-package :failing) 

(defun foo () 42)     

(defmacro bar ()      
  (let ((x (foo)))    
    `(print ,x)))     

(bar)                 

进入〜/ quicklisp / local-projects / faileding 。使用安装了Quicklisp的Clozure CL,我运行

(ql:quickload :failing)

给了我

To load "failing":
  Load 1 ASDF system:
    failing
; Loading "failing"
[package failing]
> Error: Undefined function FOO called with arguments () .
> While executing: BAR, in process listener(1).
> Type :GO to continue, :POP to abort, :R for a list of available restarts.
> If continued: Retry applying FOO to NIL.
> Type :? for other options.

似乎我无法从包内的宏调用函数。为什么不呢?

1 个答案:

答案 0 :(得分:6)

只有在加载之前编译文件时才会发生这种情况。通常它与ASDF(管理文件依赖性和编译/加载代码的工具)或包(它们是名称空间,与ASDF没有任何关系)无关。

它与Common Lisp

中文件编译的工作方式有关

文件编译器看到函数foo并编译它 - >它的代码被写入文件。 它不会(!)将代码加载到编译时环境中。

文件编译器然后看到宏栏并编译它 - >代码被写入文件。 它(!)将代码加载到编译时环境中。

文件编译器然后会看到宏形式(bar)并想要展开它。它调用宏函数bar。哪个调用foo,这是未定义的,因为它不在编译时环境中。

<强>解决方案

  • 将函数定义放在ASDF系统的单独文件中,然后再编译/加载它。

  • 将函数放在宏中作为本地函数

  • (EVAL-WHEN (:COMPILE-TOPLEVEL :LOAD-TOPLEVEL :EXECUTE) ...)放在函数定义周围。它导致定义在编译时执行。

记住文件编译器需要知道宏功能 - &gt;否则它将无法宏扩展代码。普通函数只是编译,但在编译文件时没有在编译时加载。