X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fdeftypes-for-target.lisp;h=d26547fdaa7aac49339a937f5865625f7f48630f;hb=95591ed483dbb8c0846c129953acac1554f28809;hp=8a066f54ff084b58fd015dc9d8ebb26e1f32cbda;hpb=970dd272dc84f7420252eadb4829cc193f795716;p=sbcl.git diff --git a/src/code/deftypes-for-target.lisp b/src/code/deftypes-for-target.lisp index 8a066f5..d26547f 100644 --- a/src/code/deftypes-for-target.lisp +++ b/src/code/deftypes-for-target.lisp @@ -56,9 +56,6 @@ (sb!xc:deftype bit () '(integer 0 1)) -(sb!xc:deftype compiled-function () - '(and function #!+sb-eval (not sb!eval:interpreted-function))) - (sb!xc:deftype atom () '(not cons)) (sb!xc:deftype base-char () @@ -157,7 +154,8 @@ (sb!xc:deftype char-code () `(integer 0 (,sb!xc:char-code-limit))) ;;; a consed sequence result. If a vector, is a simple array. -(sb!xc:deftype consed-sequence () '(or list (simple-array * (*)))) +(sb!xc:deftype consed-sequence () + '(or (simple-array * (*)) list extended-sequence)) ;;; the :END arg to a sequence (sb!xc:deftype sequence-end () '(or null index))