X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fvop.lisp;h=159900f717c485e44e4f5fef0f08bf2017450476;hb=b7192afcef9bbfd3fe1a4e2bfe3c73f853d164d1;hp=fca025a9e327d48abd54ded8e1097b984f9f9be1;hpb=a7c2a16d0c2be6709becc962be1cb5e0aeda68c6;p=sbcl.git

diff --git a/src/compiler/vop.lisp b/src/compiler/vop.lisp
index fca025a..159900f 100644
--- a/src/compiler/vop.lisp
+++ b/src/compiler/vop.lisp
@@ -47,7 +47,7 @@
   (scs nil :type list)
   ;; the Lisp type equivalent to this type. If this type could never be
   ;; returned by PRIMITIVE-TYPE, then this is the NIL (or empty) type
-  (type (missing-arg) :type ctype)
+  (specifier (missing-arg) :type type-specifier)
   ;; the template used to check that an object is of this type. This is a
   ;; template of one argument and one result, both of primitive-type T. If
   ;; the argument is of the correct type, then it is delivered into the
@@ -500,7 +500,7 @@
   ;; the arg/result type restrictions. We compute this from the
   ;; PRIMITIVE-TYPE restrictions to make life easier for IR1 phases
   ;; that need to anticipate LTN's template selection.
-  (type (missing-arg) :type fun-type)
+  (type (missing-arg) :type ctype)
   ;; lists of restrictions on the argument and result types. A
   ;; restriction may take several forms:
   ;; -- The restriction * is no restriction at all.