X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=inline;f=src%2Fcode%2Ftarget-type.lisp;h=fcbc47983a1f2eb1d57b5442e0dae255e1b75b3f;hb=f143939b1dbaf38ebd4f92c851fbc4ecddf37af1;hp=1bd5d47d679ae97209cb84b8d916de8c80fd446a;hpb=dec94b039e8ec90baf21463df839a6181de606f6;p=sbcl.git diff --git a/src/code/target-type.lisp b/src/code/target-type.lisp index 1bd5d47..fcbc479 100644 --- a/src/code/target-type.lisp +++ b/src/code/target-type.lisp @@ -63,7 +63,7 @@ #'ctypep obj (compound-type-types type))) - (function-type + (fun-type (values (functionp obj) t)) (unknown-type (values nil nil)) @@ -127,8 +127,8 @@ (layout-class (layout-of object))) ;;; Pull the type specifier out of a function object. -(defun extract-function-type (fun) - (specifier-type (%function-type (%closure-function fun)))) +(defun extract-fun-type (fun) + (specifier-type (%simple-fun-type (%closure-fun fun)))) ;;;; miscellaneous interfaces @@ -160,7 +160,7 @@ (function (if (funcallable-instance-p x) (sb!xc:class-of x) - (extract-function-type x))) + (extract-fun-type x))) (symbol (make-member-type :members (list x))) (number