X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fvmdef.lisp;h=3b6fb422cca94c841da9b95452c316493d102f6d;hb=1d46d379bb7a6424524b978f213ef69be5f1ad69;hp=75e2ff2e3ebf304c98a1ce57312abbe27055a991;hpb=cf607a404d7518e8a18c9e362913f370eb9a5e38;p=sbcl.git diff --git a/src/compiler/vmdef.lisp b/src/compiler/vmdef.lisp index 75e2ff2..3b6fb42 100644 --- a/src/compiler/vmdef.lisp +++ b/src/compiler/vmdef.lisp @@ -199,7 +199,7 @@ #'<= :key #'template-cost)) -;;; Return a function type specifier describing Template's type computed +;;; Return a function type specifier describing TEMPLATE's type computed ;;; from the operand type restrictions. (defun template-type-specifier (template) (declare (type template template)) @@ -208,10 +208,7 @@ (if (eq x '*) t (ecase (first x) - (:or `(or ,@(mapcar (lambda (type) - (type-specifier - (primitive-type-type - type))) + (:or `(or ,@(mapcar #'primitive-type-specifier (rest x)))) (:constant `(constant-arg ,(third x))))))) `(,@(mapcar #'frob types)