X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fvmdef.lisp;h=3b6fb422cca94c841da9b95452c316493d102f6d;hb=85c1cf858999279da6f4f470c4f3c582ad9f2dbf;hp=d4e0595425f53fe1e178ec29931ff057296b85c2;hpb=8731c1a7c1a585d190151fa881050fb5e14c0616;p=sbcl.git diff --git a/src/compiler/vmdef.lisp b/src/compiler/vmdef.lisp index d4e0595..3b6fb42 100644 --- a/src/compiler/vmdef.lisp +++ b/src/compiler/vmdef.lisp @@ -47,7 +47,7 @@ ;;;; side effect classes -(def-boolean-attribute vop +(!def-boolean-attribute vop any) ;;;; move/coerce definition @@ -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)