SBCL 注意：类型断言太复杂，无法检查

问题描述

在解读 SBCL 编译器消息时遇到问题：

; in: DEFUN PURIFY-FILE
;     (DEFUN DEPENDENCIES::PURIFY-FILE (DEPENDENCIES::FILE)
;       "Transforms problematic symbols to benign NIL in file,before reading.
;      Returns a string of altered file content."
;       (LET ((DEPENDENCIES::FILE-STRING
;              (ALEXANDRIA:READ-FILE-INTO-STRING DEPENDENCIES::FILE))
;             (DEPENDENCIES::MODIFIED-FILE-STRING ""))
;         (SETF DEPENDENCIES::MODIFIED-FILE-STRING
;                 (CL-PPCRE:REGEX-REPLACE-ALL "[ trn]'[A-Za-z0-9!@$%&*_+:=<.>/?-]+"
;                                             DEPENDENCIES::FILE-STRING " NIL"))
;         (CL-PPCRE:REGEX-REPLACE-ALL
;          "[(][qQ][uU][oO][tT][eE][ trn]+[A-Za-z0-9!@$%&*_+:=<.>/?-]+[)]"
;          DEPENDENCIES::MODIFIED-FILE-STRING "NIL")))
; --> PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA
; ==>
;   #'(SB-INT:NAMED-LAMBDA DEPENDENCIES::PURIFY-FILE
;         (DEPENDENCIES::FILE)
;       (DECLARE (SB-C::TOP-LEVEL-FORM))
;       "Transforms problematic symbols to benign NIL in file,before reading.
;    Returns a string of altered file content."
;       (BLOCK DEPENDENCIES::PURIFY-FILE
;         (LET ((DEPENDENCIES::FILE-STRING #)
;               (DEPENDENCIES::MODIFIED-FILE-STRING ""))
;           (SETF DEPENDENCIES::MODIFIED-FILE-STRING #)
;           (CL-PPCRE:REGEX-REPLACE-ALL
;            "[(][qQ][uU][oO][tT][eE][ trn]+[A-Za-z0-9!@$%&*_+:=<.>/?-]+[)]"
;            DEPENDENCIES::MODIFIED-FILE-STRING "NIL"))))
;
; note: type assertion too complex to check:
; (VALUES STRING &OPTIONAL BOOLEAN &REST T).

我对这个函数的规范是 (declaim (ftype (function (pathname) (values string (member NIL T))) purify-file))

是关于 CL-PPCRE:REGEX-REPLACE-ALL 返回多个值吗？如果是这样，您如何使用 ftype 来指定所有多个值的类型——在这种情况下是 string & NIL 或 T？谢谢。

解决方法

确实，正如消息所示，类型规范 (values string (member NIL T)) 对于 SBCL 来说太复杂了。将 typespec 更改为 (values t t) 有效。