(FILECREATED "10-Sep-86 17:59:36" ("compiled on " {ERIS}LIBRARY>CMLTYPES.;61) "29-Aug-86 22:21:56" "COMPILE-FILEd" in "Xerox Lisp 29-Aug-86 ..." dated "29-Aug-86 22:55:03") (FILECREATED "10-Sep-86 17:58:11" {ERIS}LIBRARY>CMLTYPES.;61 34410 changes to: (TYPES ARRAY VECTOR SIMPLE-ARRAY) previous date: " 8-Sep-86 15:17:31" {ERIS}LIBRARY>CMLTYPES.;60) (RPAQQ CMLTYPESCOMS ((* * Predicates) (FUNCTIONS CL:EQUAL EQUALP) (* EQL is now in the init) (* * Typep and friends) (FUNCTIONS COERCE TYPECASE TYPEP TYPE-OF) (* * Optimizers) (OPTIMIZERS COERCE FALSE TRUE TYPEP) (* Optimize by constant fold and coerce to EQ where possible) (PROP BYTEMACRO CL:EQUAL EQUALP) (* * Support functions) (FNS ARRAY-TYPE FALSE SYMBOL-TYPE TRUE \RANGE.TYPE \TYPEP.EXPAND.MACRO \TYPEP.PRED) (FUNCTIONS DEFTYPE) (DEFINE-TYPES TYPES) (* * For TYPEP) (TYPES CL:ATOM BIGNUM BIT CL:CHARACTER CONS DOUBLE-FLOAT FIXNUM FLOAT FUNCTION HASH-TABLE INTEGER KEYWORD LIST LONG-FLOAT CL:MEMBER CL:MOD NULL NUMBER PACKAGE SHORT-FLOAT SIGNED-BYTE STANDARD-CHAR STRING-CHAR SINGLE-FLOAT SYMBOL UNSIGNED-BYTE RATIONAL READTABLE COMMON COMPILED-FUNCTION COMPLEX SEQUENCE) (* * Array Types) ( TYPES ARRAY VECTOR SIMPLE-STRING STRING SIMPLE-ARRAY SIMPLE-VECTOR BIT-VECTOR SIMPLE-BIT-VECTOR) (* * for TYPE-OF - Interlisp types that have different common Lisp names) (PROP CMLTYPE CHARACTER FIXP FLOATP GENERAL-ARRAY LISTP LITATOM ONED-ARRAY SMALLP STRINGP HARRAYP TWOD-ARRAY) (PROP CMLSUBTYPEDESCRIMINATOR SYMBOL ARRAY) (* * What's this for?) (COMS (PROP PROPTYPE DEFTYPE)) (* * Compiler options) (PROP FILETYPE CMLTYPES) (DECLARE: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY (LOCALVARS . T)) (DECLARE: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY COMPILERVARS (ADDVARS (NLAMA) (NLAML) (LAMA)))) ) CL:EQUAL D1 (L (1 Y 0 X)) @A:@1Hdl A@A @A  A ~@A Hd\Hd k:RHd jHAdNA k:DA jh:@ YA :.IjJKi@KAKKkԻH` A @A (270Q %%PATHNAME-EQUAL 261Q PATHNAMEP 211Q CL:LENGTH 204Q CL:LENGTH 162Q LENGTH 122Q LENGTH 101Q STRING= 72Q CL:STRINGP 65Q CL:STRINGP 61Q CL:EQUAL 44Q CL:EQUAL) (252Q PATHNAMETYPE#) () EQUALP D1 (L (1 Y 0 X)) ! @A:@ Hd3A3@A lAu@A l@A Hdl 8Al T@ӹlaIIdlzl ՀIAӺlaJJdlzl ՀJ A @A Hd`A @A  /A @ [A :KjLMi@MAM MkԽH A @ A @ A _@ j__OONOOO Ok_(424Q EQUALP 372Q ARRAY-TOTAL-SIZE 362Q \FLATTEN-ARRAY 356Q \FLATTEN-ARRAY 350Q CL:EQUAL 345Q ARRAY-DIMENSIONS 341Q ARRAY-DIMENSIONS 333Q CL:ARRAYP 325Q CL:ARRAYP 311Q EQUALP 263Q CL:LENGTH 256Q CL:LENGTH 250Q VECTORP 242Q VECTORP 236Q %%PATHNAME-EQUAL 227Q PATHNAMEP 211Q STRING-EQUAL 202Q CL:STRINGP 175Q CL:STRINGP 73Q EQUALP 62Q EQUALP 40Q %%=) (220Q PATHNAMETYPE# 146Q CHARACTER 120Q CHARACTER) () COERCE D1 (L (1 RESULT-TYPE 0 OBJECT)) cAdi@g@ AgAgAgAdg@g@dd ʿ @ @@lAg@ oA (140Q CL:ERROR 127Q CL:MAP 106Q VECTORP 101Q COMPLEX 73Q COMPLEXP 17Q CL:CHARACTER) (123Q IDENTITY 63Q COMPLEX 57Q FLOATP 50Q LONG-FLOAT 41Q DOUBLE-FLOAT 33Q SINGLE-FLOAT 24Q FLOAT 11Q CL:CHARACTER) ( 134Q "Cannot coerce to type: ~S") expand-TYPECASEA0001 D1 (L (0 FORM)) &@dgi@gggHhhINIL (31Q QUOTE 26Q $$TYPE-VALUE 23Q TYPEP 5 OTHERWISE) () expand-TYPECASE D1 (L (1 $$MACRO-ENVIRONMENT 0 $$MACRO-FORM)) (@!HHggIhhggJ h(40Q CL:MAPCAR) (34Q expand-TYPECASEA0001 31Q COND 20Q $$TYPE-VALUE 15Q LET) () (SETF-MACRO-FUNCTION (QUOTE TYPECASE) (QUOTE expand-TYPECASE)) TYPEP D1 (L (1 TYPE 0 OBJECT)) @kA i(5 \TYPEP.PRED) NIL () TYPE-OF D1 (L (0 X)) $@ Hg HXdg Y@kIH(30Q GETPROP 15Q GETPROP 3 TYPENAME) (25Q CMLSUBTYPEDESCRIMINATOR 12Q CMLTYPE) () optimize-COERCE D1 (L (2 $$CTX 1 $$ENV 0 $$WHOLE)) i@!HH ZdiIggIhJdgggIhIgIhhgJgJgJggIhg(15Q CONSTANTEXPRESSIONP) (146Q COMPILER:PASS 136Q FLOAT 131Q LONG-FLOAT 123Q DOUBLE-FLOAT 115Q SINGLE-FLOAT 106Q FLOAT 71Q COMPLEX 61Q COMPLEXP 56Q CL:IF 47Q COMPLEX 35Q CL:CHARACTER 30Q CL:CHARACTER) () (LET* ((A5717 (QUOTE COERCE)) (A5718 (QUOTE COMPILER:OPTIMIZER-LIST)) (A5720 (ADJOIN (QUOTE optimize-COERCE) (GET A5717 A5718)))) (PUTPROP A5717 A5718 A5720)) optimize-FALSE D1 (L (2 $$CTX 1 $$ENV 0 $$WHOLE)) @ghHNIL (7 PROG1) () (LET* ((A5722 (QUOTE FALSE)) (A5723 (QUOTE COMPILER:OPTIMIZER-LIST)) (A5725 (ADJOIN (QUOTE optimize-FALSE) (GET A5722 A5723)))) (PUTPROP A5722 A5723 A5725)) optimize-TRUE D1 (L (2 $$CTX 1 $$ENV 0 $$WHOLE)) @giHNIL (7 PROG1) () (LET* ((A5727 (QUOTE TRUE)) (A5728 (QUOTE COMPILER:OPTIMIZER-LIST)) (A5730 (ADJOIN (QUOTE optimize-TRUE) (GET A5727 A5728)))) (PUTPROP A5727 A5728 A5730)) optimize-TYPEP D1 (L (2 $$CTX 1 $$ENV 0 $$WHOLE)) )@!HH ZgJ Ihog(30Q \TYPEP.PRED 15Q CONSTANTEXPRESSIONP) (46Q COMPILER:PASS 23Q AND) ( 40Q (T)) (LET* ((A5732 (QUOTE TYPEP)) (A5733 (QUOTE COMPILER:OPTIMIZER-LIST)) (A5735 (ADJOIN (QUOTE optimize-TYPEP) (GET A5732 A5733)))) (PUTPROP A5732 A5733 A5735)) (PUTPROPS CL:EQUAL BYTEMACRO COMP.EQ) (PUTPROPS EQUALP BYTEMACRO COMP.EQ) ARRAY-TYPE D1 (L (0 ARRAY)) @ 1@ gHk:R@ @d gIh@dljd jgIh@ ZigIhgJIhhg@ @ hHk:C@ @d gKh@@ k:@ jgKhg@ Khg@ @ h(302Q ARRAY-DIMENSIONS 276Q ARRAY-ELEMENT-TYPE 261Q ARRAY-ELEMENT-TYPE 230Q LENGTH 200Q CL:STRINGP 172Q ARRAY-TOTAL-SIZE 154Q ARRAY-DIMENSIONS 150Q ARRAY-ELEMENT-TYPE 111Q ARRAY-ELEMENT-TYPE 33Q SIMPLE-STRING-P 25Q ARRAY-TOTAL-SIZE 12Q SIMPLE-ARRAY-P 3 ARRAY-RANK) (272Q ARRAY 255Q VECTOR 245Q BIT-VECTOR 205Q STRING 144Q SIMPLE-ARRAY 130Q SIMPLE-ARRAY 120Q SIMPLE-VECTOR 100Q SIMPLE-BIT-VECTOR 40Q SIMPLE-STRING) () FALSE D1 NIL hNIL NIL () SYMBOL-TYPE D1 (L (0 X)) @ gg(3 KEYWORDP) (13Q SYMBOL 7 KEYWORD) () TRUE D1 NIL iNIL NIL () \RANGE.TYPE D1 (L (3 RANGELIST 2 HIGH 1 LOW 0 BASETYPE)) 5AgbBgbAdgBg@AgBghg@ggogAgAgAohbghBgBggBhhbgh hhhCHRg@ggogA4gAoBggBhhhhhbgbgAIBIIIAdkBdkIJKhKLhLMhIbHXg(205Q \APPEND2) (347Q < 336Q < 302Q X 277Q <= 261Q <= 252Q AND 243Q LAMBDA 240Q SATISFIES 234Q AND 177Q < 160Q X 155Q <= 143Q CL:* 134Q < 113Q <= 101Q CL:* 75Q AND 66Q LAMBDA 63Q SATISFIES 57Q AND 51Q CL:* 43Q CL:* 33Q CL:* 24Q CL:* 14Q CL:* 4 CL:*) ( 266Q (X) 247Q (X) 120Q (X) 72Q (X)) \TYPEP.EXPAND.MACRO D1 (L (1 TYPE 0 PROP)) @Ag (10Q EXPAND-DEFMACRO) (5 CL:*) () \TYPEP.PREDA0001 D1 (L (0 PRED)) @ gh(3 \TYPEP.PRED) (6 X) () \TYPEP.PRED D1 (L (0 TYPE) F 2 CLISPARRAY) @dR @dHdg@tg"goggg@hhhNHgHgHggo@g@ h#@g YgI@ o@h R ig@dgg HgH@h b