(DEFINE-FILE-INFO READTABLE "INTERLISP" PACKAGE "INTERLISP") (FILECREATED "24-Sep-91 00:57:17" ("compiled on " |{PELE:MV:ENVOS}MEDLEY>DECL.;1|) "27-Aug-91 19:40:51" bcompl'd in "Medley 28-Aug-91 ..." dated "28-Aug-91 09:16:07") (FILECREATED " 3-Nov-87 13:42:29" {QV}PARSER>LYRIC>DECL.;2 159700 changes to%: (FNS *DECLMAC) previous date%: "23-Feb-87 13:22:27" {QV}PARSER>LYRIC>DECL.;1) LCCTYPE :D7 (L (0 TL)) @ @H@ H(26 \LCCTYPE/LCC2 22 LCCTYPE 9 GETCTYPE 5 GETDECLTYPE) NIL () \LCCTYPE/LCC2 :D7 (L (1 B 0 A)) 4@A @A@ A@!HIA IIJ JHX(42 COVERSCTYPE 33 \LCCTYPE/LCC2 14 COVERSCTYPE 5 COVERSCTYPE) NIL () TYPEMSANALA0001 :D7 (NAME SI::*UNWIND-PROTECT* P 0 LISPXHIST I 0 SI::*CLEANUP-FORMS* F 1 EXPR F 2 FNNAME) )hidQdhddR Q` (38 GETHASH 28 DWIMIFY0?) (34 CLISPARRAY 14 DWIMESSGAG 9 NOSPELLFLG 4 FILEPKGFLG) () TYPEMSANAL :D7 (L (0 KIND) P 3 SI::*RESETFORMS* P 1 !SCRATCHTAIL P 0 !SCRATCHLIST F 4 EXPR) %@dg0hhhh!HYT IHhHHIIhH JJg@dg~@hhhh!HT IHhHHIIhH JJT` 9g`g`g`hg $hgXhhhh!HT IHhHHIIhH JJT JJ T h(290 SHOULDNT 282 APPLYFORM 275 MAKETESTFN 258 GETDECLTYPE 246 FLAST 221 \TYPEMSANAL/TYPEMSANAL1 183 SI::RESETUNWIND 179 \MVLIST 175 TYPEMSANALA0001 131 GETHASH 117 FLAST 92 \TYPEMSANAL/TYPEMSANAL1 50 FLAST 28 \TYPEMSANAL/TYPEMSANAL1) (266 TYPEBLOCK 197 \*DECL 171 SI::RESETUNWIND 159 DWIMESSGAG 155 DWIMESSGAG 150 NOSPELLFLG 146 NOSPELLFLG 141 FILEPKGFLG 137 FILEPKGFLG 127 CLISPARRAY 66 the 58 type? 5 COVERS) () \TYPEMSANAL/TYPEMSANAL1 :D7 (L (0 TYPEXP) F 0 !SCRATCHTAIL) @dd3@P Pdhhc@@dgdgdgdgdg@d hg@@ @dgbdgg@d h(161 SHOULDNT 150 \TYPEMSANAL/TYPEMSANAL1 99 \TYPEMSANAL/TYPEMSANAL1 79 \TYPEMSANAL/TYPEMSANAL1) (135 WHOSE 128 SATISFIES 107 OF 90 MEMQ 68 TUPLE 61 SUBTYPE 54 SHARED 46 ONEOF 38 ALLOF) () MAKETESTFNBLOCK :D7 (L (0 TB) P 1 BINDINGNAME) R@@ d3@@ gg@ @@g ZJH dg9Hg \d[dK I Lg dggIho @ 2HgIHihhd]gIH]dQdiK3GgM=HgIH^d1di+3'gNgIH_ddi3 gOhhh dg H Hd dg=Hg _d_d O I Og dgAH _O I HdgHhg XdgdgdgH _0O (dgH g@HH _@_@OgOO O_O(582 DOLABEL 546 SHOULDNT 541 \MAKETESTFNBLOCK/WHOSE.TESTFN 522 \MAKETESTFNBLOCK/TUPLE.TESTFN 506 MAKETESTFN 490 GETDECLTYPE 458 \MAKETESTFNBLOCK/COMBINE.TESTS 425 APPLYFORM 420 MAKETESTFN 404 GETDECLTYPE 386 \MAKETESTFNBLOCK/COMBINE.TESTS 370 APPLYFORM 365 MAKETESTFN 341 COLLECTTYPES 319 \MAKETESTFNBLOCK/OF.TESTFN 315 GETDECLTYPE 299 GETDECLTYPE 161 COVERSTB 156 GETDECLTYPE 127 \MAKETESTFNBLOCK/COMBINE.TESTS 112 APPLYFORM 107 MAKETESTFN 86 COLLECTTYPES 67 TETYPE 57 PACK* 40 DECLRECURSING) (571 LABEL 564 TYPEBLOCK 554 TYPEBLOCK 528 WHOSE 513 TUPLE 496 TYPEBLOCK 479 SYNONYM 472 SUBTYPE 465 SHARED 454 AND 437 AND 410 TYPEBLOCK 394 SATISFIES 382 OR 354 TYPEBLOCK 337 UP 327 ONEOF 289 OF 268 QUOTE 247 EQUAL 240 QUOTE 220 MEMBER 208 QUOTE 187 EQ 171 SELECTQ 145 LAMBDA 135 MEMQ 123 AND 97 TYPEBLOCK 82 DOWN 72 ALLOF 53 .TestFn 47 TYPEBLOCK 35 MAKETESTFNBLOCK 28 VALUE 20 TYPEBLOCK 8 TYPEBLOCK) ( 152 (ONEOF LITATOM SMALLP)) \MAKETESTFNBLOCK/COMBINE.TESTS :D7 (L (1 ANDOR 0 TESTS)) K@!H IA IJdAh AghJdAg Jh HX(67 \NCONC2 31 \APPEND2 14 \MAKETESTFNBLOCK/FUNIFY) (51 OR 38 AND) () \MAKETESTFNBLOCK/FUNIFY :D7 (L (1 ANDOR 0 TEST) F 0 BINDINGNAME) !gPh@ AgdA@hNIL (15 AND 3 LAMBDA) () \MAKETESTFNBLOCK/MKNTHCAR :D7 (L (1 N 0 L)) E@Ak HdggHdggHggHgHh(7 \MAKETESTFNBLOCK/MKNTHCDR) (62 CAR 54 CADDDR 48 CDDDR 40 CADDR 33 CDDR 24 CADR 17 CDR) () \MAKETESTFNBLOCK/MKNTHCDR :D7 (L (1 N 0 L)) tAjAlA>Adkg- @lgAdlglg@hl Ag@hAlbbg@Akh(70 SHOULDNT 31 \FZEROP) (105 FNTH 85 CDDDDR 65 CDDDDR 56 CDDDR 43 CDDR 25 CDR) () \MAKETESTFNBLOCK/OF.TESTFN :D7 (L (1 ELT 0 AGG) F 0 BINDINGNAME) M@@ P @g o PgAA hhhg (74 \MAKETESTFNBLOCK/COMBINE.TESTS 56 MAKETESTFN 37 DECLERROR 27 GETTBPROP 18 APPLYFORM 13 MAKETESTFN) (70 AND 47 TYPEBLOCK 42 FUNCTION 23 EVERYFN 4 TYPEBLOCK) ( 33 "OF construction used with non-aggregate type") \MAKETESTFNBLOCK/TUPLE.TESTFN :D7 (L (0 TYPES) F 6 BINDINGNAME) `@YgV@ h@kBHJg  ]M VI KLh[HIkԹL&g(66 APPLYFORM 62 \MAKETESTFNBLOCK/MKNTHCAR 56 MAKETESTFN 42 GETDECLTYPE 36 \MAKETESTFNBLOCK/COMBINE.TESTS 12 LENGTH) (93 NULL 47 TYPEBLOCK 32 AND 6 EQLENGTH) () \MAKETESTFNBLOCK/WHOSE.TESTFN :D7 (L (2 TAIL 1 SNAM 0 TB) F 6 BINDINGNAME) A HH V `Bd]dl M [K AgKM\dg'dgdgdgdgdgVh>3 :jLVL .h+MA gAMhgVhMo IHhZH&NJg (226 \MAKETESTFNBLOCK/COMBINE.TESTS 195 APPLYFORM 191 DECLERROR 157 RECORDFIELDNAMES 145 \MAKETESTFNBLOCK/MKNTHCAR 69 MAKETESTFN 55 GETDECLTYPE 44 EQLENGTH 27 APPLYFORM 21 MAKETESTFN 4 GETDECLTYPE) (222 AND 174 OF 164 FETCH 123 CDAR 116 CAAR 109 CDDR 101 CADR 93 CDR 85 CAR 74 LISTP 60 TYPEBLOCK 12 TYPEBLOCK) ( 187 " is not a valid fieldname") DECLTRAN :D7 (L (0 FORM) P 19 NEWSATLIST P 14 LOCALVARS P 13 RETURNS P 12 VARBINDFORMS P 11 INITVARS P 10 SAT P 9 SPECVARS P 8 PROGDCLS P 5 DECLARE P 2 VARS F 20 NEWSATLIST F 21 VARS F 22 FAULTFN) ri@@W*@[dS O o_Hg"OdgggKIhhOHgHgh K[&Kdd3@HgKghhi h_K_Hdg&I[dg`KgKIHg8h_ _"I_ HgghIhO"gO"IhO_$OgOMOgOMOgOIhMgMgOgO hI _OdO O HdgOhM"`oILgOIII`.O dgMO  gO"O  _"IY  O$ g!gOgOhhMNMNO^NdhddW, OW('OgO _OW(OdhOOHgN@N @(622 REALCLISPTRAN 584 DREVERSE 562 DWIMIFY0? 498 DECLDWIMTESTFN 494 SHOULDNT 488 FINDDECLTYPE 469 \APPEND2 447 \APPEND2 361 \NCONC2 354 DREVERSE 341 \NCONC2 333 DREVERSE 139 \DECLTRAN/DECLVAR 100 \DECLTRAN/DECLVAR 34 DREVERSE) (612 DLAMBDA 576 \*DECL 522 RETURN 516 PROG 509 DPROG 455 DECL 436 DECLARE 425 COMMENTFLG 402 LAMBDA 387 COMMENTFLG 369 DLAMBDA 327 \CHKINIT 319 PROGN 312 DECLARE 298 the 285 LOCALVARS 272 SPECVARS 246 DPROGN 232 PROG 226 DPROG 197 DPROGN 185 DECLARATIONS%: 176 COMMENTFLG 168 CLISP%: 154 DLAMBDA 130 CARDINAL 122 DLAMBDA 93 DPROGN 87 DPROG 67 DPROG 63 RETURN 55 THEN 45 DPROG 4 CLISPCHANGE) ( 391 (ASSERT%: (CLISP DLAMBDA))) \DECLTRAN/DECLVARA0001 :D7 (NAME SI::*UNWIND-PROTECT* I 0 SI::*CLEANUP-FORMS* F 0 TAIL F 1 VARD F 2 FAULTFN) idPQPhdR h(20 DWIMIFY0?) (9 DWIMESSGAG 4 NOSPELLFLG) () \DECLTRAN/DECLVAR :D7 (L (2 BINDFLAG 1 DPROGFLAG) P 12 SI::*RESETFORMS* P 6 TAIL I 0 VARD F 13 SPECVARS F 14 LOCALVARS F 15 SAT F 16 FAULTFN F 17 PROGDCLS F 18 RETURNS F 19 VARBINDFORMS F 20 INITVARS F 21 DECLARE F 22 VARS)  Bh @dj\gLg W$oio@ hbbg@A7g`g`h g $NNLLd3@oio@ Nh__OdgLd``$`gOdggXmOdgOoio@ O_G`?OL [IoOio@ KOZOoOio@ OlPoiO W W gW g BW"h__[I JgLJHWcMAg [LgK W*c*II [gA:KMd.h,_LOLOoLio@ O}b~gLKLhhW&c&gAhLW(c(BLhWcBMLMhLW"c"LW,c,h(704 DECLDWIMERROR 651 MAKEBINDFN 635 SUBST 623 GETTBPROP 566 MARKASCHANGED 537 FIXSPELL 515 DECLDWIMERROR 485 DECLDWIMERROR 462 GETDECLTYPE.NOERROR 439 DECLDWIMERROR 338 DECLDWIMERROR 292 DECLDWIMERROR 250 DECLDWIMERROR 190 DECLDWIMERROR 171 GETDECLTYPE.NOERROR 137 DECLDWIMERROR 102 SI::RESETUNWIND 98 \MVLIST 94 \DECLTRAN/DECLVARA0001 44 DECLDWIMERROR) (722 REALSETQ 656 PROGN 630 VAR 619 DECLARESPEC 590 ANY 562 FNS 551 TYPE-IN 452 COMMENTFLG 418 SATISFIES 406 FREE 399 BOUNDIN 388 FREE 382 GLOBALVARS 377 GLOBALVARS 371 GLOBALVARS 364 GLOBALVARS 354 GLOBAL 310 USEDIN 265 LOCAL 222 SPECIAL 196 VALUE 154 ANY 90 SI::RESETUNWIND 79 DWIMESSGAG 75 DWIMESSGAG 70 NOSPELLFLG 66 NOSPELLFLG 55 VALUE 23 VALUE 16 RETURNS) ( 698 " inside " 692 "more than one binding for " 529 (SATISFIES BOUNDIN USEDIN) 509 " inside " 502 "invalid declaration: " 479 " inside " 472 "more than one type declaration: " 434 " inside " 429 "Multiple SATISFIES" 332 " inside " 326 "Variable can't be both LOCAL and USEDIN: " 286 " inside " 280 "Variable can't be both LOCAL and SPECIAL: " 244 " inside " 238 "Variable can't be both LOCAL and SPECIAL: " 184 " inside " 178 "invalid declaration: " 132 " inside " 127 "Illegal variable name" 39 " inside " 34 "Multiple RETURNS/VALUE declaration") PPDECL :D7 (L (0 FORM) F 10 FNSLST)  @d`@d` @dgml`oo o @ @bdd`Hjh @HidW `oo #dgkAHlعo @d/o @iHl# Mo _dſOjh oh Oh O_zk hO O_cZihW JdOOk JO Jm h`O_dk KihW OO o o i^7gHljh gh NOj k hO M] @odg@b}dg@bldg'@ddW @  dgdg@dgdggg@h@di XHgHb@` ]@dg =g`g`g`h g $@ Cg@ hb@+@dgdg@ @` gbNg@h(935 GETHASH 922 LAST 881 EVAL 870 DECLCONSTANTP 858 SI::RESETUNWIND 854 \MVLIST 850 \DECLOFBLK/DECLOF1A0002 805 GETP 792 GETHASH 766 EXPANDMACRO 706 \DECLOFBLK/DECLOF1 701 LAST 478 MEMBER 461 \DECLOFBLK/DECLOF1 453 LAST 371 MEMBER 342 \DECLOFBLK/DECLOF1 337 LAST 327 \NCONC2 285 LAST 177 \DECLOFBLK/DECLOF1 133 MAKESETFN 119 GETDECLTYPE 114 \DECLOFBLK/VARDECL 54 GETP 24 \DECLOFBLK/VARDECL) (952 MEMQ 941 ANY 931 CLISPARRAY 911 NLAMBDA 904 LAMBDA 876 MEMQ 846 SI::RESETUNWIND 834 DWIMESSGAG 830 DWIMESSGAG 825 NOSPELLFLG 821 NOSPELLFLG 816 FILEPKGFLG 812 FILEPKGFLG 801 CLISPWORD 788 CLISPARRAY 774 IGNOREMACRO 752 MEMQ 746 QUOTE 739 CREATE 731 create 719 THE 712 the 667 \*DECL 650 PROG1 632 REPLACEFIELDVAL 614 FLOATP 604 FIXP 567 FFETCHFIELD 560 FETCHFIELD 542 REALSETQ 523 /REPLACEFIELD 516 FREPLACEFIELD 509 REPLACEFIELD 468 ANY 440 ONEOF 414 SELECTQ 403 ONEOF 348 ANY 297 COND 277 PROGN 246 RETURN 236 COMMENTFLG 227 DECLARE 219 ASSERT 196 PROG 162 MEMQ 155 SETQQ 147 ALLOF 139 REALSETQ 124 TYPEBLOCK 103 SETQQ 96 SETQ 73 SATISFIES 62 FUNCTION 50 DECLOF) ( 626 (MEMQ NIL T) 587 12582912 18 (MEMQ T)) \DECLOFBLK/TBOF :D7 (L (0 FORM) I 1 DECLVARSLST) @ (8 GETDECLTYPE 4 \DECLOFBLK/DECLOF1) NIL () TYPEBLOCKOF :D7 (L (0 FORM) F 0 CSATISFIESLIST) @P (5 \DECLOFBLK/TBOF) NIL () \DECLOFBLK/VARDECL :D7 (L (0 VARNAME) F 5 DECLVARSLST) GUAHK5gK @I\JLJhhKLKLLHXJg(19 DREVERSE) (68 ANY 14 ALLOF) () DECLTYPE :D7 (L (0 X)) @@@ (11 USERDECLTYPE) NIL () DECLTYPES :D7 (L (0 DTS)) '@@d[KK IHhZH&J(19 USERDECLTYPE) NIL () DUMPDECLTYPES :D7 (L (0 TL)) C@h@ihIh oh h h Hooh @dHl hd oh JdIh kh Jh kh Jh kh JJ h hddd cg Zh kh JKJL M1Lhd Mh kh Mh ihdd M]Hoh )oh h Ioh h (320 TERPRI 315 PRIN1 303 TERPRI 297 PRIN1 279 PRIN1 260 PRINTDEF 251 POSITION 242 SPACES 235 PRIN2 227 TAB 215 PRINTDEF 202 POSITION 194 SPACES 187 PRIN2 179 GETDECLDEF 168 PRINTDEF 159 POSITION 154 GETDECLTYPEPROP 144 SPACES 137 PRIN2 128 SPACES 121 PRIN2 113 SPACES 106 PRIN2 94 PRIN1 84 TAB 66 PRIN1 49 TERPRI 43 TERPRI 37 PRIN1 27 TERPRI 12 OUTPUT) (175 NOCOPY) ( 310 ")" 292 ")" 274 ")" 89 "(" 61 "(DECLTYPE " 56 "(DECLTYPES" 32 "(DECLARE: EVAL@COMPILE") GETDECLDEF :D7 (L (2 OPTIONS 1 FPTYPE 0 NAME)) f@ BgB gBi"H*g@HIJJ H IKK BgBgBh@o (99 DECLERROR 67 COPY 50 COPY 4 FINDDECLTYPE) (85 NOERROR 76 NOERROR 55 TYPEBLOCK 35 DECLTYPE 20 NOCOPY 9 NOCOPY) ( 95 "is not a DECLTYPE") COVERS :D7 (L (1 LO 0 HI)) @ A i(13 COVERSTB 9 GETDECLTYPE 4 GETDECLTYPE) NIL () GETDECLTYPEPROP :D7 (L (1 PROP 0 TYPE)) @ A (9 GETTBPROP 4 GETDECLTYPE) NIL () SETDECLTYPEPROP :D7 (L (2 VAL 1 PROP 0 NAME)) ;@dd3@o@ @ o@ ABh @Ahg B(55 MARKASCHANGED 42 REPROPTB 33 DECLERROR 22 FINDDECLTYPE 16 DECLERROR) (51 DECLTYPES) ( 28 "Can't set property of non-existent type:" 11 "Can't set property of non-atomic type:") SUBTYPESA0001 :D7 (L (0 S) F 0 TYPES F 1 CT) @d3@Q@ @Pc(13 GETCTYPE) NIL () SUBTYPES :D7 (L (0 NAME) P 2 CT P 1 TYPES) F@ !H Zdg/HgHh `g Ighh(55 MAPHASH 42 \APPEND2 12 GETCTYPE 4 GETDECLTYPE) (63 NONE 51 SUBTYPESA0001 47 DECLTYPESARRAY 30 ONEOF 18 NONE) () SUPERTYPESA0001 :D7 (L (0 TB) F 0 CN F 1 TYPES) (@d3@ Pg@ h@P@Qc(20 SUBTYPES) (12 NONE) () SUPERTYPES :D7 (L (0 NAME) P 1 TYPES P 0 CN) "@ Hg`g I(30 MAPHASH 8 GETCTYPE 4 GETDECLTYPE) (26 SUPERTYPESA0001 22 DECLTYPESARRAY 16 ANY) () CHECKTYPEXP :D7 (L (0 TE)) @ o@ (15 DECLERROR 4 TETYPE) NIL ( 10 "Invalid type expression") COLLECTTYPES :D7 (L (1 MERGE 0 TYPES)) @qH KhIQKY Kh\ hJKHXJM%AdgMJ gJM MiLK^ iIKIY_AdgOI gIO hN(152 SHOULDNT 147 COVERSTB 131 COVERSTB 82 SHOULDNT 77 COVERSTB 63 COVERSTB 22 GETDECLTYPE) (137 DOWN 120 UP 69 DOWN 54 UP) () COVERSCTYPE :D7 (L (1 L 0 H)) 7@A%AdgAHh@I IiHXAb(35 COVERSCTYPE) (12 NONE) () COVERSTB :D7 (L (1 L 0 H)) #@A@ A @A (32 COVERSTE 18 COVERSCTYPE 14 GETCTYPE 9 GETCTYPE) NIL () COVERSTE :D7 (L (1 L 0 H)) @ dgYA g/A1Hi@Zhh[I KiJHX@HhYA IiHXgA g AHi@ HX(136 MEMBER 111 TETYPE 88 COVERS 56 COVERS 18 TETYPE 4 TETYPE) (115 MEMQ 103 MEMQ 22 ONEOF 9 ONEOF) () CREATEFNPROP :D7 (L (1 PN 0 PL)) @A dA (14 CREATEFNVAL 5 FINDPROP) NIL () CREATEFNVAL :D7 (L (1 FNAME 0 FVAL)) ,@`@di @Adgggg(15 DWIMIFY) (41 REALSETQ 34 SETFN 29 PROGN 23 BINDFN 5 DWIMFLG) () DECLERROR :D7 (L (1 MSG2 0 MSG1) F 0 DECLERROR) g ic@A (22 ERROR 15 ERROR! 7 BOUNDP) (3 DECLERROR) () DELETETB :D7 (L (0 TB)) ;@HgHgoH @ @ hH @gH (54 PACK* 44 NOTICETB 38 UNCOMPLETE 33 UNSAVETYPE 27 DECLERROR) (49 Deleted 16 NONE 9 ANY) ( 22 "(Futile) attempt to delete") FINDDECLTYPE :D7 (L (0 TE)) *@d` @` ` @ (39 RECDTYPE 32 GETHASH 23 GETHASH 12 GETHASH) (28 DECLTYPESARRAY 19 DECLTYPESARRAY 8 CLISPARRAY) () FINDPROP :D7 (L (1 P 0 L)) @HY AIIiINIL NIL () FINDTYPEXPA0001 :D7 (L (0 TB) F 0 TYPE) '@"P@P@@P@P g@ (36 RETFROM 27 NOTICETB) (31 FINDTYPEXP) () FINDTYPEXP :D7 (I 0 TYPE) `g h(11 MAPHASH) (7 FINDTYPEXPA0001 3 DECLTYPESARRAY) () GETCTYPE :D7 (L (0 TB)) /@)g@ o@ @d@ (41 MAKECTYPE 27 DECLERROR 14 DECLRECURSING) (9 GETCTYPE) ( 19 "Invalid recursive type definition") GETDECLTYPE :D7 (L (1 VARNAME 0 TE)) %@ @d @dA @o (34 DECLERROR 23 MAKEDECLTYPE 14 FINDTYPEXP 4 FINDDECLTYPE) NIL ( 30 "is not a DECLTYPE") GETDECLTYPE.NOERRORA0001 :D7 (P 1 SI::*CATCH-RETURN-FROM* P 0 SI::*DUMMY-FOR-CATCH* F 3 TE F 4 VAR F 5 SI::NLSETQ-VALUE) ,i@ST Z JdJ Jhc g(31 MAKETESTFN 15 GETCTYPE 10 GETDECLTYPE) (41 :NORMAL 22 TYPEBLOCK) () GETDECLTYPE.NOERROR :D7 (P 3 SI::*NLSETQFLAG* P 2 *PROCEED-CASES* P 1 SI::NLSETQ-VALUE P 0 DECLERROR I 1 VAR I 0 TE F 4 *PROCEED-CASES*) +`TJ gI Hh(40 ERROR! 19 GETDECLTYPE.NOERRORA0001) (24 :NORMAL 9 SI::NLSETQ-PROCEED-CASE) () GETTBPROP :D7 (L (1 P 0 TB)) \Adg@G@ g@2@ Ag@@ @ A @A (86 INHERITPROP 78 FINDPROP 65 MAKETESTFN 43 MAKESETFN 22 MAKEBINDFN) (71 TYPEBLOCK 56 TYPEBLOCK 49 TESTFN 34 TYPEBLOCK 27 SETFN 13 PCTNODE 5 BINDFN) () INHERITPROP :D7 (L (1 PROP 0 TB))  @AHH dgdgGHA gA gKdL"HYiKKJA hIL dgdgdgHdg7g0H"dd3 g NMh_M&OGdgAggg )H$dgdgHgggA (265 GETDECLTYPEPROP 219 RETFROM 168 TYPENAME 100 RETFROM 87 GETDECLTYPEPROP 52 GETDECLTYPEPROP 43 GETDECLTYPEPROP 19 TETYPE) (260 ANY 255 LISTP 249 TUPLE 238 SYNONYM 231 SUBTYPE 215 PROGN 211 INHERITPROP 205 BINDFN 196 SHARED 163 LARGEP 143 ONEOF 135 MEMQ 122 WHOSE 115 SATISFIES 108 OF 58 INHERITPROP 47 ANY 31 ONEOF 24 ALLOF) () INITDECLTYPESA0001 :D7 (NAME SI::*UNWIND-PROTECT* I 0 SI::*CLEANUP-FORMS*) hoRd!`dHHddIH ZgJgJgoHghgoo goo goo goh goo goo goo goh goo goo goh goo goo goo goo hoo goo goh goo goo h(398 MAKEDECLTYPE 382 MAKEDECLTYPE 366 MAKEDECLTYPE 353 MAKEDECLTYPE 337 MAKEDECLTYPE 324 MAKEDECLTYPE 308 MAKEDECLTYPE 292 MAKEDECLTYPE 276 MAKEDECLTYPE 260 MAKEDECLTYPE 247 MAKEDECLTYPE 231 MAKEDECLTYPE 215 MAKEDECLTYPE 202 MAKEDECLTYPE 186 MAKEDECLTYPE 170 MAKEDECLTYPE 154 MAKEDECLTYPE 141 MAKEDECLTYPE 125 MAKEDECLTYPE 109 MAKEDECLTYPE 39 NOTICETB) (386 STRINGP 370 STACKP 357 ALIST 341 LST 312 FUNCTION 296 FLOATP 280 LARGEP 264 SMALLP 251 CARDINAL 235 FIXP 219 NUMBERP 206 BOOL 190 LITATOM 174 ATOM 158 READTABLEP 145 HASHARRAY 129 LISTP 113 HARRAYP 97 ARRAYP 81 ANY 72 LAMBDA 68 TYPEBLOCK 60 REALSETQ 56 TYPEBLOCK 48 PROGN 44 PCTNODE 19 |TYPEBLOCKTYPE#| 4 FILEPKGFLG) ( 394 (TESTFN STRINGP EVERYFN EVERYCHAR) 390 (SUBTYPE ANY) 378 (TESTFN STACKP) 374 (SUBTYPE ANY) 361 (LST OF LISTP) 349 (EVERYFN EVERY) 345 (ONEOF LISTP NIL) 333 (TESTFN NULL) 329 (MEMQ NIL) 320 (TESTFN FNTYP) 316 (SUBTYPE ANY) 304 (TESTFN FLOATP) 300 (SUBTYPE NUMBERP) 288 (TESTFN LARGEP) 284 (SUBTYPE FIXP) 272 (TESTFN SMALLP) 268 (SUBTYPE FIXP) 255 (FIXP (SATISFIES (IGEQ VALUE 0))) 243 (TESTFN FIXP) 239 (SUBTYPE NUMBERP) 227 (TESTFN NUMBERP) 223 (SUBTYPE ATOM) 210 (MEMQ NIL T) 198 (TESTFN LITATOM) 194 (SUBTYPE ATOM) 182 (TESTFN ATOM) 178 (SUBTYPE ANY) 166 (TESTFN READTABLEP) 162 (SUBTYPE ARRAYP) 149 (ONEOF HARRAYP (LISTP (WHOSE (CAR HARRAYP)))) 137 (TESTFN LISTP EVERYFN EVERY) 133 (SUBTYPE ANY) 121 (TESTFN HARRAYP) 117 (SUBTYPE ARRAYP) 105 (TESTFN ARRAYP) 101 (SUBTYPE ANY) 76 (VALUE) 8 (ANY NONE)) INITDECLTYPES :D7 (P 0 SI::*RESETFORMS*) Mg ` l lgh g`hg $(70 SI::RESETUNWIND 66 \MVLIST 62 INITDECLTYPESA0001 40 FILEPKGCHANGES 23 HARRAY 16 CLRHASH 7 BOUNDP) (58 SI::RESETUNWIND 48 FILEPKGFLG 44 FILEPKGFLG 35 DECLTYPES 30 DECLTYPESARRAY 12 DECLTYPESARRAY 3 DECLTYPESARRAY) () MAKECTYPE :D7 (L (0 TE)) +@ dg+@g dHdd H dg@g d@ hdgdg@ @d gc@o"IH)KIhIKIKKhIIKI rK KdIhhJd3 g HX dgdgdg@"dg@g@ g h(294 GETCTYPE 290 GETDECLTYPE 286 SHOULDNT 228 TETYPE 217 TYPENAME 180 LCCTYPE 120 TETYPE 112 GETCTYPE 108 GETDECLTYPE 83 LCCTYPE 72 COLLECTTYPES 52 GETCTYPE 39 GETCTYPE 23 COLLECTTYPES 4 TETYPE) (281 LISTP 271 TUPLE 259 SUBTYPE 247 WHOSE 240 SATISFIES 233 OF 212 LARGEP 124 MEMQ 98 SYNONYM 91 SHARED 68 UP 58 ONEOF 19 DOWN 9 ALLOF) ( 134 (NIL)) MAKEDECLTYPE :D7 (L (2 PROPS 1 DECL 0 NAME)) vA  `@dHB dI H dA hB>HBg HBg HBg Bg H(114 CREATEFNPROP 102 CREATEFNPROP 85 CREATEFNPROP 68 CREATEFNPROP 41 COPY 35 NOTICETB 24 COPY 4 CHECKTYPEXP) (110 EVERYFN 98 TESTFN 93 TYPEBLOCK 81 SETFN 76 TYPEBLOCK 64 BINDFN 59 PCTNODE 11 |TYPEBLOCKTYPE#|) () MAKEBINDFN :D7 (L (0 TB)) @@g HII(13 INHERITPROP) (9 BINDFN 4 PCTNODE) () MAKESETFN :D7 (L (0 TB)) @@g HII(13 INHERITPROP) (9 SETFN 4 TYPEBLOCK) () MAPTYPEUSERSA0001 :D7 (I 0 TB F 0 NAME F 1 FN) P@ @kQ(8 USESTYPE) NIL () MAPTYPEUSERS :D7 (I 1 FN I 0 NAME) `g (11 MAPHASH) (7 MAPTYPEUSERSA0001 3 DECLTYPESARRAY) () NOTICETB :D7 (L (1 TEXP 0 TBLOCK)) Add` A@` (23 PUTHASH 12 PUTHASH) (19 DECLTYPESARRAY 8 CLISPARRAY) () PPDTYPEA0001 :D7 (L (0 S) F 0 I) P@@h kh (20 SPACES 14 PRIN1) NIL () PPDTYPE :D7 (L (0 TYPE) P 3 I) {l@d@ oh Ih oh Ioh Hhd oh I+I dHl jh `g oh Id,Hhd oh Ih ihdd I*Hhd oh Ih ihdd Id,Hhd oh Ih ihdd I IHhd oh I +ZHl jh Jh oh Jh I(375 TERPRI 365 PRIN2 356 PRIN1 346 PRIN1 338 TAB 317 PRIN1 307 TAB 290 PRINTDEF 281 POSITION 268 PRIN1 258 TAB 239 PRINTDEF 230 POSITION 217 PRIN1 207 TAB 190 PRINTDEF 181 POSITION 168 PRIN1 158 TAB 139 PRIN1 124 MAPHASH 111 TAB 94 GETCTYPE 83 PRIN1 73 TAB 66 PRIN1 50 PRIN1 40 PRIN1 32 PRIN1 20 GETDECLTYPE 5 POSITION) (323 TYPEBLOCK 296 TYPEBLOCK 274 TYPEBLOCK 246 TYPEBLOCK 223 TYPEBLOCK 196 TYPEBLOCK 174 PCTNODE 146 PCTNODE 120 PPDTYPEA0001 116 DECLTYPESARRAY 12 TYPEBLOCK) ( 351 " = " 312 "Property: " 263 "Testfn: " 212 "Setfn: " 163 "Bindfn: " 134 "... not completed..." 78 "Suptypes: " 61 "No type expression" 45 " = " 27 "DECLTYPE: ") RECDTYPEA0001A0002 :D7 (P 1 SI::*CATCH-RETURN-FROM* P 0 SI::*DUMMY-FOR-CATCH* F 2 TST F 3 SI::NLSETQ-VALUE) i@Rg hcg(13 RECORDTRAN) (21 :NORMAL 9 DTYPE?TRAN) () RECDTYPEA0001 :D7 (NAME SI::*UNWIND-PROTECT* P 3 *CONDITION-HANDLER-BINDINGS* P 2 SI::*NLSETQFLAG* P 1 *PROCEED-CASES* P 0 SI::NLSETQ-VALUE I 0 SI::*CLEANUP-FORMS* F 4 *PROCEED-CASES* F 5 *CONDITION-HANDLER-BINDINGS*) -hi`TioUI gH(33 RECDTYPEA0001A0002) (38 :NORMAL 16 SI::NLSETQ-PROCEED-CASE 9 DWIMESSGAG 4 CLISPCHANGE) ( 23 (CL:ERROR . SI::NLSETQHANDLER)) RECDTYPE :D7 (L (0 R) P 4 SI::*RESETFORMS* P 0 TST) g@ghh1g`g`hg $@ Y`d@@ dgI h hZdggo`gg@hhgHH` Hh` h I` l [JKK J(214 SETTBPROP 201 FNTH 195 GETHASH 186 SETTBPROP 177 SUBST 172 PUTHASH 162 GETHASH 106 COPY 99 RECDEFTYPE 89 NOTICETB 73 RECLOOK 57 SI::RESETUNWIND 53 \MVLIST 49 RECDTYPEA0001) (191 CLISPARRAY 168 CLISPARRAY 158 CLISPARRAY 149 VALUE 137 RECORD 133 ASSERT%: 129 COMMENTFLG 121 LAMBDA 117 TESTFN 94 SUBTYPE 78 |TYPEBLOCKTYPE#| 45 SI::RESETUNWIND 34 DWIMESSGAG 30 DWIMESSGAG 25 CLISPCHANGE 21 CLISPCHANGE 8 NILL 3 type?) ( 125 (VALUE)) DECLCHANGERECORD :D7 (L (2 OLDFLG 1 RFIELDS 0 RNAME)) \@AB BR@` HdBH Y2`IY%IgIYg@IH (89 DELETETB 38 MAKETESTFN 18 GETHASH 6 REALCHANGERECORD) (74 RECORD 61 ASSERT%: 45 COMMENTFLG 29 TYPEBLOCK 14 DECLTYPESARRAY) () RECDEFTYPE :D7 (L (0 RD)) @dgg@g dggdggdggdg@@dggdggdg@Hd貏Hg@Hgyg(29 DECLOF) (160 LISTP 151 TYPERECORD 138 SUBRECORD 115 RECORD 109 LST 103 PROPRECORD 97 HARRAYP 91 HASHLINK 71 DATATYPE 65 LITATOM 59 ATOMRECORD 53 ALIST 47 ASSOCRECORD 41 ARRAYP 35 ARRAYRECORD 22 ANY 14 CREATE 6 ACCESSFNS) () REPROPTBA0001 :D7 (L (0 X) F 0 NEWP) @Pi (6 REPROPTB) NIL () REPROPTB :D7 (L (2 INHERITING 1 PROPS 0 TB) P 1 NEWP) fAHI@ @g IB@ A A@ A' H@AA B AAh Ab(92 \NCONC2 79 SETTBPROP 74 COPY 46 FINDPROP 29 MAPTYPEUSERS 18 UNSAVETYPE) (55 TYPEBLOCK 38 TYPEBLOCK 25 REPROPTBA0001) () SETTBPROP :D7 (L (3 BLKONLY 2 V 1 P 0 TB)) Adg@Bg^dgBg Qg@Bg 8Ag1@dgdgo@ @Bg C+@d @ AB ABhHI I(145 LISTPUT 116 CREATEFNVAL 99 DECLERROR 60 CREATEFNVAL 37 CREATEFNVAL) (150 TYPEBLOCK 137 TYPEBLOCK 128 TYPEBLOCK 112 TESTFN 107 TYPEBLOCK 86 NONE 79 ANY 69 TESTFN 56 SETFN 51 TYPEBLOCK 43 SETFN 33 EVERYFN 25 EVERYFN 18 BINDFN 13 PCTNODE 5 BINDFN) ( 93 "(Futile) attempt to change TESTFN of") TBDEFPRINT :D7 (L (0 TB)) o@o (17 PACK 13 CONCAT) NIL ( 9 "}" 3 "{DECLTYPE: ") TETYPE :D7 (L (0 TE)) y@dd3@gj@dg/dg'dgdgdgdgdg@@)@dggdgdg@NIL (110 WHOSE 103 SATISFIES 93 OF 87 OF 67 TUPLE 60 SYNONYM 53 SUBTYPE 45 SHARED 37 ONEOF 29 MEMQ 21 ALLOF 10 PRIMITIVE) () UNCOMPLETE :D7 (L (0 TB)) Y@@ g @@ g @@ g @@h@g (86 MAPTYPEUSERS 63 CREATEFNPROP 41 CREATEFNPROP 19 CREATEFNPROP) (82 UNCOMPLETE 59 TESTFN 53 TYPEBLOCK 48 TYPEBLOCK 37 SETFN 31 TYPEBLOCK 26 TYPEBLOCK 15 BINDFN 9 TYPEBLOCK 4 PCTNODE) () UNSAVETYPEA0001 :D7 (L (1 ORIG 0 TRAN) F 0 TYPE) A@P Ah` (18 PUTHASH 6 FORMUSESTB) (14 CLISPARRAY) () UNSAVETYPE :D7 (I 0 TYPE) (`g `@oi oi (37 MSNEEDUNSAVE 28 GETRELATION 11 MAPHASH) (15 MSDATABASELST 7 UNSAVETYPEA0001 3 CLISPARRAY) ( 32 "type declarations" 23 (USE TYPE)) USERDECLTYPE :D7 (L (2 PROPS 1 DECL 0 NAME)) @d3@@` A@H#AH@d B S@g F@g@dgo@ @gHgg H@A gAhB @ o@ (146 DECLERROR 134 DELETETB 128 MAKEDECLTYPE 106 MARKASCHANGED 85 DECLERROR 58 MARKASCHANGED 46 REPROPTB 41 GETDECLTYPE 17 GETHASH) (119 SYNONYM 102 DEFINED 97 CHANGED 91 DECLTYPES 73 NONE 65 ANY 54 DECLTYPES 13 DECLTYPESARRAY) ( 141 "Non-atomic DECLTYPE name" 80 "(Futile) attempt to redefine") USESTYPE :D7 (L (1 TE 0 NAME)) '@AA dg dgdgdgdg!AHh@I IiHXdg0AHhYdd3 dg IiHXdg@A AAbWdgTdgAhbb=dg@Ag-@gAbbg0@A AHhY@I IiHX(292 SHOULDNT 277 USESTYPE 249 USESTYPE 152 USESTYPE 124 TYPENAME 71 USESTYPE 13 TETYPE) (239 WHOSE 224 ALLOF 216 LISTP 203 TUPLE 184 SATISFIES 176 PRIMITIVE 141 OF 119 LARGEP 87 MEMQ 48 SYNONYM 41 SUBTYPE 34 SHARED 26 ONEOF 18 ALLOF) () MAKETESTFN :D7 (L (0 TB)) @ (4 MAKETESTFNBLOCK) NIL () EVERYCHAR :D7 (L (1 FN 0 STRNG)) #@ kYH@I kAhIk԰i(19 NTHCHAR 4 NCHARS) NIL () LARGEP :D7 (L (0 X)) @3 @hNIL NIL () DECLRECURSING :D7 (L (1 ARG 0 NAME)) (@m @mHd hAkH H i(36 RELSTK 28 STKARG 18 STKPOS 6 STKPOS) NIL () SMASHCAR :D7 (L (1 FN 0 L)) @ddkA@NIL NIL () ASSERT :D7 (L (0 ARGS)) >@%dHdd3@H lHh hg Hh (58 ASSERTFAULT 50 EVAL 34 ERRORX 20 \VARASRT) (46 INTERNAL) () ASSERTFAULT :D7 (L (1 VARNAME 0 DECL)) fmg Hmg Aooi oi Hi oA@ i hiHlg@h(82 LISPXPRIN1 77 CONCAT 65 LISPXPRIN2 59 LISPXPRIN1 50 LISPXPRIN1 33 STKNAME 29 REALSTKNTH 13 STKNAME 9 REALSTKNTH) (91 BREAK1 25 ASSERTFAULT 5 ASSERTFAULT) ( 69 ": " 54 " NOT SATISFIED IN " 45 "ASSERTION" 40 "DECLARATION") ASSERTMAC :D7 (L (0 ARGS)) `g@h@AHIddgI\d)gLgLddi3 gLhhhd3@Ld lLh J KhZHXK&(110 ERRORX 99 MAKETESTFORM 95 TYPEBLOCKOF 3 IGNOREDECL) (71 QUOTE 55 ASSERTFAULT 50 OR 36 PROGN 12 ASSERT 8 COMMENTFLG) () \*DECL :D7 (L (0 ARGS) P 0 SATISFIESLIST F 1 SATISFIESLIST) "@ddQg@g (31 APPLY) (27 INTERNAL 21 \DECLPROGN) () *DECLMAC :D7 (L (0 ARGS) F 6 FREEVARS F 7 CSATISFIESLIST) V@@dg@3IhI[dII\ gKIdgHXLIW]ddi3 gMhhYgIhKghh Jh(124 \NCONC2 115 IGNOREDECL) (111 COMPILEIGNOREDECL 102 .CBIND. 90 QUOTE 59 FREE 45 CSATISFIESLIST 12 PROGN) () \CHKINIT :D7 (L (0 ARGS) F 5 SATISFIESLIST) =@AHhYUZI [K I kLJI HX(53 ASSERTFAULT 42 \EVALV1 36 MAKETESTFN 22 GETDECLTYPE) (27 TYPEBLOCK) () CHKINITMAC :D7 (L (0 ARGS) F 7 CSATISFIESLIST) `g@@aHIdgIgLW]L ^N L gMdgMMdi3 gMhMLddi3 gLhhhJ KhZHXzK&(77 APPLYFORM 72 MAKETESTFN 58 GETDECLTYPE 3 IGNOREDECL) (131 QUOTE 109 QUOTE 90 DECLMSGMAC 81 ASSERTFAULT 63 TYPEBLOCK 45 OR 36 PROGN 12 \CHKINIT 8 COMMENTFLG) () DECLCONSTANTP :D7 (L (0 X)) @h@i@d3 @@dgwdgo@dg i H@HgHb@dgdgdgdgdgh@g @dYI i(164 DECLCONSTANTP 152 GETP 79 EXPANDMACRO 73 GETP 29 STRINGP) (148 CTYPE 136 COND 129 PROG 122 GO 114 CLOSER 106 SELECTQ 91 IGNOREMACRO 69 MACRO 58 CONSTANT 50 QUOTE) () DD :D7 (L (0 X)) @g@hhi (18 DEFINE) (5 DLAMBDA) () DECLCLISPTRANA0001 :D7 (NAME SI::*UNWIND-PROTECT* I 0 SI::*CLEANUP-FORMS* F 0 TRAN F 1 RETURNS F 2 FAULTFN F 3 DFORM) MhQ9gQ PhcdhddR P` Ph` cSdhddR h(73 DWIMIFY0? 58 PUTHASH 43 GETHASH 33 DWIMIFY0? 16 DREVERSE) (54 CLISPARRAY 39 CLISPARRAY 11 DPROGN 4 CLISPRETRANFLG) () DECLCLISPTRAN :D7 (L (0 X) P 11 SI::*RESETFORMS* P 4 RETURNS P 2 DFORM I 1 TRAN F 15 NEWSATLIST) oqA@g gAdgiAZZggJZgXWgJh]hBJKg^MHNigJKJ O`IJgI Jg`h g $J` YJh` JII_dg𢿰!OOO O_y_dHOO_VK\O_GOOOdhO7Od(OOOdO&OO OOIYO_~OdgL\b@A (428 REALCLISPTRAN 382 \NCONC2 280 DREVERSE 232 PUTHASH 221 GETHASH 207 SI::RESETUNWIND 203 \MVLIST 199 DECLCLISPTRANA0001 170 DREVERSE 23 GETPROP) (410 RETURNS 258 DECLARE 228 CLISPARRAY 217 CLISPARRAY 195 SI::RESETUNWIND 185 CLISPRETRANFLG 181 CLISPRETRANFLG 165 DECL 136 DLAMBDA 110 DPROG 88 DECLARE 75 LAMBDA 60 FUNCTION 40 PROG 28 FORWORD 19 CLISPWORD) ( 3 (LOCALVARS SPECVARS ADDTOVAR DEFLIST PUTPROPS CONSTANTS SETQQ USEDFREE TYPE)) DECLMSGA0001 :D7 (L (0 TB) F 0 DECLMSG) P@ g@ (15 RETFROM) (9 DECLMSG) () DECLMSG :D7 (I 0 DECLMSG) 0@` @`g @` @`(32 MEMBER 23 MAPHASH 8 GETHASH) (44 DECLMESSAGES 39 DECLMESSAGES 28 DECLMESSAGES 19 DECLMSGA0001 15 DECLTYPESARRAY 4 DECLTYPESARRAY) () DECLDWIMERROR :D7 (L (0 ARGS) F 3 FAULTFN) Oei oi Si oi HkZdIi daii ai Jk԰(71 LISPXPRIN1 64 LISPXTERPRI 52 ERROR! 48 LISPXTERPRI 32 LISPXPRIN1 23 LISPXPRIN1 17 LISPXPRIN1 8 LISPXTERPRI) NIL ( 27 "} " 12 "{in ") DECLDWIMTESTFN :D7 (L (0 TB) F 1 FAULTFN) L@@ Hd6`Hd` $HdhddQ Hd` d` H(72 PUTHASH 62 GETHASH 51 DWIMIFY0? 37 GETHASH 13 MAKETESTFN) (68 CLISPARRAY 58 CLISPARRAY 33 CLISPARRAY 26 CLISPRETRANFLG 4 TYPEBLOCK) () DECLSET :D7 (L (1 VAL 0 VAR)) #@ @oHAHh @ (31 \VARASRT 26 APPLY 4 VARSETFN) NIL ( 9 (QUOTE Q)) DECLSETQ :D7 (L (0 U)) 7g@g @ @oYHIhg @ (51 \VARASRT 45 APPLY 22 VARSETFN 13 APPLY) (41 INTERNAL 9 INTERNAL 3 PROG1) ( 28 (QUOTE Q)) DECLSETQQ :D7 (L (1 YSET 0 XSET)) @oHAHlgNIL (20 DECLSETQ) ( 4 (QUOTE Q)) DLAMARGLIST :D7 (L (0 DEF)) 8@d/1HIdgdJ KhZYHXK&ZNIL (25 RETURNS) () DTYPE?TRAN :D7 (L (0 FORM) F 3 FAULTFN) ui`@g @ @Ho@ I@hddS IdgIH I @JiJIgIiho @(113 REALCLISPTRAN 82 APPLYFORM 77 DECLDWIMTESTFN 57 DWIMIFY0? 45 DECLDWIMERROR 26 GETDECLTYPE.NOERROR 18 /RPLACA) (98 PROGN 67 PROGN 14 type? 8 LCASEFLG 4 CLISPCHANGE) ( 109 (PROGN T) 38 "invalid type declaration: ") EDITNEWSATLIST :D7 (F 1 L) AQ7dH,HXdd3@HXd3@H`Hg gih(47 GETPROP) (52 FORWORD 43 CLISPWORD 35 DECLATOMS) () FORMUSESTB :D7 (L (2 TB 1 TRANS 0 FORM) F 0 TRAN) K@@o?P;Pg2@g gP cg Pg(49 LAST 35 GETP) (71 \*DECL 58 RETURN 41 FORWORD 31 CLISPWORD 21 \*DECL) ( 8 (type? TYPE? the THE DLAMBDA DPROG DPROGN)) IGNOREDECL :D7 (F 0 COMPILEIGNOREDECL) PiPgg P i(25 MEMB 20 EVALV) (16 COMPILE1 12 FN) () MAKETESTFORM :D7 (L (1 TYPE 0 VAR)) uAA @ Hi`g@hhgHgAYdgIIdi3 gIhI@ddi3 g@hhh(18 APPLYFORM 13 MAKETESTFN) (102 QUOTE 80 QUOTE 61 DECLMSGMAC 50 ASSERTFAULT 45 OR 33 ASSERT 29 COMMENTFLG 4 TYPEBLOCK) () SETQMACA0001 :D7 (P 1 SI::*CATCH-RETURN-FROM* P 0 SI::*DUMMY-FOR-CATCH* F 2 ARGS F 3 TST F 4 TEMP F 5 SI::NLSETQ-VALUE) ,i@R kScogR hc g(33 COMPEM 11 EVAL) (41 :NORMAL 27 SETQ) ( 23 " Warning: Probable type fault in") SETQMAC :D7 (P 8 *CONDITION-HANDLER-BINDINGS* P 7 SI::*NLSETQFLAG* P 6 *PROCEED-CASES* P 5 SI::NLSETQ-VALUE P 4 HELPFLAG P 3 TEMP P 2 TST I 0 ARGS F 9 *PROCEED-CASES* F 10 *CONDITION-HANDLER-BINDINGS*) @ HH @YHgHH gU@ LHH !J J h)`WioWN gMK%HdH gI@ IgI@H h(199 MAKETESTFORM 184 COVERSTB 180 TYPEBLOCKOF 165 MAKESETFN 134 SETQMACA0001 104 FREEVARS 98 SUBRP 90 MAKETESTFN 74 DECLCONSTANTP 60 MAKESETFN 29 IGNOREDECL 22 MAKESETFN 5 TYPEBLOCKOF) (191 PROG1 169 REALSETQ 156 TYPEBLOCK 139 :NORMAL 115 SI::NLSETQ-PROCEED-CASE 81 TYPEBLOCK 64 REALSETQ 51 TYPEBLOCK 41 ANY 13 TYPEBLOCK) ( 123 (CL:ERROR . SI::NLSETQHANDLER)) THETRAN :D7 (L (0 FORM) F 4 FAULTFN) i`@g @ 1Ho@ @@dhdT H g @dg@@JiK`ggogJghigg@dg@Yddi3 gIhhhhhK h @(199 REALCLISPTRAN 192 APPLYFORM 72 APPLYFORM 64 DECLDWIMTESTFN 58 DWIMIFY0? 42 DECLDWIMERROR 26 GETDECLTYPE.NOERROR 18 /RPLACA) (168 QUOTE 145 DECLMSGMAC 134 VALUE 130 VALUEERROR 122 VALUE 117 COND 109 LAMBDA 105 \CHKVAL 83 PROGN 68 VALUE 14 the 8 LCASEFLG 4 CLISPCHANGE) ( 113 (VALUE) 35 "invalid type declaration: ") VALUEERROR :D7 (L (1 DECL) I 0 VALUE) Toi mHghH Xd d3@𢿰 i H gigAholg(55 RELSTK 49 LISPXPRIN2 44 STKNAME 32 STKNAME 26 REALSTKNTH 8 LISPXPRIN1) (79 BREAK1 65 VALUE 60 VALUE 20 VALUEERROR) ( 73 (EVAL) 3 " VALUE ASSERTION NOT SATISFIED IN ") VARSETFN :D7 (L (0 VARNAME) F 3 SATISFIESLIST) 7S!Hg@IHXg@ ZJ (52 MAKESETFN 38 GETDECLTYPE) (43 TYPEBLOCK 31 ANY 11 REALSETQ) () STARTDECLS :D7 (F 2 LINKEDFNS F 3 MACROPROPS F 4 SYSLINKEDFNS F 5 MSTEMPLATES) odgH odgH o?dHgH (g g HTgH RcS(dgH YgHI gH S(dgH YgHI gH g `go godHHU i (271 DODECLS 261 PUTHASH 241 INITDECLTYPES 231 ASKUSER 213 BOUNDP 200 REMPROP 190 PUTPROP 178 GETPROP 156 REMPROP 146 PUTPROP 134 GETPROP 107 PACK* 92 BOUNDP 82 BOUNDP 72 MOVD? 68 PACK* 42 MOVD? 18 MOVD?) (235 N 223 N 219 DWIMWAIT 209 DECLTYPESARRAY 195 REALSET 184 REALSET 173 SET 151 REALSETQ 140 REALSETQ 129 SETQ 102 REAL 88 LINKEDFNS 78 SYSLINKEDFNS 63 REAL 37 PROGN 13 QUOTE) ( 246 ((COVERS CALL (IF (EQ (CAR EXPR) (QUOTE QUOTE)) (NIL (@ (TYPEMSANAL COVERS) (QUOTE ((.. TYPE))))) EVAL) (IF (EQ (CAR EXPR) (QUOTE QUOTE)) (NIL (@ (TYPEMSANAL COVERS) (QUOTE ((.. TYPE))))) EVAL) . PPE) (SELCOVERSQ . MACRO) (SELTYPEQ . MACRO) (\*DECL NIL (IF NULL NIL (IF (LISTP (CAAR EXPR)) ((.. (@ (TYPEMSANAL \*DECL) (QUOTE ((.. TYPE) TEST))))) (.. (@ (TYPEMSANAL \*DECL) (QUOTE ((.. TYPE) TEST)))))) .. EFFECT RETURN) (\CHKINIT NIL) (\CHKVAL NIL EVAL) (THE @ (TYPEMSANAL the) (QUOTE (CLISP (.. TYPE) RETURN))) (TYPE? @ (TYPEMSANAL type?) (QUOTE (CLISP (.. TYPE) RETURN))) (the @ (TYPEMSANAL the) (QUOTE (CLISP (.. TYPE) RETURN))) (type? @ (TYPEMSANAL type?) (QUOTE (CLISP (.. TYPE) RETURN))) (VALUEERROR NIL)) 227 "Reinitialize DECLTYPE lattice? " 51 (CHANGERECORD CLISPTRAN SETQ SET SETQQ) 27 (\CHKVAL \DECLPROGN) 3 (DECL WHOSE)) DODECLS :D7 (L (0 FLG) F 14 COMPILEIGNOREDECL) @hcoob@qIhI0 HYd[K 0 KdZKJ h_O!O__O_OOh_ _OO&_O@HWISd_\%O@LdigO L Od^]ONM ON @Ih@(207 REMPROP 197 PUTPROP 176 PUTD 170 GETD 166 PACK* 102 LAST 56 GETPROP 39 GETD) (159 DECL) ( 12 (NIL) 8 ((CHANGERECORD T) (CLISPTRAN T) (SET T) (SETQ T BYTEMACRO NIL MACRO (ARGS (SETQMAC ARGS))) (SETQQ T) (TYPE? NIL CLISPWORD (DTYPE?TRAN . type?)) (type? NIL CLISPWORD (DTYPE?TRAN . type?)))) (PRETTYCOMPRINT DECLCOMS) (RPAQQ DECLCOMS ((* DECLTYPE machinery, declaration translator, and declaration enforcer) (LOCALVARS . T) (GLOBALVARS FILEPKGFLG CLISPCHANGE CLISPARRAY DWIMESSGAG NOSPELLFLG MSDATABASELST DECLTYPESARRAY COMMENTFLG CLISPCHARS DECLATOMS LCASEFLG DECLMESSAGES CLISPRETRANFLG) (E (RESETSAVE CLISPIFYPRETTYFLG NIL) (RESETSAVE PRETTYPRINTMACROS (APPEND (QUOTE ((DECL . QUOTE) (DPROGN . QUOTE) (DLAMBDA . QUOTE) ( DPROG . QUOTE))) PRETTYPRINTMACROS))) (COMS (* Interface to file package) (FNS DECLTYPE DECLTYPES DUMPDECLTYPES GETDECLDEF) (FILEPKGCOMS DECLTYPES IGNOREDECL) (PROP ARGNAMES DECLTYPE)) (* User functions) (FNS COVERS GETDECLTYPEPROP SETDECLTYPEPROP SUBTYPES SUPERTYPES) (MACROS SELCOVERSQ SELTYPEQ) (ALISTS (PRETTYEQUIVLST SELCOVERSQ SELTYPEQ) (DWIMEQUIVLST SELCOVERSQ SELTYPEQ)) (P ( SETSYNONYM (QUOTE (THE TYPE)) (QUOTE (AS A TYPE)))) (* Internal machinery) (DECLARE%: DONTCOPY ( RECORDS TYPEBLOCK TYPEDEF) (ALISTS (PRETTYPRINTYPEMACROS TYPEBLOCK))) (INITRECORDS TYPEBLOCK) (P ( DEFPRINT (QUOTE TYPEBLOCK) (QUOTE TBDEFPRINT))) (FNS CHECKTYPEXP COLLECTTYPES COVERSCTYPE COVERSTB COVERSTE CREATEFNPROP CREATEFNVAL DECLERROR DELETETB FINDDECLTYPE FINDPROP FINDTYPEXP GETCTYPE GETDECLTYPE GETDECLTYPE.NOERROR GETTBPROP INHERITPROP INITDECLTYPES LCCTYPE LCC2 MAKECTYPE MAKEDECLTYPE MAKEBINDFN MAKESETFN MAPTYPEUSERS NOTICETB PPDTYPE RECDTYPE DECLCHANGERECORD RECDEFTYPE REPROPTB SETTBPROP TBDEFPRINT TETYPE TYPEMSANAL TYPEMSANAL1 UNCOMPLETE UNSAVETYPE USERDECLTYPE USESTYPE) (BLOCKS (LCCTYPE LCCTYPE LCC2) (TYPEMSANAL TYPEMSANAL TYPEMSANAL1)) (* Test fn creation block) (FNS MAKETESTFN MAKETESTFNBLOCK COMBINE.TESTS FUNIFY MKNTHCAR MKNTHCDR OF.TESTFN TUPLE.TESTFN WHOSE.TESTFN) (BLOCKS (MAKETESTFNBLOCK MAKETESTFNBLOCK COMBINE.TESTS FUNIFY MKNTHCAR MKNTHCDR OF.TESTFN TUPLE.TESTFN WHOSE.TESTFN)) (* Machinery to compile recursive testfns) (FILES (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) LABEL) (* Idioms. Expressed as macros for now) (DECLARE%: DONTCOPY EVAL@COMPILE (VARS DefaultBindFn DefaultSetFn) (ADDVARS (NLAMA MAKEDECLTYPEQ)) (MACROS ANYC DECLVARERROR DTYPENAME foreachTB GETCGETD KWOTEBOX LAMBIND LAMVAL MAKEDECLTYPEQ NONEC TESTFORM) (FNS TESTFORM) (ADDVARS (DONTCOMPILEFNS TESTFORM)) (TEMPLATES foreachTB MAKEDECLTYPEQ)) (* Runtime utility functions) (FNS EVERYCHAR LARGEP DECLRECURSING SMASHCAR) (DECLARE%: EVAL@COMPILE (MACROS LARGEP)) ( DECLARE%: DONTCOPY EVAL@COMPILE (MACROS SMASHCAR)) (* translator of dprogs and dlambdas) (FNS ASSERT ASSERTFAULT ASSERTMAC \*DECL *DECLMAC \CHKINIT CHKINITMAC DECLCONSTANTP DD DECLCLISPTRAN DECLMSG DECLDWIMERROR DECLDWIMTESTFN DECLSET DECLSETQ DECLSETQQ DECLTRAN DECLVAR DLAMARGLIST DTYPE?TRAN EDITNEWSATLIST FORMUSESTB IGNOREDECL MAKETESTFORM PPDECL PPVARLIST SETQMAC THETRAN VALUEERROR \VARASRT VARASRT1 VARSETFN) (BLOCKS (DECLTRAN DECLTRAN DECLVAR) (PPDECL PPDECL PPVARLIST) (\VARASRT \VARASRT VARASRT1)) (* Declaration database fns) (FNS DECLOF DECLOF1 TBOF TYPEBLOCKOF VARDECL) (BLOCKS ( DECLOFBLK DECLOF DECLOF1 TBOF TYPEBLOCKOF VARDECL (ENTRIES DECLOF TYPEBLOCKOF))) (* Enabling and disabling fns) (DECLARE%: EVAL@COMPILE DONTCOPY (RECORDS FNEQUIVS) (MACROS MOVEPROP PUTIFPROP)) (FNS STARTDECLS DODECLS) (FILES (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) LAMBDATRAN) (DECLARE%: EVAL@COMPILE (FILES (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) SIMPLIFY)) (DECLARE%: EVAL@COMPILE DONTCOPY (* the old NOBOX code.) (FNS IBOX FBOX NBOX) (P (MOVD? (QUOTE LIST) (QUOTE LBOX)) (MOVD? ( QUOTE CONS) (QUOTE CBOX))) (RECORDS FBOX IBOX) (MACROS IBOX FBOX NBOX) (MACROS CBOX LBOX) (I.S.OPRS scratchcollect) (ADDVARS (SYSLOCALVARS $$SCCONS $$SCPTR) (INVISIBLEVARS $$SCCONS $$SCPTR)) (* Definition of WITH. From WITH.) (MACROS WITH) (TEMPLATES WITH) (P (REMPROP (QUOTE WITH) (QUOTE CLISPWORD)) (ADDTOVAR DWIMEQUIVLST (WITH . PROG)) (ADDTOVAR PRETTYEQUIVLST (WITH . PROG)))) (DECLARE%: DOCOPY (DECLARE%: EVAL@LOADWHEN (NEQ (SYSTEMTYPE) (QUOTE D)) (P (OR (GETPROP (QUOTE LOADTIMECONSTANT) (QUOTE FILEDATES)) (PROG ((X (FINDFILE (PACKFILENAME (QUOTE NAME) (QUOTE LOADTIMECONSTANT) (QUOTE EXTENSION) COMPILE.EXT) T LISPUSERSDIRECTORIES))) (COND (X (LOAD X (QUOTE SYSLOAD))) ((NOT (GETPROP ( QUOTE LOADTIMECONSTANT) (QUOTE MACRO))) (PUTPROP (QUOTE LOADTIMECONSTANT) (QUOTE MACRO) (QUOTE ((FORM) (CONSTANT FORM))))))))))) (ADDVARS (OPENFNS \DECLPROGN \CHKVAL \CHKINIT ASSERT \*DECL \VARASRT)) ( PROP CLISPWORD DPROG DPROGN THE the) (PROP INFO DLAMBDA DPROG DPROGN) (VARS (SATISFIESLIST) ( CSATISFIESLIST) (NEWSATLIST T)) (INITVARS (DECLMESSAGES) (COMPILEIGNOREDECL)) (ADDVARS (DECLATOMS DLAMBDA DPROG DPROGN) (LAMBDASPLST DLAMBDA) (SYSLOCALVARS VALUE) (DESCRIBELST ("types: " ( GETRELATION FN (QUOTE (USE TYPE))))) (BAKTRACELST (\DECLPROGN (DPROGN APPLY *PROG*LAM \*DECL *ENV*) ( NIL APPLY *PROG*LAM \*DECL)) (PROG (DPROG \DECLPROGN APPLY *PROG*LAM \*DECL)))) (DECLARE%: EVAL@COMPILE DONTCOPY (RECORDS SLISTENTRY VARDECL)) (ALISTS (LAMBDATRANFNS DLAMBDA)) (DECLARE%: DONTEVAL@LOAD (E (* Declare is so PRETTYPRINTMACROS don't get set up during LOADFROM, when PPDECL is not being defined. Don't use ALIST for print macros cause entries are removed while DECL is being dumped)) (ADDVARS (PRETTYPRINTMACROS (DPROGN . PPDECL) (DECL . PPDECL) (DLAMBDA . PPDECL) (DPROG . PPDECL)))) (PROP INFO ASSERT) (MACROS ASSERT .CBIND. \CHKINIT \CHKVAL \*DECL DECL DECLMSGMAC REALSETQ) (* MACROS REALSET) (P (AND (GETD (QUOTE STARTDECLS)) (STARTDECLS)) (PROG ((COM (CDR (ASSOC (QUOTE DW) EDITMACROS)))) (AND COM (RPLACD COM (CONS (APPEND (QUOTE (RESETVAR NEWSATLIST (EDITNEWSATLIST))) (CDR COM))))))) (* Builtin DECLOF properties) (PROP DECLOF APPEND CONS EQ LIST LISTP NCONC) (DECLARE%: EVAL@COMPILE DONTCOPY (P (RESETSAVE DWIMIFYCOMPFLG NIL) (AND (GETD (QUOTE DODECLS)) (RESETSAVE ( DODECLS) (QUOTE (DODECLS T)))))) (DECLARE%: DONTEVAL@LOAD DOEVAL@COMPILE DONTCOPY COMPILERVARS ( ADDVARS (NLAMA DECLSETQ DECLMSG DD \CHKINIT \*DECL ASSERT DECLTYPES DECLTYPE) (NLAML DECLSETQQ TYPEMSANAL) (LAMA DECLDWIMERROR))))) (PUTDEF (QUOTE DECLTYPES) (QUOTE FILEPKGCOMS) (QUOTE ((COM MACRO (X (E (DUMPDECLTYPES (QUOTE X))))) ( TYPE DESCRIPTION "type declarations" GETDEF GETDECLDEF DELDEF (LAMBDA (NAME) (DELETETB (OR ( FINDDECLTYPE NAME) (DECLERROR "Can't delete non-existent type:" NAME)))))))) (PUTDEF (QUOTE IGNOREDECL) (QUOTE FILEPKGCOMS) (QUOTE ((COM MACRO (X (DECLARE%: DOEVAL@COMPILE DONTEVAL@LOAD DONTCOPY (P (RESETSAVE COMPILEIGNOREDECL (QUOTE X))))))))) (PUTPROPS DECLTYPE ARGNAMES (NIL (NAME TYPE PROP1 VAL1 ...) . X)) (PUTPROPS SELCOVERSQ MACRO (F (LIST (LIST (QUOTE LAMBDA) (QUOTE ($$TMP)) (CONS (QUOTE COND) (MAPLIST ( CDR F) (FUNCTION (LAMBDA (I) (COND ((CDR I) (CONS (LIST (QUOTE COVERS) (KWOTE (CAAR I)) (QUOTE $$TMP)) (CDAR I))) (T (LIST T (CAR I))))))))) (LIST (QUOTE DECLOF) (CAR F))))) (PUTPROPS SELTYPEQ MACRO (F (APPLYFORM (LIST (QUOTE LAMBDA) (QUOTE ($$TMP)) (CONS (QUOTE COND) ( MAPLIST (CDR F) (FUNCTION (LAMBDA (I) (COND ((CDR I) (CONS (LIST (QUOTE TYPE?) (CAAR I) (QUOTE $$TMP)) (CDAR I))) (T (LIST T (CAR I))))))))) (CAR F)))) (ADDTOVAR PRETTYEQUIVLST (SELCOVERSQ . SELECTQ) (SELTYPEQ . SELECTQ)) (ADDTOVAR DWIMEQUIVLST (SELCOVERSQ . SELECTQ) (SELTYPEQ . SELECTQ)) (SETSYNONYM (QUOTE (THE TYPE)) (QUOTE (AS A TYPE))) (/DECLAREDATATYPE (QUOTE TYPEBLOCK) (QUOTE (POINTER POINTER POINTER POINTER POINTER POINTER)) (QUOTE ( (TYPEBLOCK 0 POINTER) (TYPEBLOCK 2 POINTER) (TYPEBLOCK 4 POINTER) (TYPEBLOCK 6 POINTER) (TYPEBLOCK 8 POINTER) (TYPEBLOCK 10 POINTER))) (QUOTE 12)) (DEFPRINT (QUOTE TYPEBLOCK) (QUOTE TBDEFPRINT)) (FILESLOAD (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) LABEL) (DECLARE%: EVAL@COMPILE (PUTPROPS LARGEP MACRO ((X) (AND (FIXP X) (NOT (SMALLP X)))))) (FILESLOAD (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) LAMBDATRAN) (FILESLOAD (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) SIMPLIFY) (DECLARE%: EVAL@LOADWHEN (NEQ (SYSTEMTYPE) (QUOTE D)) (OR (GETPROP (QUOTE LOADTIMECONSTANT) (QUOTE FILEDATES)) (PROG ((X (FINDFILE (PACKFILENAME (QUOTE NAME) (QUOTE LOADTIMECONSTANT) (QUOTE EXTENSION) COMPILE.EXT) T LISPUSERSDIRECTORIES))) (COND (X (LOAD X (QUOTE SYSLOAD))) ((NOT (GETPROP (QUOTE LOADTIMECONSTANT) (QUOTE MACRO))) (PUTPROP (QUOTE LOADTIMECONSTANT) (QUOTE MACRO) (QUOTE ((FORM) ( CONSTANT FORM))))))))) (ADDTOVAR OPENFNS \DECLPROGN \CHKVAL \CHKINIT ASSERT \*DECL \VARASRT) (PUTPROPS DPROG CLISPWORD (DECLTRAN . DPROG)) (PUTPROPS DPROGN CLISPWORD (DECLTRAN . DPROGN)) (PUTPROPS THE CLISPWORD (THETRAN . the)) (PUTPROPS the CLISPWORD (THETRAN . the)) (PUTPROPS DLAMBDA INFO BINDS) (PUTPROPS DPROG INFO (BINDS LABELS)) (PUTPROPS DPROGN INFO EVAL) (RPAQQ SATISFIESLIST NIL) (RPAQQ CSATISFIESLIST NIL) (RPAQQ NEWSATLIST T) (RPAQ? DECLMESSAGES) (RPAQ? COMPILEIGNOREDECL) (ADDTOVAR DECLATOMS DLAMBDA DPROG DPROGN) (ADDTOVAR LAMBDASPLST DLAMBDA) (ADDTOVAR SYSLOCALVARS VALUE) (ADDTOVAR DESCRIBELST ("types: " (GETRELATION FN (QUOTE (USE TYPE))))) (ADDTOVAR BAKTRACELST (\DECLPROGN (DPROGN APPLY *PROG*LAM \*DECL *ENV*) (NIL APPLY *PROG*LAM \*DECL)) (PROG (DPROG \DECLPROGN APPLY *PROG*LAM \*DECL))) (ADDTOVAR LAMBDATRANFNS (DLAMBDA DECLTRAN EXPR DLAMARGLIST)) (ADDTOVAR PRETTYPRINTMACROS (DPROGN . PPDECL) (DECL . PPDECL) (DLAMBDA . PPDECL) (DPROG . PPDECL)) (PUTPROPS ASSERT INFO EVAL) (PUTPROPS ASSERT MACRO (ARGS (ASSERTMAC ARGS))) (PROGN (PUTPROPS .CBIND. BYTEMACRO (APPLY (LAMBDA (PV BODY) (APPLY* (QUOTE PROG) PV (QUOTE (RETURN ( COMP.EXP1 BODY))))))) (PUTPROPS .CBIND. MACRO (X (HELP "Compiler dependent macro must be supplied for .CBIND.")))) (PUTPROPS \CHKINIT MACRO (ARGS (CHKINITMAC ARGS))) (PUTPROPS \CHKVAL MACRO (ARGS (COND ((IGNOREDECL) (COND ((EQ (CAAR ARGS) (QUOTE COND)) (CADADR (CAR ARGS))) (T (CADAR ARGS)))) (T (CAR ARGS))))) (PUTPROPS \*DECL MACRO (ARGS (*DECLMAC ARGS))) (PUTPROPS DECL MACRO (X (COMPEM "DECL in illegal location" (CONS (QUOTE DECL) X)))) (PROGN (PUTPROPS DECLMSGMAC DMACRO ((X . Y) (CONSTANT (DECLMSG X . Y)))) (PUTPROPS DECLMSGMAC MACRO (( X . Y) (LOADTIMECONSTANT (DECLMSG X . Y))))) (PROGN (DEFMACRO REALSETQ (X &REST CL:REST) (CONS (QUOTE CL:SETQ) (CONS X CL:REST))) (PUTPROPS REALSETQ BYTEMACRO COMP.SETQ)) (AND (GETD (QUOTE STARTDECLS)) (STARTDECLS)) (PROG ((COM (CDR (ASSOC (QUOTE DW) EDITMACROS)))) (AND COM (RPLACD COM (CONS (APPEND (QUOTE (RESETVAR NEWSATLIST (EDITNEWSATLIST))) (CDR COM)))))) (PUTPROPS APPEND DECLOF LST) (PUTPROPS CONS DECLOF LISTP) (PUTPROPS EQ DECLOF (MEMQ T NIL)) (PUTPROPS LIST DECLOF (FUNCTION (LAMBDA (FORM) (AND (CDR FORM) (QUOTE LISTP))))) (PUTPROPS LISTP DECLOF LST) (PUTPROPS NCONC DECLOF LST) (PUTPROPS DECL COPYRIGHT ("Xerox Corporation" 1983 1984 1985 1987)) NIL