(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))
;;; a valid argument to a stream function
(sb!xc:deftype stream-designator () '(or stream (member nil t)))
+;;; something valid as the :EXTERNAL-FORMAT argument to OPEN, LOAD,
+;;; COMPILE-FILE and friends.
+(sb!xc:deftype external-format-designator ()
+ '(or keyword (cons keyword)))
+
;;; an object suitable for input to standard functions that accept
;;; "environment objects" (of the ANSI glossary)
(sb!xc:deftype lexenv-designator () '(or lexenv null))