(DEFINE-FILE-INFO READTABLE "XCL" PACKAGE "LISP") (il:filecreated "20-Oct-86 11:06:34" ("compiled on " il:{eris}sources>cmltypes.\;14) "19-Oct-86 18:07:50" "COMPILE-FILEd" il:|in| "Xerox Lisp 19-Oct-86 ..." il:|dated| "19-Oct-86 23:28:21") (il:filecreated "20-Oct-86 11:04:16" il:{eris}sources>cmltypes.\;14 47720 il:|changes| il:|to:| (il:fns il:\\typep.pred) il:|previous| il:|date:| "16-Oct-86 16:55:00" il:{eris}sources>cmltypes.\;13) (il:rpaqq il:cmltypescoms ((il:* il:|;;;| "Predicates") (il:functions equal equalp) (il:* il:\; "EQL is now in the init") (il:* il:|;;;| "Typep and friends") (il:functions coerce typecase typep type-of) (il:* il:|;;;| "Optimizers") (il:optimizers coerce il:false il:true typep numberp floatp) (il:* il:\; "Optimize by constant fold and coerce to EQ where possible") (il:prop il:bytemacro equal equalp ) (il:* il:|;;;| "for DEFTYPE") (il:functions deftype il:type-expander il:setf-type-expander) ( il:define-types il:types) (il:setfs il:type-expander) (il:* il:|;;;| "Support functions") (il:fns il:array-type il:false il:symbol-type il:true il:\\range.type) (il:functions numberp floatp) (il:* il:|;;;| "for SUBTYPEP ") (il:functions si::datatype-p si::sub-datatype-p il:sub-subtypep subtypep il:type-expand il:handle-type1-meta-expression il:handle-type2-meta-expression) (il:variables il:%no-super-type il:type-meta-expressions) (il:* il:|;;;| "For TYPEP") (il:fns il:\\typep.pred) ( il:types atom bignum bit character cons double-float fixnum float function hash-table integer keyword list long-float member mod null number package short-float signed-byte standard-char string-char single-float symbol unsigned-byte rational readtable common compiled-function complex sequence) (il:* il:|;;;| "Array Types") (il:types array vector simple-string string simple-array simple-vector bit-vector simple-bit-vector) (il:* il:|;;;| "for TYPE-OF Interlisp types that have different common Lisp names") (il:prop il:cmltype il:character il:fixp il:floatp il:general-array il:listp il:litatom il:oned-array il:smallp il:stringp il:harrayp il:twod-array) (il:prop il:cmlsubtypedescriminator symbol array) (il:* il:|;;;| "tell the filepkg what to do with the \"deftype\" property") (il:coms (il:prop il:proptype deftype)) ( il:* il:|;;;| "Compiler options") (il:prop il:filetype il:cmltypes) (il:declare\: il:donteval@load il:doeval@compile il:dontcopy (il:localvars . t)) (il:declare\: il:donteval@load il:doeval@compile il:dontcopy il:compilervars (il:addvars (il:nlama) (il:nlaml) (il:lama))))) equal il:d1 (il:l (1 il:y 0 il:x)) @A:@1HdAo@A f@A  A T@A Hd 7A @@ YA :4IjJKhii@KAKhihKkԻ A @A (133 il:%pathname-equal 126 pathnamep 80 length 75 length 69 bit-vector-p 62 bit-vector-p 56 string= 49 stringp 44 stringp 40 equal 31 equal) (120 pathname 17 il:listp) () equalp il:d1 (il:l (1 il:y 0 il:x))  @A:@ Hd3A3@A A@A x@A HdGAb@ӹlaIhiIlzhiIl ՀIAӺlaJhiJlzhiJl ՀJ A @A HdA @A  9A @ [A :KjLMhi@MAM hihMkԽH RA @ A @ A _@ j__OOhi=NOOO hiOk_@ _A _O dU_i_@ OA nO(370 equalp 367 il:fetchfield 361 il:fetchfield 342 il:getdescriptors 330 il:typename 324 il:typename 305 equalp 275 array-total-size 267 il:\\flatten-array 263 il:\\flatten-array 257 equal 254 array-dimensions 250 array-dimensions 244 arrayp 238 arrayp 221 equalp 194 length 189 length 183 vectorp 177 vectorp 173 il:%pathname-equal 166 pathnamep 154 string-equal 147 stringp 142 stringp 62 equalp 53 equalp 32 il:%=) (160 pathname 111 il:character 81 il:character 75 il:character 68 il:character 36 il:listp) () coerce il:d1 (il:l (1 il:result-type 0 il:object)) bAdi@g@ AgAgAgAdg@g@dd ʿ @ @@Ag@ oA (95 error 86 map 70 vectorp 65 complex 59 complexp 15 character) (82 identity 77 il:listp 51 complex 47 il:floatp 40 long-float 33 double-float 27 single-float 20 float 9 character) ( 91 "Cannot coerce to type: ~S") (let* ((il:a0299 (quote coerce)) (il:a0300 (quote function)) (il:a0301 "Coerce object to result-type if possible")) (progn (cond ((fboundp (quote il:set-documentation)) ( il:set-documentation il:a0299 il:a0300 il:a0301))) il:a0301)) il:|expand-TYPECASEA0001| il:d1 (il:l (0 form)) 5@dgdiihiggg@hh@donil (29 quote 26 $$type-value 23 typep 5 otherwise) ( 47 (nil)) |expand-TYPECASE| il:d1 (il:l (1 il:$$macro-environment 0 il:$$macro-form)) (@!HHggIhhggJ h(32 mapcar) (28 il:|expand-TYPECASEA0001| 25 cond 16 $$type-value 13 let) () (il:setf-macro-function (quote typecase) (quote |expand-TYPECASE|)) (let* ((il:a0304 (quote typecase)) (il:a0305 (quote function)) (il:a0306 "Type dispatch, order is important, more specific types should appear first")) (progn (cond ((fboundp (quote il:set-documentation)) (il:set-documentation il:a0304 il:a0305 il:a0306))) il:a0306)) typep il:d1 (il:l (1 type 0 il:object)) @kA i(5 il:\\typep.pred) nil () (let* ((il:a0307 (quote typep)) (il:a0308 (quote function)) (il:a0309 "Check if OBJECT is of type TYPE")) (progn (cond ((fboundp (quote il:set-documentation)) ( il:set-documentation il:a0307 il:a0308 il:a0309))) il:a0309)) type-of il:d1 (il:l (0 il:x)) $@ Hg HXdg Y@kIH(24 il:getprop 13 il:getprop 3 il:typename) (21 il:cmlsubtypedescriminator 10 il:cmltype) () |optimize-COERCE| il:d1 (il:l (2 il:$$ctx 1 il:$$env 0 il:$$whole)) i@!HH ZdiIggIhJdgggIhIgIhhgJgJgJggIhg(13 il:constantexpressionp) (102 compiler:pass 94 float 89 long-float 83 double-float 77 single-float 70 float 57 complex 49 complexp 46 if 39 complex 29 character 24 character) () (il:putprop (quote coerce) (quote compiler:optimizer-list) (il:union (il:getprop (quote coerce) (quote compiler:optimizer-list)) (list (quote |optimize-COERCE|)))) il:|optimize-FALSE| il:d1 (il:l (2 il:$$ctx 1 il:$$env 0 il:$$whole)) @ghHnil (7 prog1) () (il:putprop (quote il:false) (quote compiler:optimizer-list) (il:union (il:getprop (quote il:false) ( quote compiler:optimizer-list)) (list (quote il:|optimize-FALSE|)))) il:|optimize-TRUE| il:d1 (il:l (2 il:$$ctx 1 il:$$env 0 il:$$whole)) @giHnil (7 prog1) () (il:putprop (quote il:true) (quote compiler:optimizer-list) (il:union (il:getprop (quote il:true) ( quote compiler:optimizer-list)) (list (quote il:|optimize-TRUE|)))) |optimize-TYPEP| il:d1 (il:l (2 il:$$ctx 1 il:$$env 0 il:$$whole)) )@!HH ZgJ Ihog(24 il:\\typep.pred 13 il:constantexpressionp) (38 compiler:pass 19 and) ( 32 (t)) (il:putprop (quote typep) (quote compiler:optimizer-list) (il:union (il:getprop (quote typep) (quote compiler:optimizer-list)) (list (quote |optimize-TYPEP|)))) |optimize-NUMBERP| il:d1 (il:l (2 il:$$ctx 1 il:$$env 0 il:$$whole)) @ggHhonil (11 il:numberp 8 and) ( 19 (t)) (il:putprop (quote numberp) (quote compiler:optimizer-list) (il:union (il:getprop (quote numberp) ( quote compiler:optimizer-list)) (list (quote |optimize-NUMBERP|)))) |optimize-FLOATP| il:d1 (il:l (2 il:$$ctx 1 il:$$env 0 il:$$whole)) @ggHhonil (11 il:floatp 8 and) ( 19 (t)) (il:putprop (quote floatp) (quote compiler:optimizer-list) (il:union (il:getprop (quote floatp) (quote compiler:optimizer-list)) (list (quote |optimize-FLOATP|)))) (il:putprops equal il:bytemacro il:comp.eq) (il:putprops equalp il:bytemacro il:comp.eq) |expand-DEFTYPE| il:d1 (il:l (1 il:$$macro-environment 0 il:$$macro-form)) ( @  @HH[KggJhiJlhioJ oJhJ _LgMJhgo  __O__OgogggOhhggoOgJOhh hhgggJhhgOhhNgggJhoNhhhgoggggJhogIhhhhgJhh(161 il:\\append2 90 il:\\mvlist 87 il:parse-defmacro 66 xcl:pack 63 symbol-package 50 error 4 il:remove-comments) (284 quote 264 quote 253 quote 250 il:\\define-type-save-defn 247 il:filepkgflg 244 and 237 eval-when 210 quote 207 documentation 204 setf 189 quote 179 quote 176 il:type-expander 173 setf 149 block 140 lambda 137 function 126 quote 123 symbol-function 120 setf 113 eval-when 79 :default-default 73 il:$$type-form 26 il:without-filepkg 23 progn) ( 261 (quote il:types) 241 (eval) 218 ((quote type)) 144 (il:$$type-form) 117 (eval compile load) 83 (quote *) 55 "type-expand-" 46 "Illegal name used in DEFTYPE: ~S") (il:setf-macro-function (quote deftype) (quote |expand-DEFTYPE|)) (il:addtovar il:prettyprintmacros (deftype . il:pprint-definer)) il:type-expander il:d1 (il:l (0 type)) ,@Hd@@gHo g'(32 il:check-type-fail) (40 il:type-expander 24 type 16 il:listp 8 il:litatom) ( 29 (or symbol cons)) il:|expand-SETF-TYPE-EXPANDER| il:d1 (il:l (1 il:$$macro-environment 0 il:$$macro-form)) @!HHgIoJhnil (14 il:put) ( 19 (quote il:type-expander)) (il:setf-macro-function (quote il:setf-type-expander) (quote il:|expand-SETF-TYPE-EXPANDER|)) (il:addtovar il:prettydefmacros (il:types il:x (il:p il:* (il:mapcar (quote il:x) (il:function ( il:lambda (il:item) (do ((il:def (il:getdef il:item (quote il:types)))) (il:def il:def) (cerror "Re-fetch the definition" "No ~S definition for ~S" (quote il:types) il:item)))))))) (il:addtovar il:prettytypelst (il:changedtypeslst il:types "Common Lisp type definitions")) (cond ((not (gethash (quote il:types) il:*definition-hash-table*)) (let* ((il:a0320 (quote il:types)) (il:a0321 il:*definition-hash-table*) (il:a0323 (make-hash-table (quote :test) (quote equal) (quote :size) 50 (quote :rehash-size) 50))) (#:puthash il:a0320 il:a0321 il:a0323)))) (il:addtovar il:filepkgtypes il:types) (il:putprops il:types il:getdef il:\\define-type-getdef) (il:putprops il:types il:filepkgcontents il:nill) (il:putprops il:types il:proptype il:types) (remprop (quote il:type-expander) (quote il:setf-method-expander)) (il:putprops il:type-expander il:setf-inverse il:setf-type-expander) il:array-type il:d1 (il:l (0 il:array)) @ 1@ SHk:>@ @d gIh gIh@ ZigIhgJIhhg@ @ hHk:/@ @d gKh gKhg@ Khg@ @ h(154 array-dimensions 150 array-element-type 137 array-element-type 121 bit-vector-p 108 stringp 102 array-total-size 88 array-dimensions 84 array-element-type 53 array-element-type 40 simple-bit-vector-p 27 simple-string-p 21 array-total-size 10 il:simple-array-p 3 array-rank) (146 array 133 vector 125 bit-vector 113 string 80 simple-array 68 simple-array 60 simple-vector 44 simple-bit-vector 32 simple-string) () il:false il:d1 nil hnil nil () il:symbol-type il:d1 (il:l (0 il:x)) @ gg(3 keywordp) (11 symbol 7 keyword) () il:true il:d1 nil inil nil () il:\\range.type il:d1 (il:l (3 il:rangelist 2 il:high 1 il:low 0 il:basetype)) ?AgbBgbAdgBg@AgBglg@ggogAghiAgAohBghbgiBggBhh hhhbgCHRg@ggogA4gAoBggBhhhhhbgbgAIBIIIAdkBdkIJKhiKLhi LMhiIbHXa(128 il:\\append2) (235 < 226 < 198 il:x 195 <= 181 <= 174 and 167 il:lambda 164 il:satisfies 160 and 148 < 118 il:x 115 <= 103 < 92 * 79 <= 65 * 61 and 54 il:lambda 51 il:satisfies 47 and 41 * 35 * 27 * 20 * 12 * 4 *) ( 186 (il:x) 171 (il:x) 84 (il:x) 58 (il:x)) numberp il:d1 (il:l (0 il:x)) @3inil nil () floatp il:d1 (il:l (0 il:x)) @inil nil () si::datatype-p il:d1 (il:l (0 il:name)) @ i(3 il:\\typenumberfromname) nil () (let* ((il:a0324 (quote si::datatype-p)) (il:a0325 (quote function)) (il:a0326 "Returns T if name is a datatype known to the XAIE type system")) (progn (cond ((fboundp (quote il:set-documentation)) (il:set-documentation il:a0324 il:a0325 il:a0326))) il:a0326)) si::sub-datatype-p il:d1 (il:l (1 il:type2 0 il:type1)) '@ !A HZdjhIi`J(10 il:\\typenumberfromname 3 il:\\typenumberfromname) (27 il:|\\DTDSpaceBase|) () (let* ((il:a0328 (quote si::sub-datatype-p)) (il:a0329 (quote function)) (il:a0330 "Returns T if type2 is a (not necessarily proper) supertype of type1.")) (progn (cond ((fboundp (quote il:set-documentation)) (il:set-documentation il:a0328 il:a0329 il:a0330))) il:a0330)) il:sub-subtypep il:d1 (il:l (1 il:type2 0 il:type1)) @dA gid Adighi @d1A+@dg#Agg@A i @@o @A AA@ 1H@ A ZA HJIK HIA J @K dd o @A (198 il:handle-type2-meta-expression 191 il:member 182 values 176 il:sub-subtypep 166 il:sub-subtypep 157 il:sub-subtypep 146 il:type-expand 139 il:type-expander 134 il:type-expand 124 il:type-expander 115 il:handle-type1-meta-expression 109 il:member 96 il:\\do-throw 93 il:\\mvlist 90 values 86 si::sub-datatype-p 45 il:\\do-throw 42 il:\\mvlist 39 values 21 il:\\do-throw 18 il:\\mvlist 15 values 5 equal) (77 il:hairy-subtypep 71 il:datatype 62 il:datatype 34 il:hairy-subtypep 10 il:hairy-subtypep) ( 188 (and or) 106 (and or)) (let* ((il:a0331 (quote il:sub-subtypep)) (il:a0332 (quote function)) (il:a0333 "Returns (T T) iff type1 is a subtype of type2.")) (progn (cond ((fboundp (quote il:set-documentation) ) (il:set-documentation il:a0331 il:a0332 il:a0333))) il:a0333)) il:subtypepa0001 il:d1 (il:f 0 il:type1 il:f 1 il:type2) PQ hd (9 values 4 il:sub-subtypep) nil () subtypep il:d1 (il:i 1 il:type2 il:i 0 il:type1) gg (8 il:\\catch-funcall) (5 il:subtypepa0001 2 il:hairy-subtypep) () (let* ((il:a0334 (quote subtypep)) (il:a0335 (quote function)) (il:a0336 "Returns T if type1 is a subtype of type2. If second value is (), couldn't decide.")) (progn (cond ((fboundp (quote il:set-documentation)) (il:set-documentation il:a0334 il:a0335 il:a0336))) il:a0336)) il:type-expand il:d1 (il:l (0 il:|-args-|)) deka1lH$IZdIIgJo la[%I\dIhIgLo kKoI (97 error 85 il:check-type-fail 47 il:type-expander 44 il:check-type-fail) (77 il:form 70 il:listp 60 il:litatom 36 il:form 28 il:listp 20 il:litatom) ( 93 "no type expander for ~s" 82 (or symbol cons) 41 (or symbol cons)) (let* ((il:a0337 (quote il:type-expand)) (il:a0338 (quote function)) (il:a0339 "expands a type form according to deftypes in effect. The caller must ensure there is an expander for the form" )) (progn (cond ((fboundp (quote il:set-documentation)) (il:set-documentation il:a0337 il:a0338 il:a0339 ))) il:a0339)) il:handle-type1-meta-expression il:d1 (il:l (1 il:type2 0 il:type1)) @QHdghg#@Yd7dA gid IHg=@Zgid A ]MLKghi Jo (125 il:error 114 il:\\do-throw 111 il:\\mvlist 108 values 87 il:\\mvlist 84 subtypep 78 il:\\do-throw 75 il:\\mvlist 72 values 48 il:\\do-throw 45 il:\\mvlist 42 values 31 subtypep) (103 il:hairy-subtypep 67 il:hairy-subtypep 56 or 37 il:hairy-subtypep 16 and 9 il:satisfies) ( 122 "an entry in TYPE-META-EXPRESSIONS is not handled by handle-type1-meta-expression") il:handle-type2-meta-expression il:d1 (il:l (1 il:type2 0 il:type1)) AqHdg@AYgid @J ]MLKfghi Ig%A^dH_@O gid NHg%@ @gg@A i o (164 il:error 156 il:\\do-throw 153 il:\\mvlist 150 values 146 si::sub-datatype-p 111 il:\\do-throw 108 il:\\mvlist 105 values 96 il:sub-subtypep 70 il:\\do-throw 67 il:\\mvlist 64 values 43 il:\\mvlist 40 subtypep 32 il:\\do-throw 29 il:\\mvlist 26 values) (137 il:hairy-subtypep 131 il:datatype 119 il:datatype 100 il:hairy-subtypep 77 or 59 il:hairy-subtypep 21 il:hairy-subtypep 9 and) ( 161 "an entry in TYPE-META-EXPRESSIONS is not handled by handle-type2-meta-expression") (il:setq il:%no-super-type 0) (il:puthash (quote il:%no-super-type) (quote (il:constant il:%no-super-type)) il:compvarmacrohash) (let* ((il:a0342 (quote il:%no-super-type)) (il:a0343 (quote il:variable)) (il:a0344 "the value in the dtdsupertype field which indicates no super type.")) (progn (cond ((fboundp (quote il:set-documentation)) (il:set-documentation il:a0342 il:a0343 il:a0344))) il:a0344)) (il:setq il:type-meta-expressions (quote (and or))) (il:puthash (quote il:type-meta-expressions) (quote (il:constant il:type-meta-expressions)) il:compvarmacrohash) (let* ((il:a0345 (quote il:type-meta-expressions)) (il:a0346 (quote il:variable)) (il:a0347 "the expressions that sub-subtypep knows how to dissect")) (progn (cond ((fboundp (quote il:set-documentation)) (il:set-documentation il:a0345 il:a0346 il:a0347))) il:a0347)) il:\\typep.preda0001 il:d1 (il:l (0 il:pred)) @ gh(3 il:\\typep.pred) (6 il:x) () il:\\typep.pred il:d1 (il:l (0 type) il:p 2 il:dfnflg il:f 3 il:clisparray) @dS @dHdg@ng"goggg@hhhHHgHgHggo@g@ h@ Y@kI oo@ S ig@dg H@hkHbK@d /o@ g@hgg@hhh @ oo@ (252 cerror 238 il:type-expander 229 il:eval 199 warn 188 si::datatype-p 166 il:type-expander 148 il:puthash 143 cerror 130 il:\\typep.pred 121 il:type-expander 109 mapcar 10 il:gethash) (214 il:datatype 211 quote 206 deftype 162 il:false 155 il:true 104 il:\\typep.preda0001 95 il:openlambda 89 not 83 or 77 and 57 quote 54 il:x 51 il:typenamep 44 il:openlambda 38 il:datatype 27 il:satisfies) ( 248 "No type definition for ~S. Specify one with DEFTYPE." 244 "Use the deftype you have specified." 195 "Installing DEFTYPE for datatype ~S" 139 "No type definition for ~S. Specify one with DEFTYPE." 135 "Look again for a deftype on ~S." 99 (il:x) 48 (il:x)) |type-expand-ATOM| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies atom)) (il:put (quote atom) (quote il:type-expander) (quote |type-expand-ATOM|)) |type-expand-BIGNUM| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (or (il:datatype il:fixp) (il:datatype bignum))) (il:put (quote bignum) (quote il:type-expander) (quote |type-expand-BIGNUM|)) |type-expand-BIT| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (mod 2)) (il:put (quote bit) (quote il:type-expander) (quote |type-expand-BIT|)) |type-expand-CHARACTER| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies characterp)) (il:put (quote character) (quote il:type-expander) (quote |type-expand-CHARACTER|)) |type-expand-CONS| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:datatype il:listp)) (il:put (quote cons) (quote il:type-expander) (quote |type-expand-CONS|)) |type-expand-DOUBLE-FLOAT| il:d1 (il:l (0 il:$$type-form)) @gHnil (7 float) () (il:put (quote double-float) (quote il:type-expander) (quote |type-expand-DOUBLE-FLOAT|)) |type-expand-FIXNUM| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:datatype il:smallp)) (il:put (quote fixnum) (quote il:type-expander) (quote |type-expand-FIXNUM|)) |type-expand-FLOAT| il:d1 (il:l (0 il:$$type-form)) %@!H gHHgoIJ (34 il:\\range.type) (24 * 10 *) ( 29 (il:datatype il:floatp)) (il:put (quote float) (quote il:type-expander) (quote |type-expand-FLOAT|)) |type-expand-FUNCTION| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies functionp)) (il:put (quote function) (quote il:type-expander) (quote |type-expand-FUNCTION|)) |type-expand-HASH-TABLE| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:datatype il:harrayp)) (il:put (quote hash-table) (quote il:type-expander) (quote |type-expand-HASH-TABLE|)) |type-expand-INTEGER| il:d1 (il:l (0 il:$$type-form)) )@!H gHHgoIJo (38 il:\\range.type) (24 * 10 *) ( 35 ((-65536 65535 fixnum) (0 1 (member 0 1))) 29 (il:satisfies integerp)) (il:put (quote integer) (quote il:type-expander) (quote |type-expand-INTEGER|)) |type-expand-KEYWORD| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies keywordp)) (il:put (quote keyword) (quote il:type-expander) (quote |type-expand-KEYWORD|)) |type-expand-LIST| il:d1 (il:l (0 il:$$type-form)) `@gHgoggggogggogggHhhhhohhhnil (61 quote 58 il:element 55 typep 48 lambda 45 function 42 every 35 il:lambda 32 il:satisfies 29 list 26 and 13 * 6 *) ( 80 (il:x) 52 (il:element) 39 (il:x) 19 (or null cons)) (il:put (quote list) (quote il:type-expander) (quote |type-expand-LIST|)) |type-expand-LONG-FLOAT| il:d1 (il:l (0 il:$$type-form)) @gHnil (7 float) () (il:put (quote long-float) (quote il:type-expander) (quote |type-expand-LONG-FLOAT|)) |type-expand-MEMBER| il:d1 (il:l (0 il:$$type-form)) )@ggogggHhhhhnil (23 quote 20 il:x 17 member 10 il:lambda 7 il:satisfies) ( 14 (il:x)) (il:put (quote member) (quote il:type-expander) (quote |type-expand-MEMBER|)) |type-expand-MOD| il:d1 (il:l (0 il:$$type-form)) @gjHkhnil (8 integer) () (il:put (quote mod) (quote il:type-expander) (quote |type-expand-MOD|)) |type-expand-NULL| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies null)) (il:put (quote null) (quote il:type-expander) (quote |type-expand-NULL|)) |type-expand-NUMBER| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies il:numberp)) (il:put (quote number) (quote il:type-expander) (quote |type-expand-NUMBER|)) |type-expand-PACKAGE| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:datatype package)) (il:put (quote package) (quote il:type-expander) (quote |type-expand-PACKAGE|)) |type-expand-SHORT-FLOAT| il:d1 (il:l (0 il:$$type-form)) @gHnil (7 float) () (il:put (quote short-float) (quote il:type-expander) (quote |type-expand-SHORT-FLOAT|)) |type-expand-SIGNED-BYTE| il:d1 (il:l (0 il:$$type-form)) /@gHgglHk gjIIkh(30 expt) (34 integer 18 integer 13 * 6 *) () (il:put (quote signed-byte) (quote il:type-expander) (quote |type-expand-SIGNED-BYTE|)) |type-expand-STANDARD-CHAR| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies standard-char-p)) (il:put (quote standard-char) (quote il:type-expander) (quote |type-expand-STANDARD-CHAR|)) |type-expand-STRING-CHAR| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies string-char-p)) (il:put (quote string-char) (quote il:type-expander) (quote |type-expand-STRING-CHAR|)) |type-expand-SINGLE-FLOAT| il:d1 (il:l (0 il:$$type-form)) @gHnil (7 float) () (il:put (quote single-float) (quote il:type-expander) (quote |type-expand-SINGLE-FLOAT|)) |type-expand-SYMBOL| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:datatype il:litatom)) (il:put (quote symbol) (quote il:type-expander) (quote |type-expand-SYMBOL|)) |type-expand-UNSIGNED-BYTE| il:d1 (il:l (0 il:$$type-form)) *@gHgogjlH hh(33 expt) (26 integer 13 * 6 *) ( 19 (integer 0)) (il:put (quote unsigned-byte) (quote il:type-expander) (quote |type-expand-UNSIGNED-BYTE|)) |type-expand-RATIONAL| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (or ratio integer)) (il:put (quote rational) (quote il:type-expander) (quote |type-expand-RATIONAL|)) |type-expand-READTABLE| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:datatype readtablep)) (il:put (quote readtable) (quote il:type-expander) (quote |type-expand-READTABLE|)) |type-expand-COMMON| il:d1 (il:l (0 il:$$type-form)) inil nil () (il:put (quote common) (quote il:type-expander) (quote |type-expand-COMMON|)) |type-expand-COMPILED-FUNCTION| il:d1 (il:l (0 il:$$type-form)) onil nil ( 3 (il:satisfies compiled-function-p)) (il:put (quote compiled-function) (quote il:type-expander) (quote |type-expand-COMPILED-FUNCTION|)) |type-expand-COMPLEX| il:d1 (il:l (0 il:$$type-form)) `@gHgoggggoggogHhhgogHhhhhhhnil (70 quote 63 typep 52 quote 45 typep 42 and 35 il:lambda 32 il:satisfies 29 complex 26 and 13 * 6 *) ( 67 (il:complex-imagpart il:x) 49 (il:complex-realpart il:x) 39 (il:x) 19 (il:datatype complex)) (il:put (quote complex) (quote il:type-expander) (quote |type-expand-COMPLEX|)) |type-expand-SEQUENCE| il:d1 (il:l (0 il:$$type-form)) `@gHgoggggogggogggHhhhhohhhnil (61 quote 58 il:element 55 typep 48 lambda 45 function 42 every 35 il:lambda 32 il:satisfies 29 sequence 26 and 13 * 6 *) ( 80 (il:x) 52 (il:element) 39 (il:x) 19 (or vector list)) (il:put (quote sequence) (quote il:type-expander) (quote |type-expand-SEQUENCE|)) |type-expand-ARRAY| il:d1 (il:l (0 il:$$type-form))  @QH gHHgZJgg IghiI Jdg=IgoggogogogIhhhhhoVIdggggIgIogggogogogIhhhhhJ[ighi-hPggogogoJ hIghKigogIhhhhhJh\i]gMhihJk gJhLggogogoJ hJjNOIg7h5ghigggOhNhO_NOk_^igogIhhh hhogIJh (517 error 490 il:\\append2 389 length 347 length 261 length 54 il:%get-canonical-cml-type 39 make-list) (508 array 477 quote 470 il:equal 434 il:x 431 array-dimension 428 eql 418 * 408 * 381 eql 374 and 367 il:lambda 364 il:satisfies 351 vector 331 il:smallp 325 * 290 quote 283 il:equal 269 * 253 eql 246 and 239 il:lambda 236 il:satisfies 223 * 193 quote 186 il:equal 179 and 172 il:lambda 169 il:satisfies 165 bit-vector 153 bit 148 string 143 string-char 139 vector 134 * 102 quote 95 il:equal 88 and 81 il:lambda 78 il:satisfies 68 * 60 * 44 * 36 * 33 :initial-element 28 il:smallp 24 * 10 *) ( 505 "Bad (final) array type designator: ~S" 474 (array-element-type il:x) 385 (array-rank il:x) 378 (arrayp il:x) 371 (il:x) 287 (array-element-type il:x) 257 (array-rank il:x) 250 (arrayp il:x) 243 (il:x) 190 (array-element-type il:x) 183 (vectorp il:x) 176 (il:x) 160 (il:unsigned-byte 1) 126 (*) 99 (array-element-type il:x) 92 (arrayp il:x) 85 (il:x) 74 (il:satisfies arrayp)) (il:put (quote array) (quote il:type-expander) (quote |type-expand-ARRAY|)) |type-expand-VECTOR| il:d1 (il:l (0 il:$$type-form)) @!H gHHgIdg7JgoggogogoJhhhhggJhIo gJhggogogogI hhJghigoJhhhh(147 il:%get-canonical-cml-type 107 il:member) (168 eql 158 * 143 quote 136 il:equal 129 and 122 il:lambda 119 il:satisfies 111 bit-vector 94 string 89 string-char 65 eql 58 and 51 il:lambda 48 il:satisfies 38 * 30 * 24 * 10 *) ( 172 (array-total-size il:v) 140 (array-element-type il:v) 133 (vectorp il:v) 126 (il:v) 104 (bit (il:unsigned-byte 1)) 69 (array-total-size il:v) 62 (vectorp il:v) 55 (il:v) 44 (il:satisfies vectorp)) (il:put (quote vector) (quote il:type-expander) (quote |type-expand-VECTOR|)) |type-expand-SIMPLE-STRING| il:d1 (il:l (0 il:$$type-form)) B@gHgoggogogoHhhhhnil (43 eql 36 and 29 il:lambda 26 il:satisfies 13 * 6 *) ( 47 (array-total-size il:v) 40 (simple-string-p il:v) 33 (il:v) 19 (il:satisfies simple-string-p)) (il:put (quote simple-string) (quote il:type-expander) (quote |type-expand-SIMPLE-STRING|)) |type-expand-STRING| il:d1 (il:l (0 il:$$type-form)) B@gHgoggogogoHhhhhnil (43 eql 36 and 29 il:lambda 26 il:satisfies 13 * 6 *) ( 47 (array-total-size il:x) 40 (stringp il:x) 33 (il:x) 19 (il:satisfies stringp)) (il:put (quote string) (quote il:type-expander) (quote |type-expand-STRING|)) |type-expand-SIMPLE-ARRAY| il:d1 (il:l (0 il:$$type-form))  @QH gHHgZJgg IghiI Jdg=IgoggogogogIhhhhhodIdgggIdogigggogooIghigogIhhhhhJ[ighi-hPggogogoJ hIghKigogIhhhhhJh\i]gMhi