master: Better ftype for compiler-macro-function

The branch "master" has been updated in SBCL:
       via  57c047b5d5e3f8a0543b6cd30cb80bd56c495618 (commit)
      from  84d567275cae72917dba852b9a68e9a606290cf2 (commit)

- Log -----------------------------------------------------------------
commit 57c047b5d5e3f8a0543b6cd30cb80bd56c495618
Author: Stas Boukarev <[email protected]>
Date:   Fri Apr 10 19:56:10 2026 +0300

    Better ftype for compiler-macro-function
---
 src/code/macroexpand.lisp | 1 +
 src/compiler/fndb.lisp    | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/code/macroexpand.lisp b/src/code/macroexpand.lisp
index 06afb7519..2a358f468 100644
--- a/src/code/macroexpand.lisp
+++ b/src/code/macroexpand.lisp
@@ -158,6 +158,7 @@
 (defun compiler-macro-function (name &optional env)
   "If NAME names a compiler-macro in ENV, return the expansion function, else
 return NIL. Can be set with SETF when ENV is NIL."
+  (declare (explicit-check name))
   (legal-fun-name-or-type-error name)
   ;; CLHS 3.2.2.1: Creating a lexical binding for the function name
   ;; not only creates a new local function or macro definition, but
diff --git a/src/compiler/fndb.lisp b/src/compiler/fndb.lisp
index 031f225ca..25e01ad51 100644
--- a/src/compiler/fndb.lisp
+++ b/src/compiler/fndb.lisp
@@ -142,9 +142,9 @@
     (t &optional lexenv-designator)
   (values form &optional boolean))
 
-(defknown compiler-macro-function (t &optional lexenv-designator)
+(defknown compiler-macro-function ((or symbol cons) &optional lexenv-designator)
   (or function null)
-  (flushable))
+  ())
 
 ;;;; from the "Declarations" chapter:
 

-----------------------------------------------------------------------


hooks/post-receive
-- 
SBCL