compilation - 编译器的信号和错误之间的区别 (sbcl 1.2.4)

Question

我从 SBCL 编译器中得到了奇怪的错误，所以可能有人可以向我解释那里发生了什么。有关该软件包使用 optima 和 drakma 的信息。我真的试图缩小发布的代码，但理解问题需要这个数量。

(defun signal-vk-error (code)
  (error ;; <--- HERE IS THING
    (case code
      (100 'parse-error)
      (otherwise 'error))))

(defmacro match-with-error (response matcher)
  `(match ,response
         ((alist (:ERROR . code))
          (signal-vk-error code))
         ,matcher))

(defun api-call-response (resp)
  (match-with-error
    resp
    ((alist (:RESPONSE . data)) data)))

编译我得到的这个文件:

; caught ERROR:
;   don't know how to dump CODE (default MAKE-LOAD-FORM method called).
Unhandled TYPE-ERROR in thread #<SB-THREAD:THREAD "main thread" RUNNING
                                  {1002BF6F03}>:
  The value NIL is not of type (AND ATOM (NOT NULL)).

所以看起来 sbcl (1.2.4) 无法创建二进制表示，但我无法理解为什么。

如果我只是在 signal-vk-error 中将 ERROR 更改为 SIGNAL - 一切都会按预期进行编译、加载和工作。我也可以只在 slime 和 eval 中加载文件，它会在没有错误和警告的情况下工作。

那么，问题来了，error有什么问题？ error 和 signal 之间的主要区别是什么？

更新 1: 有趣的观察，如果我删除 signal-vk-error 函数，并将这段代码放在宏定义中，它会编译正常。

更新 2:感谢@RainerJoswig，声明 signal-vk-error 不被内联修复了这个问题。 Reported to SBCL team ，看起来他们做了一些优化，在这种情况下破坏了编译。

Answer 1

重现问题的最小方法:

(defun signal-vk-error ()
  (error 'error))

(defun api-call-response ()
  (optima:match 1
    ((not 2)
     (signal-vk-error))))

如果我宏展开或遍历 match 表单，问题就会消失。

以下也使问题消失。

(declaim (notinline error))