Trailing-Edge
-
PDP-10 Archives
-
decuslib20-01
-
decus/20-0004/decl.com
There are no other files named decl.com in the archive.
(FILECREATED "14-SEP-82 22:19:44" ("compiled on " <LISPUSERS>DECL.;13) (2 . 2) brecompiled exprs:
INITDECLTYPES TESTFORM in WORK dated " 9-SEP-82 19:19:58")
(FILECREATED "14-SEP-82 22:18:53" <LISPUSERS>DECL.;13 118747 changes to: (FNS INITDECLTYPES) previous
date: "28-JUN-82 12:44:59" <LISPUSERS>DECL.;12)
LCCTYPE BINARY
' " %-. "-. " "Zp b "b #,< [w3B +
,<p [w,< , ,< , +
Zp / + ,<w,<w $3B + Zw+ ,<p ,<w $3B + Zp + ,<w,< ,< ,< Zw~-, + + Z XBw,< ,<w}, ,< Zw3B + ,< ,<w $3B + Zp XBw/ [w~XBw~+ Zp / + b a @ (TL . 1)
(NIL)
(LINKED-FN-CALL . GETDECLTYPE)
(NIL)
(LINKED-FN-CALL . GETCTYPE)
(NIL)
(LINKED-FN-CALL . COVERSCTYPE)
(SKNLST URET2 URET1 BHC KNIL BLKENT ENTER1) " 0
" x 0 H h (
TYPEMSANAL BINARY
A ' <-. '-. (' *Zp 2B *+ Z *,< Z Z XCp QEp ,\ -, +
Z , ,< ,< @ + @ + Z XB Z ,< , uZ
2B + Z ,~ [ ,< Z ,< [ ,< Z ,< ,< ,,\ d ,Z , [ 2D + Zp QD Zp + + 3B -+ 2B -+ L,< .Zp ZwXD [ ,< Z .,< Z Z XCp QEp ,\ -, + (Z , ,< ,< @ + @ + ;Z XB [ Z CZ >, ,~ ,\ XB Zp / + 2B 2+ t,< 2,<p Z 3,< Z Z XCp QEp ,\ -, + TZ , ,< ,< @ + @ + gZ 6XB 3[ HZ ,< , uZ WZ V2B + \Z ,~ [ Z,< Z \,< [ Y,< Z ^,< ,< ,,\ d ,Z ] [ 2D + cZp QD Zp + ,\ XD [ ,< [ WZ b 3,< Zp @ [ 2B + o,<p 4/ ,< Z jd 5,\ XB Zp / + 6+ Zp -, + ~[ -, + |Z v,< Z , ,\ QD [ XB xZp XD + -, + &Zp 3B 7+ 3B 8+ 3B 8+ 3B 9+ 2B 9+
[p ,< Zp -, + Z + Zp ,< , u[p XBp + / + 2B :+ Z + Zp ,< , u[p Z 2B :+ [p [ -, Z Z XBp + u[p Z -, Z Z 2B ;+ Z + 2B ;+ %[p Z [ ,< Zp -, + Z + $Zp ,< [p Z ,< , u/ [p XBp + / + 6+ 6+ p("
A Z BA P /~
$a03 (KIND . 1)
(VARIABLE-VALUE-CELL EXPR . 225)
(VARIABLE-VALUE-CELL CLISPARRAY . 145)
(VARIABLE-VALUE-CELL FNNAME . 141)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 217)
(VARIABLE-VALUE-CELL !SCRATCHTAIL . 248)
COVERS
((NIL) . 0)
(VARIABLE-VALUE-CELL !SCRATCHLIST . 197)
(VARIABLE-VALUE-CELL !SCRATCHTAIL . 0)
(NIL)
(LINKED-FN-CALL . RPLACD)
type?
the
((NIL NIL NIL) . 0)
((NIL) . 0)
(NIL VARIABLE-VALUE-CELL FILEPKGFLG . 0)
(T VARIABLE-VALUE-CELL NOSPELLFLG . 0)
(T VARIABLE-VALUE-CELL DWIMESSGAG . 0)
(NIL VARIABLE-VALUE-CELL LISPXHIST . 0)
(NIL)
(LINKED-FN-CALL . DWIMIFY0?)
*DECL
((NIL NIL) . 0)
((NIL) . 0)
(NIL)
(LINKED-FN-CALL . GETDECLTYPE)
(NIL)
(LINKED-FN-CALL . MAKETESTFN)
(NIL)
(LINKED-FN-CALL . APPLYFORM)
(NIL)
(LINKED-FN-CALL . SHOULDNT)
ALLOF
ONEOF
SHARED
SUBTYPE
TUPLE
MEMQ
OF
SATISFIES
WHOSE
(SKLST SKLA BHC GETHSH URET1 CONSNL SKNLST KNIL BLKENT ENTER1) p p h P# @ t L J x& X h
h u H h P < ` z
H ( ( ` S p @ z
\
X T
P p F ` @ 5 ) % H p 8
p
MAKETESTFNBLOCK BINARY
g -. g-. h iZp @ Z Z ,< Zw@ Z -, +
Zw@ Z 2B + Z i,< @ i @ + $,< jZw,<8 k3B + ZwZ8 @ ,< ZwZ8 @ [ ,< ,< l l ,\ QD ,~ ,<` m2B n+ +[` ,< ,< o o,< ,<p Zp -, + + (,< ,<p Zw@ [ 2B + #Zwb p,< Z d q,\ XB / [p XBp + / Zp / ,< ,< r, $+ 2B s+ T,< sZ $, ,< ,< t t,< Zw~,<8 u3B + B[` [ 3B + :,< vZ -,< [` ,< ,< , ,< ,< , + S,< wZ 5,< [` Z 3B + A3B + A-, + A,< w,< , , + S[` [ 3B + K,< xZ :,< [` 3B + J3B + J-, + J,< w,< , , + S,< xZ D,< [` Z 3B + R3B + R-, + R,< w,< , , , + 2B y+ ^Z` b t,< [` [ [ 3B + Z[` [ + \[` [ Z b t,< , s+ 2B y+ p[` ,< ,< z o,< ,<p Zp -, + d+ m,< ,<p Zw@ [ 2B + hZwb p,< Z Ld q,\ XB / [p XBp + b/ Zp / ,< ,< z, $+ 2B {+ Z` b t,< Zp @ e[ 2B + v,<p p/ ,< Z id q,< [` Z [ [ 3B + Z r[` Z [ , + [` Z [ Z , ,< ,< r, $+ 3B {+ 3B |+ 2B |+
,<p p/ + 2B }+ [` ,< , + 2B }+ Zw,<8 Z` ,< [` Z [ ,< , '+ ~,< ZwZ8 @ [ ,< Zw~Z8 @ ,< Zw3B + [w, Z , b + Zw ,\ QD / / ,~ + ,<w,< ,< Zw-, + (+ =Z XBp ,<w-, Z Z Zw~2B + .[wb + ;Zw,< Zw}2B r7 Z ,\ 2B + 3Z + ;Zw,< Zw}2B z7 Z ,\ 2B + :Zw, / + >Zw, d XBw[wXBw+ &Zw/ ,< ,<w, @+ ,< sZ w, ,< Zw~-, + FZw2B r7 Z + J[w~3B + JZwZw~, + JZw~, + ,<w w/" , ,< , Z,< Zp 2B + RZ [p , + 2B + UZ [p , + 2B + XZ [p , + ,< ,<w, + Zp 0B + ]Zw+ p 0" + iZp 0B + aZ + g0B + cZ + g0B + eZ + g0B + gZ + g ~,< ,<w, + p 0" + p,< ,<w, ,< w/" , ,< , Z+ ,< ,<w w." , , + Zw@ [ 2B + w,<w p,< Z Ad q,< ,<w,< 2B + |,< ,< Z w,< ,<
Zw~@ t[ 2B + ,<w~ p, , , ,< ,< r, $+ Zp 3B + &,<
Z },< b , ,< ,<w,< ,< ,< ,< ,<
Zw}-, + + #Z XBwb t,< Zp @ [ 2B + ,<p p/ ,< Z ,< ,<w, Kd qXBwZw~3B + ,< Zw~, XBw~,\ QB + Zw, XBw~XBw~[w}XBw} p ." , XBp +
+ ,<w t,< Zp @ [ 2B + ,,<p p/ ,< Z d q,< ,<w,< Zw-, + 6Zp Z 2B + 43" + 6[ QD 3" + dZw,< ,<p ,< M,< Z -,< , + T-, + Q, 5" PZ + TZ + RZ + TZ K,< ,<w, K/ + `Zw,< ,<w| ,\ , 3B + ^,< ,<w|Zw~, ,< ,< yZ R,< , + `Zw,< ,< d q/ Zp , XBp [wXBw+ 0/ , ,< ,< r, $+ !V(f
CxbF `VB1A, EsH!z
?r9` X
1DD
H@G B;]p0
MDdd
#%F?~
U
!B@F (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 635)
(VARIABLE-VALUE-CELL BINDINGNAME . 697)
VALUE
(0 . 1)
(VARIABLE-VALUE-CELL BINDINGNAME . 0)
MAKETESTFNBLOCK
(NIL)
(LINKED-FN-CALL . DECLRECURSING)
.TestFn
(NIL)
(LINKED-FN-CALL . PACK*)
(NIL)
(LINKED-FN-CALL . TETYPE)
ALLOF
DOWN
(NIL)
(LINKED-FN-CALL . COLLECTTYPES)
(NIL)
(LINKED-FN-CALL . MAKETESTFN)
(NIL)
(LINKED-FN-CALL . APPLYFORM)
AND
MEMQ
LAMBDA
((ONEOF LITATOM SMALLP) . 0)
(NIL)
(LINKED-FN-CALL . GETDECLTYPE)
(NIL)
(LINKED-FN-CALL . COVERSTB)
SELECTQ
EQ
QUOTE
MEMBER
EQUAL
OF
ONEOF
UP
OR
SATISFIES
SHARED
SUBTYPE
SYNONYM
TUPLE
WHOSE
(NIL)
(LINKED-FN-CALL . SHOULDNT)
LABEL
(NIL)
(LINKED-FN-CALL . DOLABEL)
(NIL)
(LINKED-FN-CALL . APPEND)
(NIL)
(LINKED-FN-CALL . NCONC)
CDR
CADR
CDDR
CADDR
CDDDR
CADDDR
CAR
CDDDDR
FNTH
EVERYFN
(NIL)
(LINKED-FN-CALL . GETTBPROP)
"OF construction used with non-aggregate type"
(NIL)
(LINKED-FN-CALL . DECLERROR)
FUNCTION
EQLENGTH
(NIL)
(LINKED-FN-CALL . LENGTH)
1
NULL
2
(NIL)
(LINKED-FN-CALL . EQLENGTH)
LISTP
CAAR
CDAR
(NIL)
(LINKED-FN-CALL . RECORDFIELDNAMES)
FETCH
" is not a valid fieldname"
(COLLCT FMEMB GUNBOX SKI CONSS1 ASZ URET3 MKN URET2 SKLST URET1 CONS21 ALIST2 CONS ALIST3 SKNNM LIST4
LIST2 KT CONSNL BHC SKNLST KNIL SKLA BLKENT ENTER1) ,0 + )p )` ,`% f @b \ h 0Y `S " 0o ` `t j XL ( % ' P x +@ 0 X XR p ! 8K
@ S 8 B Q ? ^ )Pm Z
0 K 8 Q h7 P > #p (; . e ,8U (- $H p: @# P w
!8 { `H `6 81 0& ` 0 | X g O p D X 9 H 2 ( ( (
DECLTRAN BINARY
@ 4-. -. h Z XB Zp ,< [w[ ,< Z ,< @ `` + 0Zw[8 Z XB` -, + #,< ,< Z` -, + + +Z XBp Z` 2B + Zp 2B + ,< [` Z` , Z , , , XB` + ,,<p Z` 2B 7 Z ,< Z` 3B + 7 Z ,< , 1[` XB` + + D,<` [wd XB` + HZw2B + I,<p [wd XBp [` XB` + :Z` 2B + NZ Z` , Z , , XB` Zp 3B + SZ` , Z , , XB` Zw/ Z ,< Zp -, + W+ Zp ,< [p XBp 3B + ]Zp b 2B + \ b / [p XBp + U/ Z 3B + dZ Z , Z` , XB` Z 3B + hZ Z d, Z` , XB` Z 3B + mZ` , Z , , XB` Z` 3B + pZ Z` , XB` Z *3B + tb Z , , ,< ,<` Z , XB` Z 3B + |,<` b ,< [` d ,\ QB Z` 2B + Z` , XB` Z` 3B + Z` , XB` Z ?Z , Z` , XB` Z` 3B + Z` , XB` Z +Z` , Z , XB` + 2B + ,< Z ,< ,< ,<` , , XB` Z` 3B + [` ,< Z` [` [ , ,\ QB + Z` XB` @ + Zw,<8 ,<8 ,< ,< ,< Z l ,~ Z T2B + Z 3B + *Z` Z XD Z b XB ",<` Z 3B + (Z #3B + (, + (Z %[` , ,\ QB Z` 2B + -Z` ,~ Zw,<8 ,<` ZwZ8 ,~ + Zp 2B + 37 Z ,< ,< ,< ,< ,< ,< ,< ,< ,< Zwz-, + OZwzXBw~3B !+ <2B !+ CZ h3B + @,< ",< ,< ",<wy #Z XBw{XBw{Z !XBw~[wzXBwZw{3B + O@ $ + KZw,<?,<?z,<?,< ,< Z l ,~ Zw,< [wXBw,\ XBw+ OXBw~Zw~3B + R-, + T,< %,< ,< ",<wy #,<w,< ,< Zw-, + X+ 3Z XBp Zwz3B + Zp 2B %+ fZw}Z f, 3B + c,< &,<w|,< ,< ",<ww
#2B + 1+ Zw}Z a, XB c2B + 1+ 2B &+ rZw}Z d, 3B + n,< ',<w|,< ,< ",<ww
#2B + 1+ Zw}Z \, XB o2B + 1+ -, Z Z 2B '+ Zw}Z p, 3B + {,< (,<w|,< ,< ",<ww
#2B + 1+ Zw}Z h, XB |2B + 1+ Zp 2B (+ Zw}Z , 3B + Z 2B + 1+ Zw}Z , XB 2B + 1+ 3B )+
-, Z Z 2B )+ Z )XBwz2B + 1Zp -, Z Z 2B *+ Zw~3B + ,< *,< ,< ",<ww #Zp XBw~+ 1Zp -, Z Z Z 3B + 1,<p ,<w| +XBw|3B + $Zw{3B + !,< ,,<w,< ,< ",<ww
#Zw|XBw{Zp XBw{+ 1Zp -, + .Zp ,< ,< ,,< -,< ,<w~
-3B + .Z J3B + Y3B .+ Y,< ,< / /+ Y,< 0,<w,< ,< ",<ww
#[wXBw+ VZw/ Zw|2B + 6Z 1XBw}Zp 3B + @,<w},< , XBw},< ,<w~ +XBw|2B + @,< 1,<w|,< ,< ",<wx
#Zw~2B !+ DZw}XB <Z / ,~ Zw{3B + UZ w-, Z Z ,\ 2B + R,< 2,<w},< ,< ",<ww
#/ [p XBp + F/ Zw|3B + fZw|[ 2B + Y,<w| 2XBw}3B + fZw{3B + b,<w}Zw~3B + _, + `Z XBwz, XBw+ f,< 3,<w~,<w|,<w}, , Z w, XB eZw}3B 1+ s,<w~Zw{, , Z (, XB jZw3B + oZw{3B + w+ pZw{2B + wZw~Z p, XB q+ wZw{3B + wZw~, Z k, XB uZw{3B + ~Zw3B + |,<w~,< , + |Zw~Z E, XB |Zw~Z , XB ~+ B (cqC
-
&
12Y$ `.@0
#d(%! s(A ZACApJ`c+a 5&PIJ;e!De0`@2DE2 H (FORM . 1)
(VARIABLE-VALUE-CELL CLISPCHANGE . 7)
(VARIABLE-VALUE-CELL VARS . 767)
(VARIABLE-VALUE-CELL COMMENTFLG . 561)
(VARIABLE-VALUE-CELL FAULTFN . 596)
(VARIABLE-VALUE-CELL NEWSATLIST . 328)
(VARIABLE-VALUE-CELL RETURNS . 644)
(VARIABLE-VALUE-CELL LOCALVARS . 490)
(VARIABLE-VALUE-CELL SPECVARS . 506)
(VARIABLE-VALUE-CELL GLOBALVARS . 525)
(VARIABLE-VALUE-CELL PROGDCLS . 763)
(VARIABLE-VALUE-CELL VARBINDFORMS . 716)
(VARIABLE-VALUE-CELL SAT . 749)
(VARIABLE-VALUE-CELL INITVARS . 740)
(0 . 1)
(0 . 1)
(VARIABLE-VALUE-CELL VARS . 0)
NIL
NIL
NIL
NIL
NIL
(NIL VARIABLE-VALUE-CELL PROGDCLS . 0)
(NIL VARIABLE-VALUE-CELL SPECVARS . 0)
(NIL VARIABLE-VALUE-CELL SAT . 0)
(NIL VARIABLE-VALUE-CELL INITVARS . 0)
(NIL VARIABLE-VALUE-CELL VARBINDFORMS . 0)
(NIL VARIABLE-VALUE-CELL RETURNS . 0)
(NIL VARIABLE-VALUE-CELL LOCALVARS . 0)
DPROG
THEN
RETURN
DPROGN
(NIL)
(LINKED-FN-CALL . DREVERSE)
DLAMBDA
FIXP
CLISP:
DECLARATIONS:
DECLARE
(NIL)
(LINKED-FN-CALL . APPEND)
DECL
PROG
(NIL)
(LINKED-FN-CALL . FINDDECLTYPE)
(NIL)
(LINKED-FN-CALL . SHOULDNT)
(NIL)
(LINKED-FN-CALL . DECLDWIMTESTFN)
SPECVARS
LOCALVARS
the
CHKINIT
(NIL)
(LINKED-FN-CALL . NCONC)
PROGN
((ASSERT: (CLISP DLAMBDA)) . 0)
LAMBDA
(NIL VARIABLE-VALUE-CELL NEWSATLIST . 0)
(NIL)
(LINKED-FN-CALL . DWIMIFY0?)
*DECL
(NIL)
(LINKED-FN-CALL . REALCLISPTRAN)
RETURNS
VALUE
"Multiple RETURNS/VALUE declaration"
" inside "
(NIL)
(LINKED-FN-CALL . DECLDWIMERROR)
(T VARIABLE-VALUE-CELL NOSPELLFLG . 0)
(T VARIABLE-VALUE-CELL DWIMESSGAG . 0)
"Illegal variable name"
SPECIAL
"Variable can't be both LOCAL and SPECIAL: "
LOCAL
"Variable can't be both LOCAL and SPECIAL: "
USEDIN
"Variable can't be both LOCAL and USEDIN: "
GLOBAL
FREE
BOUNDIN
SATISFIES
"Multiple SATISFIES"
(NIL)
(LINKED-FN-CALL . GETDECLTYPE.NOERROR)
"more than one type declaration: "
80
((SATISFIES BOUNDIN USEDIN) . 0)
(NIL)
(LINKED-FN-CALL . FIXSPELL)
TYPE-IN
FNS
(NIL)
(LINKED-FN-CALL . MARKASCHANGED)
"invalid declaration: "
ANY
"invalid declaration: "
"more than one binding for "
(NIL)
(LINKED-FN-CALL . MAKEBINDFN)
REALSETQ
(CONSS1 FMEMB SKNLA URET1 ALIST3 LIST2 SKLA BHC CONSNL ALIST2 CONS21 CONS SKNLST KNIL SKLST KT BLKENT
ENTER1) j , (v ^ R 1 e /@e ' P *XS (@4
^
H ! v +x( p t p t - f p} e P p
x d
0 Q P H x V ` ; h / x .Hp -hm ,^ +HX *hN (XC 'P8 &X+ % #P "( !` ! 0~ 0w 8q `j `b hZ hV J E > 8 x7 h6 X5 @2 p% H 8 h r
X a @ Z
L ( : / 0 ) @ ( @ *? &( $ l S x3 0
PPDECL BINARY
k -. k-. 0k n[p -, + Z 3B + Zp Z , 3B + Zp + Zp 2B n+ %^" ,> j,> o, .Bx ,^ / , ,< Z 3B + Z p+ Z pb q,< r q[wZ ,< ,< , 4[w[ XBw-, + ZwZ 3B + ,<p ,< r,< s,<w,<w,< ,< Z j tZ 3B + #Z u+ #Z ub q/ + 32B v+ o, ." , ,< ,< w." , XBp ,< v q[wZ -, + ,< w q[wZ ,< w." , ,< ,< ,< ,< ,< Zw}-, + 6+ ~Z XBw-, + p,<w~,< r,< s,< w,< qZw,< ,< x[wXBw3B + f,< y y,< ,< Zw~-, + D+ YZ XBp ` o,< ,< ,< Z j tZp -, + N[w~Z -, + N[w~Z ,< ,< y z+ UZp -, + S[w~Z -, + TZ + UZ + U,<p ,< { zZ , 2B + X+ Y[w~XBw~+ B[w~XBw~Zw/ ,<wZp -, + ^+ eZp ,< ,< y y,<p o,< ,< ,< Z Gj t/ [p XBp + \/ o, ,> j,> w~ ,^ / 2" + m,<w~ s,< | q+ n,< | }Z XBp + }2B ~+ v w|." , ,< ,< r,< s,< ~,< q+ }Zp 3B + z,<w~,< r s+ {,< y yZ XBp ,<w x[w}XBw}+ 4Zw~/ ,< ~ }+ [wZ b x[w[ ,< Zp -, + + Zp ,< Zp -, +
,<w~,< ,< s,<p ,< x+ -, Z Z Z 3B + ,<w,< r,< s,<p o,< ,< ,< Z bj t/ [p XBp + / ,< q/ + 32B + ,< q[p ,< ,< , 4,< }+ 32B + 3^" ,> j,> o, .Bx ,^ / , ,< ,< q[wZ ,< ,< , 4[w[ XBw-, + /ZwZ 3B + /,<p ,< r,< s,<w,<w,< ,< Z j t,< q/ Z + Zw-, + iZp 2B + 8,< q,<w o,< ,< ,< ,< Zw~-, + =+ bZ XBw-, + Z,<w~,< r,< s,< ,< qZw,< ,< x[w,< Zp -, + H+ OZp ,< ,< y y,<p o,< ,< ,< Z 1j t/ [p XBp + F/ o, ,> j,> w~ ,^ / 2" + W,<w~ s,< q+ X,< }Z XBp + `Zp 3B + ],<w~,< r s+ ^,< y yZ XBp ,<w x[w~XBw~+ ;Zw~3B + e,< q,<w~ xZw/ Zp 2B + ,< }+ b x+ $T|E O< c@ E4#C"VM*|p[bN a AT7czBT h
+"PE /I>: (FORM . 1)
(VARIABLE-VALUE-CELL PRETTYTRANFLG . 9)
(VARIABLE-VALUE-CELL CLISPARRAY . 13)
(VARIABLE-VALUE-CELL #RPARS . 65)
(VARIABLE-VALUE-CELL COMMENTFLG . 343)
(VARIABLE-VALUE-CELL FNSLST . 409)
(VARIABLE-VALUE-CELL CLISPCHARS . 171)
DLAMBDA
(NIL)
(LINKED-FN-CALL . POSITION)
"["
"("
(NIL)
(LINKED-FN-CALL . PRIN1)
"DLAMBDA "
0
(NIL)
(LINKED-FN-CALL . TAB)
(NIL)
(LINKED-FN-CALL . PRINTDEF)
"]"
")"
DPROG
"(DPROG "
"("
"("
(NIL)
(LINKED-FN-CALL . PRIN2)
1
(NIL)
(LINKED-FN-CALL . SPACES)
(NIL)
(LINKED-FN-CALL . NTHCHAR)
-1
")"
")"
(NIL)
(LINKED-FN-CALL . PRIN3)
THEN
")"
")"
DECL
"(DECL "
")"
DPROGN
"(DPROGN "
")"
"("
"("
")"
")"
" . "
")"
(URET2 SKLA FMEMB SKNLST KT MKN BHC IUNBOX URET1 GETHSH KNIL SKLST BLKENT ENTER1) 0j
p x= X ]
P 8 C ` L @1 @ o
( G P x P s ( + g HP h4 H j
h d @ % x #
x ' ` P
h 8_ 8M PC ; 07 H/ @
| v H c
x T
0 G ( B > @ : H 4 8 ) p ? `+ X I .
VARASRT BINARY
+ $ *-. $-. % &,<p Z ,< , + ,< ,< ,< Zw~-, + + #Z XBw,<w~d &XBp 2B + }Z 7@ 7 Z ,< " , 3B + + Zp ,< ,<w} )[w~XBw~+ Zw+ L!@ (VARNAME . 1)
(VARIABLE-VALUE-CELL SATISFIESLIST . 7)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 45)
(NIL)
(LINKED-FN-CALL . ASSOC)
(NIL)
(LINKED-FN-CALL . GETDECLTYPE)
(NIL)
(LINKED-FN-CALL . MAKETESTFN)
(NIL)
(LINKED-FN-CALL . ASSERTFAULT)
(EVCC KNOB BHC URET5 SKNLST KNIL URET1 BLKENT ENTER1) p P ( P H p
DECLOFBLK BINARY
z D p-. D-. 8DpH # ,<wZw2B I+ Z + 2B I+ Z + 2B + Z ,< Zp Z 7@ 7 Z 2B J+ ,<p ,< Z f Jb K3B + Z + Z / 3B + Z
+ Z + ,< L,< , B M,< , @ [ + Zp -, + #2B + Z + 2B + !Z M+ ,< , %+ -, + ,< Zw-, + Zw,< ,< H NXBp -, Z Z 2B O+ 2[p -, Z Z 3B O+ 2[p Z ,< ,<w " , 2B + + 4Zp 2B + Zw3B P+ 62B P+ M[wZ ,< , %,< ,< ,<w Q,< Zp @ Z 2B + >,<p R/ XBp 2B S+ I,< S,<wZw}2B P+ F,< T[w}[ Z , + H[w}[ Z ,< , , + L[w~, XBw~/ + / + 2B T+ e[w[ ,< ,< ,< ,< Zw~XBwZw-, + T+ ^ZwZ XBp 3B U+ \2B U+ X+ \Z 3B + \Zw2B + [Z XBw+ ^[wXBw+ RZp 2B V+ d[w2B + dZw[ Z XBw}/ + Z V/ + 2B W+ i,<w WZ XBw/ + 2B X+ [w,< ,< ,< ,< ,< ,< ,< Zw}-, + p+ Z XBwb WZ ,< , XBw2B V+ vZ V+ Zw2B + xZ XBp ,<w,<w} Y3B + {+ ZwXBw~Zw~3B + ,< Zw~, XBw},\ QB + Zw~, XBw~XBw}[w}XBw}+ nZp 2B + Z Zw}, 2B + ,<w}Z , d ZXBw}[w}3B + Z [Zw}, + Zw}/ + 2B [+ 2[w[ ,< ,< ,< ,< ,< ,< Zw}XBwZw-, + + -[w3B + Zw[ b WZ + Zw,< , XBp 2B V+ Z V+ 1,< ,<w} Y3B + #+ +Zp XBwZw~3B + ),< Zw~, XBw~,\ QB + +Zw, XBw~XBw~[wXBw+ [w~3B + 0Z [Zw~, + 1Zw~/ + 3B \+ 53B \+ 52B ]+ 8[w[ [ Z XBw/ + 2B S+ <[w[ Z XBw/ + 3B ]+ >2B ^+ K[wZ -, + J[wZ , A C(Bu, 0B + EZ ^+ 0B + GZ _+ 0B + IZ _+ Z V+ Z V+ 2B `+ O[w[ Z XBw/ + 2B `+ S[wZ XBw/ + 2B a+ c[wZ 3B + Y[wZ Z Z -, + Z[wZ + \[wZ Z , ,< @ E + bZw[?[ b WZ ,< , ,~ + 3B a+ e2B b+ f[wZ + 3B b+ h2B c+ j[wZ + 2B c+ m,< T[wZ , + Zw,< ,< ,< dXBw,\ 3B + uZp 3B e+ uXBw/ + Zw,< ,< e N2B f+ yZ _+ 2B f+ {Z ^+ ZwZ , 2B + Zw,< ,< g N3B + @ g + Zw,<?,<? iZwZ?Z {, ,~ + Z XBp 3B +
XBw/ + ,<w j3B + ,< T,<w k, + Z V+ Zw-, + ZwZ 3B l+ 2B l+ Zw[ [ b WZ + ZwZ , XBp 3B + XBw/ + Z V/ + ,< T,< , + -. m,<` , b Q,~ ,<p Z ,< , + Z [,< ,< ,< ,< ,< ,< Zw}-, + ++ =Z XBw~,<w}d n[ XBp 2B + /+ <Zw3B + 5Zp ,< ,<w~, XBwZ XBw+ :Zw3B + 9Zp Zw, XBw+ :Zp XBw[p 2B + <+ =[w}XBw}+ )Zw3B + Ab oZ S, + Zw2B + Z V+ Fu cQ,P(d CKD SNP\ 1y$Y: d^!0D2p 2)<0@@LO`8 Gw~$
||q,O~4 DV9 HXD2!' (DECLOFBLK#0 . 1)
(VARIABLE-VALUE-CELL CSATISFIESLIST . 583)
(VARIABLE-VALUE-CELL SATISFIESLIST . 17)
(VARIABLE-VALUE-CELL DECLVARSLST . 587)
(VARIABLE-VALUE-CELL BOUNDPDUMMY . 32)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 119)
(VARIABLE-VALUE-CELL COMMENTFLG . 176)
(VARIABLE-VALUE-CELL CLISPARRAY . 560)
DECLOF
TYPEBLOCKOF
COMPILER
INTERPRETER
NOBIND
(NIL)
(LINKED-FN-CALL . STKSCAN)
(NIL)
(LINKED-FN-CALL . RELSTK)
27
ERRORX
((MEMQ T) . 0)
(NIL)
(LINKED-FN-CALL . GETP)
FUNCTION
SATISFIES
SETQ
SETQQ
(NIL)
(LINKED-FN-CALL . GETDECLTYPE)
(NIL)
(LINKED-FN-CALL . MAKESETFN)
REALSETQ
ALLOF
MEMQ
PROG
ASSERT
DECLARE
RETURN
ANY
PROGN
(NIL)
(LINKED-FN-CALL . LAST)
COND
(NIL)
(LINKED-FN-CALL . MEMBER)
(NIL)
(LINKED-FN-CALL . NCONC)
ONEOF
SELECTQ
REPLACEFIELD
FREPLACEFIELD
/REPLACEFIELD
FETCHFIELD
FFETCHFIELD
FIXP
FLOATP
((MEMQ NIL T) . 0)
REPLACEFIELDVAL
PROG1
*DECL
the
THE
create
CREATE
QUOTE
(NIL)
(LINKED-FN-CALL . EXPANDMACRO)
IGNOREMACRO
CTYPE
FNF
INF
CLISPWORD
(NIL VARIABLE-VALUE-CELL FILEPKGFLG . 0)
(T VARIABLE-VALUE-CELL NOSPELLFLG . 0)
(T VARIABLE-VALUE-CELL DWIMESSGAG . 0)
(NIL)
(LINKED-FN-CALL . DWIMIFY0?)
(NIL)
(LINKED-FN-CALL . DECLCONSTANTP)
(NIL)
(LINKED-FN-CALL . EVAL)
LAMBDA
NLAMBDA
*TBOF*
((UNBOXED-NUM . 2) VARIABLE-VALUE-CELL DECLVARSLST . 0)
(NIL)
(LINKED-FN-CALL . ASSOC)
(NIL)
(LINKED-FN-CALL . DREVERSE)
(URET7 CONS21 BINDB GETHSH ASZ MKN IUNBOX SKI FMEMB CONSNL SKNLST CONS ALIST3 ALIST2 EVCC SKLST URET1
SKLA URET2 LIST2 BHC KT KNOB KNIL BLKENT ENTER1) (@C ( ( $ # P F H @ ( 0( 0 %( S 8 P0 p K I X F 1 , $ & $ 8 " ` 3 #x #@
PS x< 2 i
X d P L x p w @ 8 ` ((? '86 &H1 %p) %( % ' #(
! } `. `# X H P
h ~ 0 o
P X : @ 2 P * P h H
DECLOF BINARY
-. ,< ,~ (FORM . 1)
(DECLCONTEXT . 1)
DECLOF
(NIL)
(LINKED-FN-CALL . DECLOFBLK)
(ENTER2)
TYPEBLOCKOF BINARY
-. ,< ,~ (FORM . 1)
TYPEBLOCKOF
(NIL)
(LINKED-FN-CALL . DECLOFBLK)
(ENTER1)
DECLTYPE BINARY
-. Z` ,< [` Z ,< [` [ F ,~ (X . 1)
USERDECLTYPE
(ENTER1)
DECLTYPES BINARY
-. ,<` ,< Zw-, + Zp Z 2B + " + [ QD " + Zw,< Zp ,< [wZ ,< [w[ F / Zp , XBp [wXBw+ E (DTS . 1)
USERDECLTYPE
(COLLCT BHC URET2 SKNLST KNIL ENTER1) X
DUMPDECLTYPES BINARY
c U `-. UZ` -, + Z + [` -, Z @ V3B + 7 Z ,< Zp 3B + ,< " V,< W,< $ W,< " V,< " VZw3B + Z X+ Z X,< ,< $ W,<` Zp -, + + MZp ,< Zw~3B + ,< Y,< ,< & Y,< Z,< $ WZp -, + -Zp ,< ,< $ Z,< [,< $ [Zp ,< ,< $ Z,< [,< $ [[p Z ,< ,< $ Z,< [,< $ [Zp ,< [wZ D \@ \,< ,< ,< ( ]+ H,< ,< ,< ]& ^[ XBp Zp ,< ,< $ Z,< [,< $ [[p [ @ \,< ,< ,< Zw~XBp [w~Z ,< ,<w~$ ]Zp -, + <+ G,<w,< ,< & YZp ,< ,< $ Z,< [,< $ [[p Z @ \,< ,< ,< ( ][p [ XBp + :Zw/ Zw~3B + K,< ^,< $ W/ [p XBp + / ,< _,< $ W,< " VZp 3B + T,< _,< $ W,< " V/ ,~ EjO#4FFC
`i &R
S( (TL . 1)
OUTPUT
TERPRI
"(DECLARE: EVAL@COMPILE"
PRIN1
"(DECLTYPES"
"(DECLTYPE "
11
TAB
"("
PRIN2
1
SPACES
GETDECLTYPEPROP
POSITION
PRINTDEF
NOCOPY
GETDECLDEF
")"
")"
")"
(BHC KNIL SKLST KT SKNLST ENTER1)
X N H I T
8 R
O 8 J X B > ` 7 p 4 ( / P , & @ " 8 0 h
GETDECLDEF BINARY
, % +-. %,<` " ',< Z (Z` 1B + * -, + * , 2B 7 ,< Zw3B + ,<` Zw@ Z Z ,< Zw3B + Zp + ,<p " (/ ,< Zw~@
Z ,< Zw~3B + Zp + ,<p " (/ , , Z ), + $Z )Z` 1B + * -, + * , 2B 7 3B + #Z + $,<` ,< *$ */ ,~ @ T,H
@ (NAME . 1)
(FPTYPE . 1)
(OPTIONS . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 38)
FINDDECLTYPE
NOCOPY
COPY
DECLTYPE
NOERROR
"is not a DECLTYPE"
DECLERROR
(CONS21 CONSS1 BHC KT KNIL FMEMB SKLST ENTER3) 0 % ! 0 " ` 0 h
COVERS BINARY
-. ,<` " ,< ,<` " D 3B + Z ,~ Z ,~ h (HI . 1)
(LO . 1)
GETDECLTYPE
COVERSTB
(KT KNIL ENTER2) h x
GETDECLTYPEPROP BINARY
-. ,<` " ,< ,<` $ ,~ @ (TYPE . 1)
(PROP . 1)
GETDECLTYPE
GETTBPROP
(ENTER2)
SETDECLTYPEPROP BINARY
-. Z` -, + ,< D ,<` " 2B + ,< ,<` $ ,< ,<` ,<` , D ,<` ,<` , ,< ,< $ Z` ,~ VB
(NAME . 1)
(PROP . 1)
(VAL . 1)
"Can't set property of non-atomic type:"
DECLERROR
FINDDECLTYPE
"Can't set property of non-existent type:"
REPROPTB
DECLTYPES
MARKASCHANGED
(LIST2 KNIL SKNLA ENTER3)
` 0
SUBTYPESA0003 BINARY
+
Z ,< ,<` " ,\ , 3B +
Z` @ [ Z , XB
,~ Z ,~ D (S . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 18)
(VARIABLE-VALUE-CELL CT . 8)
(VARIABLE-VALUE-CELL TYPES . 22)
GETCTYPE
(CONS KNIL FMEMB SKLA ENTER1) 8 P
SUBTYPES BINARY
-. ,<` " ,< @ ,~ ,<` " XB 3B + Z` @ Z Z Z 2B + Z` @ Z Z [ B ,~ Z ,< Z D Z 2B + Z , ,~ Z ,~ (NAME . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 22)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 28)
GETDECLTYPE
(0 . 1)
(NIL VARIABLE-VALUE-CELL TYPES . 32)
(NIL VARIABLE-VALUE-CELL CT . 11)
GETCTYPE
NONE
ONEOF
APPEND
SUBTYPESA0003
MAPHASH
(CONSNL KNIL ENTER1)
SUPERTYPESA0004 BINARY
-. Z` @ [ -, + Z 2B + Z` @ [ B 2B + +
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 27)
(VARIABLE-VALUE-CELL CN . 22)
(VARIABLE-VALUE-CELL TYPES . 31)
NONE
SUBTYPES
(CONS FMEMB KNIL SKLA ENTER1)
P
SUPERTYPES BINARY
-.
,<` " B ,< @
,~ Z 2B Z E . 1)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 14)
GETDECLTYPE
GETCTYPE
(VARIABLE-VALUE-CELL CN . 10)
(NIL VARIABLE-VALUE-CELL TYPES . 18)
ANY
SUPERTYPESA0004
MAPHASH
(ENTER1)
CHECKTYPEXP BINARY
-. ,<` " 2B + ,< ,<` $ ,~ P (TE . 1)
TETYPE
"Invalid type expression"
DECLERROR
(KNIL ENTER1) 8
COLLECTTYPES BINARY
H B F-. B,<` ,< ,< ,< ,< Zw~-, + + #Z XBwB CXBw,<p ,< ,< Zw-, + + Z XBp Zw~Zp 3B + Z` 2B D+ ,< ,<w}$ D3B + + 2B E+ ,<w~,<w$ D3B + + E3B + Zp 2B + Z XBw+ [wXBw+ Zw/ 3B + + !ZwZp , XBp [w~XBw~+ Zp XBwZ XBp ,< Zw~2B + (Zp + A[w~,< ,<w,< ,< Zw-, + ,+ ;Z XBwZ` 2B D+ 2,<wZw|D D3B + 9+ 82B E+ 6Zw|,< ,<w$ D3B + 9+ 8 E3B + 9Z XBp + ;[wXBw+ *Zp / 3B + ?,<w~,<w~$ FZw~XBw,\ XBw~+ %/ Zp +
@`Yy:$F@1Kbi@ (TYPES . 1)
(MERGE . 1)
GETDECLTYPE
UP
COVERSTB
DOWN
SHOULDNT
RPLACD
(URET5 CONS BHC KT SKNLST KNIL ENTER2) 0 < h 0 , 0 = 8 ` 1 ( ' ` % p (
@ 0
COVERSCTYPE BINARY
-. Z` Z` 2B + Z ,~ Z` -, + 2B 7 Z ,~ [` 3B + ,<` ,< ,< Zw-, +
)$ (H . 1)
(L . 1)
NONE
COVERSCTYPE
(URET3 KNIL SKNLST KT ENTER2) 0 x H
COVERSTB BINARY
-. Z` Z` 3B 7 7 + . 1)
(L . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 23)
GETCTYPE
COVERSCTYPE
COVERSTE
(KNIL KT ENTER2)
COVERSTE BINARY
? : =-. :,<` " ;2B ;+ ),<` " ;2B ;+ [` ,< ,< ,< Zw-, + + Z XBw[` ,< ,< ,< Zw-, + + Z XBp ,< ,<w}$ <3B + Zp 2B + Z XBw+ [wXBw+
Zw/ 2B + Z XBp + [wXBw+ Zp + [` ,< ,< ,< Zw-, + + (Z XBp ,< ,<` $ <3B + 'Zp 2B + &Z XBw+ ([wXBw+ Zw+ 2B <+ 9,<` " ;2B <+ 8[` ,< ,< ,< Zw-, + 0+ 7Z XBw,< [` D =2B + 5Z XBp + 7[wXBw+ .Zp + Z ,~ Z ,~ 8
B"$B&p) (H . 1)
(L . 1)
TETYPE
ONEOF
COVERS
MEMQ
MEMBER
(URET3 BHC SKNLST KT KNIL ENTER2) * P ` / h 9 P 4 h % @ h
CREATEFNPROP BINARY
-. ,<` ,<` $
,< Zp 3B + [p Z ,< ,<` $ + Z / ,~ ` (PL . 1)
(PN . 1)
FINDPROP
CREATEFNVAL
(BHC KNIL ENTER2)
CREATEFNVAL BINARY
-. Z` 3B + Z 3B + Z` -, + ,< ,< $ Z` ,~ Z` 2B + Z ,~ 2B +
(FNAME . 1)
(VARIABLE-VALUE-CELL DWIMFLG . 6)
DWIMIFY
BINDFN
PROGN
SETFN
REALSETQ
(KT SKLST KNIL ENTER2) x ` ` 0
DECLERROR BINARY
-. ,< Zp Z 7@ 7 Z 2B + ,<p ,< Z F B 3B +
Z +
Z / 3B + Z XB ,~ ,<` ,<` $ ,~ j (MSG1 . 1)
(MSG2 . 1)
(VARIABLE-VALUE-CELL BOUNDPDUMMY . 13)
(VARIABLE-VALUE-CELL DECLERROR . 25)
DECLERROR
NOBIND
STKSCAN
RELSTK
ERROR!
ERROR
(BHC KT KNIL KNOB ENTER2) 8 P
0 p H
DELETETB BINARY
-. Z` @ [ ,< Zp 3B + 2B + ,< D ,<` " ,<` " ,< ,<w$ Z` @ ,< ,< ,<w$ ,\ QD / ,~ ?)
(TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 22)
ANY
NONE
"(Futile) attempt to delete"
DECLERROR
UNSAVETYPE
UNCOMPLETE
NOTICETB
Deleted
PACK*
(BHC KNIL ENTER1)
FINDDECLTYPE BINARY
-, + Z , 3B + Z` Z , ,~ Z ,~ Z , 2B + ,<` "
(VARIABLE-VALUE-CELL CLISPARRAY . 6)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 16)
RECDTYPE
(KNIL GETHSH SKLST ENTER1)
p
FINDPROP BINARY
,< Z` 2B + + Z` Z` 2B + Z` 2B + Z XBp + [` [ XB` + Zp + DH@ (L . 1)
(P . 1)
(URET1 KT KNIL ENTER2) H x (
FINDTYPEXPA0005 BINARY
-. Z` @ [ -, + Z ,< Z` @ Z Z ,\ , 3B + +
Z ,~ Z ,< Z` @ [ ,\ , 2B + Z` @
Z
QD ,<` Z D ,< ,<` $ ,~ @
h (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 31)
(VARIABLE-VALUE-CELL TYPE . 35)
NOTICETB
FINDTYPEXP
RETFROM
(KNIL EQUAL SKLST ENTER1) ( @
FINDTYPEXP BINARY
-. Z ,< Z D Z ,~ (VARIABLE-VALUE-CELL TYPE . 0)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 3)
FINDTYPEXPA0005
MAPHASH
(KNIL ENTERF) H
GETCTYPE BINARY
-. Z` @ Z [ 2B + ,< ,<` $ 3B + ,< Z` @ Z Z D 2B + Z` @ Z ,< Z` @ Z Z B D [ ,~ 5B@ (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 27)
GETCTYPE
DECLRECURSING
"Invalid recursive type definition"
DECLERROR
MAKECTYPE
RPLACD
(KNIL ENTER1) p
GETDECLTYPE BINARY
-. ,<` "
2B + Z` -, + B @ (TE . 1)
(VARNAME . 1)
FINDDECLTYPE
FINDTYPEXP
MAKEDECLTYPE
"is not a DECLTYPE"
DECLERROR
(SKLST KNIL ENTER2) h
GETDECLTYPE.NOERROR BINARY
-. ,< @ + ,< ,< ,< @ ` + Z Z XB Zw,<8 ,<8 $ ,< ,<p " Zp @ [ 2B + ,<p " Zp / + Z 2B + Z 3B + Z ,~ ,~ ,~ JB! (TE . 1)
(VAR . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 24)
(VARIABLE-VALUE-CELL DECLERROR . 36)
((DUMMY) . 0)
(0 . 1)
(0 . 1)
(0 . 1)
ERRORSET
GETDECLTYPE
GETCTYPE
MAKETESTFN
ERROR!
(CONSNL BHC CF KT KNIL ENTER2) 8 ` (
GETTBPROP BINARY
-. Z` 2B + Z` @ [ 2B + ,<` " ,~ 2B +
Z` @ Z 2B + ,<` " ,~ 2B + Z` @ [ 2B + ,<` " ,~ Z` @
a,I (TB . 1)
(P . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 35)
BINDFN
MAKEBINDFN
SETFN
MAKESETFN
TESTFN
MAKETESTFN
FINDPROP
INHERITPROP
(BHC KNIL ENTER2) ` (
INHERITPROP BINARY
W I U-. IZ` @ Z Z ,< Zp -, + HB K3B K+ 2B L+ ![p Z ,< ,<` $ L,< ,< M,<` $ L,< ,< MZwZw3B + [w~[ ,< ,< ,< Zw-, + + Z XBwZw},< ,<w,<` $ L,\ 3B + Z XBp + [wXBw+ Zp / 3B + Zw+ ZwD N/ + F3B N+ $3B O+ $2B O+ %Zp + F2B P+ :[p ,< ,< Zw-, + .Zp Z 2B + , " + -[ QD " + 8Zw,< Zp (B{Z A" ." 0B + 3Z P+ 4,<p " Q/ Zp , XBp [wXBw+ '/ Z L, + F2B Q+ @Z` 2B R+ >,< M,< R$ N+ F[p Z + F3B S+ B2B S+ C[p Z + F2B T+ EZ T+ FZ M,< ,<` $ L+ HZ / ,~ a* ?8" t
wssy (TB . 1)
(PROP . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 4)
TETYPE
ALLOF
ONEOF
GETDECLTYPEPROP
ANY
INHERITPROP
RETFROM
OF
SATISFIES
WHOSE
MEMQ
LARGEP
TYPENAME
SHARED
BINDFN
PROGN
SUBTYPE
SYNONYM
TUPLE
LISTP
(CONS21 COLLCT ASZ TYPTAB BHC SKNLST KT KNIL SKLST ENTER2) h ( 2 1 I 5 ) 8 ( + ( ( ` X
INITDECLTYPES BINARY
Z -. Z,< \Zp -, + Zp Z 7@ 7 Z 2B \+
,<p ,< Z F ]B ]3B + Z +
Z / 3B + Z B ^+ ,< ^" Z$ @, XB ,< ,< ,< a" bZwQD ,< Zw , ,\ XD ,< ,<w$ bXBp ,< Zw@ ,< Z c ,\ QD Zw@ !,< Z c ,\ XD Zw@ $,< ,< d,< dZw}2B e7 Z , ,\ QD ,\ / / [p XBp + / ,< e,< f,< f& g,< g,< h,< h& g,< i,< i,< j& g,< j,< k,< & g,< k,< l,< l& g,< m,< m,< n& g,< n,< o,< o& g,< p,< p,< & g,< q,< q,< r& g,< r,< s,< s& g,< t,< t,< & g,< u,< u,< v& g,< v,< w,< w& g,< x,< x,< y& g,< y,< z,< z& g,< ,< {,< {& g,< |,< |,< }& g,< },< ~,< & g,< ~,< ,< & g,< ,< ,< & gZ ,~
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 34)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 80)
DECLTYPESARRAY
NOBIND
STKSCAN
RELSTK
CLRHASH
128
HARRAY
DECLTYPES
FILEPKGCHANGES
(NIL VARIABLE-VALUE-CELL FILEPKGFLG . 0)
((ANY NONE) . 0)
TYPEBLOCK
NCREATE
NOTICETB
PROGN
REALSETQ
LAMBDA
((VALUE) . 0)
ANY
ARRAYP
((SUBTYPE ANY) . 0)
((TESTFN ARRAYP) . 0)
MAKEDECLTYPE
HARRAYP
((SUBTYPE ARRAYP) . 0)
((TESTFN HARRAYP) . 0)
LISTP
((SUBTYPE ANY) . 0)
((TESTFN LISTP EVERYFN EVERY) . 0)
HASHARRAY
((ONEOF HARRAYP (LISTP (WHOSE (CAR HARRAYP)))) . 0)
READTABLEP
((SUBTYPE ARRAYP) . 0)
((TESTFN READTABLEP) . 0)
ATOM
((SUBTYPE ANY) . 0)
((TESTFN ATOM) . 0)
LITATOM
((SUBTYPE ATOM) . 0)
((TESTFN LITATOM) . 0)
BOOL
((MEMQ NIL T) . 0)
NUMBERP
((SUBTYPE ATOM) . 0)
((TESTFN NUMBERP) . 0)
FIXP
((SUBTYPE NUMBERP) . 0)
((TESTFN FIXP) . 0)
CARDINAL
((FIXP (SATISFIES (IGEQ VALUE 0))) . 0)
SMALLP
((SUBTYPE FIXP) . 0)
((TESTFN SMALLP) . 0)
LARGEP
((SUBTYPE FIXP) . 0)
((TESTFN LARGEP) . 0)
FLOATP
((SUBTYPE NUMBERP) . 0)
((TESTFN FLOATP) . 0)
FUNCTION
((SUBTYPE ANY) . 0)
((TESTFN FNTYP) . 0)
((MEMQ NIL) . 0)
((TESTFN NULL) . 0)
LST
((ONEOF LISTP NIL) . 0)
((EVERYFN EVERY) . 0)
ALIST
((LST OF LISTP) . 0)
STACKP
((SUBTYPE ANY) . 0)
((TESTFN STACKP) . 0)
STRINGP
((SUBTYPE ANY) . 0)
((TESTFN STRINGP EVERYFN EVERYCHAR) . 0)
(ALIST3 SKNLST CONS ASZ BHC KT KNIL KNOB SKLA ENTER0) P h P 2 / P H Z
X P x A , X
(
MAKECTYPE BINARY
i Z f-. Z,<` " [2B [+ [` ,< ,< \$ \,< [p 3B + ,<p ,<p Zp -, +
+ ,< ,<p ZwB ],\ XB / [p XBp + / Zp / + Zp B ]/ ,~ 2B ]+ [` ,< ,< ^$ \,< [p 3B + [` B ^, + Zp B ]/ ,~ 3B _+ 2B _+ ![` Z B `B ],~ ,<` " [2B `+ L[` ,< ,< ,< ,< ,< aZp XBwZw~-, + )+ ;Z XBw[w2B + 1,<w,<wZ , ,\ XD Z ,\ QD [ ,< Zw~(B{Z A" ." 0B + 6Z a+ 7,<w~" b ,\ XD XBw[w~XBw~+ 'ZwZp 3B + I[p ,< [w3B + H,<w[w~,< Zw~Z QD Zw~,< Zw~Zw}XD ,\ [w~QD ,\ ,\ QB ,\ + IZ XBw~Zw~/ B ^+ Y,<` " [3B b+ P3B c+ P2B c+ QZ` + X2B d+ S[` Z + X2B d+ X[` 3B + WZ e+ XZ + X eB `B ], ,~ CLbTyN0@ P !_n9o (TE . 1)
TETYPE
ALLOF
DOWN
COLLECTTYPES
GETCTYPE
ONEOF
UP
LCCTYPE
SHARED
SYNONYM
GETDECLTYPE
MEMQ
((NIL) . 0)
LARGEP
TYPENAME
OF
SATISFIES
WHOSE
SUBTYPE
TUPLE
LISTP
SHOULDNT
(ASZ TYPTAB CONSNL BHC SKNLST KNIL ENTER1) X 5 4 Z ` K H h
X
` J ( ? X + ` % P x
MAKEDECLTYPE BINARY
- % ,-. %,<` " ',< ,< ,< '" (,< Z` XBw ,\ QD ,< ,<` " ( ,\ XD ,< ,<w$ )XBp ,< Zw@ ,< ,<` " (, ,\ XD ,\ / ,< Z` -, + #Zp @
(DECL . 1)
(PROPS . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 60)
CHECKTYPEXP
TYPEBLOCK
NCREATE
COPY
NOTICETB
BINDFN
CREATEFNPROP
SETFN
TESTFN
EVERYFN
(SKLST BHC CONSNL KNIL ENTER3) H P 8
MAKEBINDFN BINARY
-. Z` @ ,< ,<` ,< $ ,\ QD ,~ ` (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 4)
BINDFN
INHERITPROP
(ENTER1)
MAKESETFN BINARY
-. Z` @ ,< ,<` ,< $ ,\ XD ,~ ` (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 4)
SETFN
INHERITPROP
(ENTER1)
MAPTYPEUSERSA0006 BINARY
Z ,< Z @ Z Z D
3B + Z ,< Z ,< " , ,~ Z ,~ (VARIABLE-VALUE-CELL TB . 14)
(VARIABLE-VALUE-CELL NAME . 3)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 6)
(VARIABLE-VALUE-CELL FN . 12)
USESTYPE
(EVCC KNIL ENTERF) (
MAPTYPEUSERS BINARY
-. Z ,< Z D ,~ (VARIABLE-VALUE-CELL NAME . 0)
(VARIABLE-VALUE-CELL FN . 0)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 3)
MAPTYPEUSERSA0006
MAPHASH
(ENTERF)
NOTICETB BINARY
-. Z` -, + ,< ,< Z F ,<` ,<` Z F ,~ (TBLOCK . 1)
(TEXP . 1)
(VARIABLE-VALUE-CELL CLISPARRAY . 8)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 12)
PUTHASH
(SKLST ENTER2) 0
PPDTYPEA0007 BINARY
-.
Z ,< Z` @ Z [ ,\ 2B + Z` @ [ ,< ,< $
(VARIABLE-VALUE-CELL I . 3)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 13)
PRIN1
1
SPACES
(KNIL ENTER1)
(
PPDTYPE BINARY
u d r-. d^" ,> d,> f, .Bx ,^ / , ,< ,<` " f2B g+ Z` +
,<` " g,< ,< h,< $ hZp @ [ ,< ,< $ h,< i,< $ hZp @ Z [ 3B + +,<p " k,< Zp -, + + *Zp ,< @ k + )Zw~ ?." , ,< ,< l,< & jZ ,< Z lD m,~ [p XBp + / + -,< m,< $ hZp @ [ 3B + 7,<w,< ,< & j,< n,< $ hZp @ -[ @ f,< ,< ,< ( nZp @ 3Z 3B + A,<w,< ,< & j,< o,< $ hZp @ 7Z @ f,< ,< ,< ( nZp @ =[ 3B + K,<w,< ,< & j,< o,< $ hZp @ A[ @ f,< ,< ,< ( nZp @ GZ 3B + b,<w,< ,< & j,< p,< $ hZp @ KZ ,< Zp -, + U+ a,< w~." , ,< ,< l,< & jZp ,< ,< $ h,< p,< $ h[p Z ,< ,< $ q/ [p [ XBp + S/ qZp / ,~ u(
FA#bh#"!
4P (TYPE . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 163)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 77)
POSITION
TYPENAME
TYPEBLOCK
GETDECLTYPE
"DECLTYPE: "
PRIN1
" = "
"No type expression"
TAB
"Suptypes: "
GETCTYPE
(VARIABLE-VALUE-CELL I . 0)
0
PPDTYPEA0007
MAPHASH
"... not completed..."
"Bindfn: "
PRINTDEF
"Setfn: "
"Testfn: "
"Property: "
" = "
PRIN2
TERPRI
(KT SKNLST KNIL MKN BHC IUNBOX ENTER1) J 6 T x p \ 0 Y
O p M 0 G X E 8 A P ; 0 9 p 3 1 x - h x @ x
W P d
( ` 8
RECDTYPE BINARY
O = L-. =,< ,< ,< ?,<` Z ?, , ,< @ @ + ,< A,< ,< @ A ` + Z Z CXB Zw~,<8 ,< C$ D+ ,~ 3B + <,<` " DXBw,< ,< E" EZ` QD ,< ,<` $ FXBp ,< Zw@ ,< ,< F,<w}" G, B G, ,\ XD ,\ / XBw,< ,< H,< H,< IZ ,< ,< I,< J,<` , , ,< ,< J[w}[ Z ,< Zw|Z , ,< ,<w|,< Z &F K,\ F K, F LZwZ ), [ [ [ [ [ [ [ [ Z [ ,< Zp -, + 5+ ;,< ,<w~Zw,< [wZ F L/ [p [ XBp + 3/ Zw/ ,~ EJFB 0 (R . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 45)
(VARIABLE-VALUE-CELL COMMENTFLG . 63)
(VARIABLE-VALUE-CELL CLISPARRAY . 89)
type?
NILL
(NIL VARIABLE-VALUE-CELL CLISPCHANGE . 0)
(T VARIABLE-VALUE-CELL DWIMESSGAG . 0)
((DUMMY) . 0)
(0 . 1)
(0 . 1)
(0 . 1)
ERRORSET
DTYPE?TRAN
RECORDTRAN
RECLOOK
TYPEBLOCK
NCREATE
NOTICETB
SUBTYPE
RECDEFTYPE
COPY
TESTFN
LAMBDA
((VALUE) . 0)
ASSERT:
RECORD
VALUE
PUTHASH
SUBST
SETTBPROP
(SKNLST ALIST4 GETHSH LIST2 BHC ALIST2 CF ALIST3 CONSNL KNIL ENTER1) 4 , . 0 P < # X 0 P x (
DECLCHANGERECORD BINARY
' &-. ,<` ,<` ,<` & #Z` 3B + ,< Z` Z , ,< Zp 3B + Zp @ [ 2B +
,<p " $XBw3B + Z ,< [w[ Z XBwZ ,\ 2B + [wZ 2B $+ [w[ Z XBwZ 2B %+ Z` [wZ 2B 7 7 + + Z + ,<p " %/ ,~ Z ,~ ) &( (RNAME . 1)
(RFIELDS . 1)
(OLDFLG . 1)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 12)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 19)
(VARIABLE-VALUE-CELL COMMENTFLG . 28)
REALCHANGERECORD
MAKETESTFN
ASSERT:
RECORD
DELETETB
(BHC KT GETHSH KNIL ENTER3) x @ x 8 8 `
RECDEFTYPE BINARY
> 2 <-. 2Z` 2B 2+ + ,< Zp 3B +
[p Z B 3+
Z 4/ ,~ 2B 4+ Z 5,~ 2B 5+ Z 6,~ 2B 6+ Z 7,~ 2B 7+ [` Z -, + [` Z [ Z ,~ Z 4,~ 2B 8+ Z 8,~ 2B 9+ Z 9,~ 2B :+ /[` [ Z ,< Zp -, + #Z 9+ .3B + -,< Z :Z` 7 [ Z Z 1H + *2D + &[ Z ,\ 2B + -Zp + .Z 4/ ,~ 2B ;+ 1Z ;,~ Z 4,~ "9nl ]lP: (RD . 1)
ACCESSFNS
CREATE
DECLOF
ANY
ARRAYRECORD
ARRAYP
ASSOCRECORD
ALIST
ATOMRECORD
LITATOM
DATATYPE
HASHLINK
HARRAYP
PROPRECORD
LST
RECORD
SUBRECORD
TYPERECORD
LISTP
(SKLSTBHC KNIL ENTER1) " h p
REPROPTBA0008 BINARY
-. ,<` Z ,< ,< & ,~ @ (X . 1)
(VARIABLE-VALUE-CELL NEWP . 4)
REPROPTB
(KT ENTER1)
REPROPTB BINARY
. & ,-. &,< Z` 2B + + Z` 3B +
Z` @ Z ,< Z` D (3B + + [` Z ,< Z` @ Z ,< Z` D (,\ , 3B + + ,<p ,<` Z` ,< [` Z B ),< ,<` ( )Z` ,< [` Z , D *XBp [` [ XB` + Zp / ,< @ * ,~ Z 3B + %Zw,<8 " +ZwZ8 @
[ ,< Z +D ,Z ,~ H FA!` (TB . 1)
(PROPS . 1)
(INHERITING . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 69)
FINDPROP
LISTGET
COPY
SETTBPROP
NCONC
(VARIABLE-VALUE-CELL NEWP . 74)
UNSAVETYPE
REPROPTBA0008
MAPTYPEUSERS
(BHC ALIST2 EQUAL KNIL ENTER3) P 8
SETTBPROP BINARY
3 * 2-. *Z` 2B -+ Z` @ ,< ,<` ,< -$ - ,\ QD + 2B .+ ,<` ,< .$ -+ 2B .+ Z` @ ,< ,<` ,< .$ - ,\ XD + 2B /+ Z` @
[ 3B /+ 2B 0+ ,< 0Z` @ [ D 1+ Z` @ ,< ,<` ,< /$ - ,\ QD Z` 2B + *Z` @ Z 3B + %Z` @ Z ,< ,<` ,<` & 1,~ Z` @ !,< ,<` ,<` , ,\ XD ,~
;pcF
@ (TB . 1)
(P . 1)
(V . 1)
(BLKONLY . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 75)
BINDFN
CREATEFNVAL
EVERYFN
SETFN
TESTFN
ANY
NONE
"(Futile) attempt to change TESTFN of"
DECLERROR
LISTPUT
(LIST2 KNIL ENTER4)
TBDEFPRINT BINARY
Z
,< ,< Z` @ [ ,< ,< &
@
,\ XCp QEp ,\ ,~ (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 7)
((NIL) . 0)
"{DECLTYPE: "
"}"
CONCAT
PACK
(ENTER1)
TETYPE BINARY
! -. Z` -, + Z ,~ -, Z Z 3B +
3B +
3B +
3B +
3B +
3B +
2B + [` -, + [` Z 2B + Z ,~ [` Z -, Z Z 3B + 2B + [` Z Z ,~ Z ,~ Z ,~ x'` (TE . 1)
PRIMITIVE
ALLOF
MEMQ
ONEOF
SHARED
SUBTYPE
SYNONYM
TUPLE
OF
SATISFIES
WHOSE
(KNIL SKLST SKLA ENTER1) ( H p
UNCOMPLETE BINARY
" !-. Z` @ ,< Z` @ Z ,< ,< $ ,\ QD Z` @ ,< Z` @ Z ,< ,< $ ,\ XD Z` @ ,< Z` @ Z ,< ,< $ ,\ QD Z` @ Z [ 3B + Z` @ Z ,< ,< $ Z` @ [ ,< Z D !,~
0 C (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 52)
BINDFN
CREATEFNPROP
SETFN
TESTFN
RPLACD
UNCOMPLETE
MAPTYPEUSERS
(KNIL ENTER1) h
UNSAVETYPEA0009 BINARY
-. ,<` ,<` Z F 3B + ,<` ,< Z F ,~ " (TRAN . 1)
(ORIG . 1)
(VARIABLE-VALUE-CELL TYPE . 5)
(VARIABLE-VALUE-CELL CLISPARRAY . 11)
FORMUSESTB
PUTHASH
(KNIL ENTER2) `
UNSAVETYPE BINARY
-.
Z ,< Z D Z 3B + Z @ [ ,< ,< ,< & ,< ,< ,< & ,~ Z ,~ U (VARIABLE-VALUE-CELL TYPE . 10)
(VARIABLE-VALUE-CELL CLISPARRAY . 3)
(VARIABLE-VALUE-CELL MSDATABASELST . 7)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 11)
UNSAVETYPEA0009
MAPHASH
((USE TYPE) . 0)
GETRELATION
"type declarations"
MSNEEDUNSAVE
(KT KNIL ENTERF)
@
USERDECLTYPE BINARY
/ $ --. $Z` -, + "Z , ,< Z` Z` 3B +
Zp 3B + ,<` Zw@ Z Z ,\ , 3B + ,<` " &,< ,<` $ '3B + !,<` ,< '$ (+ !Z` 3B (+ 2B )+ ,< )D *,<` ,< 'Zw3B + Z *+ Z +F (Zp 3B + B +,<` Z` -, + ,< ,,< , ,< ,<` & ,/ Z` ,~ ,< -D *,~
+?'f# (NAME . 1)
(DECL . 1)
(PROPS . 1)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 6)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 18)
GETDECLTYPE
REPROPTB
DECLTYPES
MARKASCHANGED
ANY
NONE
"(Futile) attempt to redefine"
DECLERROR
CHANGED
DEFINED
DELETETB
SYNONYM
MAKEDECLTYPE
"Non-atomic DECLTYPE name"
(BHC LIST2 SKNLST EQUAL KNIL GETHSH SKLA ENTER3) "
H
USESTYPE BINARY
_ S \-. SZ` Z` 3B 7 7 + R,<` " T3B T+
3B U+
3B U+
3B V+
2B V+ [` ,< ,< ,< Zw-, + + Z XBp ,<` D W3B + Zp 2B + Z XBw+ [wXBw+
Zw+ 2B W+ *[` ,< ,< ,< Zw-, + + )Z XBp ,< Zw(B{Z A" ." 0B + "Z X+ #,<w" X,\ 2B + 'Zp 2B + &Z XBw+ )[wXBw+ Zw+ 2B Y+ 0,<` Z` D W2B + R[` [ Z XB` + 2B Y+ 2Z ,~ 2B Z+ 6Z` ,< Z XB` ,\ XB` + 2B Z+ @Z` ,< [` 3B + ;Z [+ ;Z ,\ 3B 7 7 + RZ T[` , XB` + 2B [+ R,<` Z` D W2B + R[` Z ,< ,< ,< Zw-, + H+ QZ XBp ,<` [wZ D W3B + OZp 2B + NZ XBw+ Q[wXBw+ FZw+ \,~ /E$L :I `pp1e A$I (NAME . 1)
(TE . 1)
TETYPE
ALLOF
ONEOF
SHARED
SUBTYPE
SYNONYM
USESTYPE
MEMQ
LARGEP
TYPENAME
OF
PRIMITIVE
SATISFIES
TUPLE
LISTP
WHOSE
SHOULDNT
(CONS ASZ TYPTAB URET3 SKNLST KNIL KT ENTER2) @ ! x
( * x ` ` L p F @ > @ : P 2 X & ( 0 P
H p = p @
MAKETESTFN BINARY
-. ,<` " ,~ (TB . 1)
MAKETESTFNBLOCK
(ENTER1)
EVERYCHAR BINARY
-. ,<` " ,< ,< ,< Z" XBw w,> ,> w ,^ / 3b +
+ ,<` ,<` ,<w~$ ,< " , 2B + Z XBp + w." , XBw+ Zp + H@ (STRNG . 1)
(FN . 1)
NCHARS
NTHCHAR
(URET3 MKN EVCC BHC ASZ KT KNIL ENTER2) @ ` P H x @
LARGEP BINARY
-. Z` -, + " + 7 Z ,~ Z ,~ @ (X . 1)
(KNIL KT SMALLT SKI ENTER1) X P @ 0
DECLRECURSING BINARY
-. ,<` ,< $ ,< ,< ,<` ,< ,<w~,<w~( 2B + + Z` ,< ,< ,<w~$ ,\ 3B +
+ ,<w" Z + + Zp + e (NAME . 1)
(ARG . 1)
-1
STKPOS
-2
1
STKARG
RELSTK
(URET2 KT KNIL ENTER2) H
SMASHCAR BINARY
,<` Zp -, + +
,< ,<p ,<` Zw,< " , ,\ XB / [p XBp + / Z` ,~ @ (L . 1)
(FN . 1)
(BHC EVCC SKNLST ENTER2) 8
ASSERT BINARY
-. ,<` Zp -, + Z + Zp ,< Zp -, + B + -, + )
VARASRT
INTERNAL
EVAL
ASSERTFAULT
27
ERRORX
(BHC LIST2 SKLST SKLA URET1 KNIL SKNLST ENTER1) x p P P H 8
ASSERTFAULT BINARY
-. ,< " Z` 3B + Z + Z ,< ,< $ ,< ,< $ ,< ,< $ B ,< ,< $ Z ,< ,< ,< Z` 3B + ,< ,<` , + Z` ,< " , ,~ y_ (DECL . 1)
(VARNAME . 1)
LISPXTERPRI
"DECLARATION"
"ASSERTION"
LISPXPRIN1
" NOT SATISFIED IN "
-1
ASSERTFAULT
REALSTKNTH
STKNAME
LISPXPRIN2
BREAK1
(EVCC LIST2 KNIL KT ENTER2) ` @ p
ASSERTMAC BINARY
9 / 7-. / 03B + Z 1,< Z ,< ,< 1,<p Z 2,< Z 2Z` XCp QEp ,\ ,\ XB Zp / ,\ XCp QEp ,\ ,~ ,<` ,< ,< ,< ,< Zw~-, + + +Z XBp -, + ,< 3,< ,< 3Zw~3B + 3B + -, + ,< 4,< , , , + "-, + ,< B 4D 5+ ",< 5,< , B 6XBwZw3B + ',< Zw, XBw~,\ QB + )Zw, XBwXBw~[w~XBw~+ [w~3B + .Z 6Zw~, + Zw~+
@ c%0WH (ARGS . 1)
(VARIABLE-VALUE-CELL COMMENTFLG . 8)
IGNOREDECL
((NIL) . 0)
((NIL) . 0)
((NIL) . 0)
ASSERT
OR
ASSERTFAULT
QUOTE
TYPEBLOCKOF
MAKETESTFORM
27
ERRORX
PROGN
(URET5 CONS CONSNL SKLA ALIST3 ALIST2 LIST2 SKNNM KT SKLST SKNLST BHC KNIL ENTER1) 0 p h & " @ P ( @ H $
*DECL BINARY
-. Z` 3B + Z` Z Z -, + Z` + Z` Z , ,< @ ,~ Z ,< Zw~[8 ,< ,< & ,~
(ARGS . 1)
(VARIABLE-VALUE-CELL SATISFIESLIST . 14)
DECLPROGN
INTERNAL
APPLY
(CONS SKLST KNIL ENTER1)
*DECLMAC BINARY
? 7 =-. 7Z ,< Z` ,< [` [ 3B + [` Z 8, + [` Z ,< ,< Zw2B +
Z + ZwZ -, Z XBp 3B + Zw+ Zw,< Zp -, + + Zp ,< [p [ 2B 9+ Zp Zw}, XBw}/ [p XBp + / ,< 9Zw3B + Zw~+ Zw~Z , 3B + $3B + $-, + $,< :,< , , XBw,< :,< Zw}Z 2B + )Z + 0Z ,< ;Zw}3B + /3B + /-, + /,< :,< , , , ,< Zw~3B + 4,< ; <, , D <, ,< ,<w~, +
@P0`PVTVd (ARGS . 1)
(VARIABLE-VALUE-CELL FREEVARS . 77)
(VARIABLE-VALUE-CELL CSATISFIESLIST . 61)
PROGN
FREE
CSATISFIESLIST
QUOTE
.CBIND.
FREEVARS
COMPILEIGNOREDECL
IGNOREDECL
NCONC
(URET4 LIST3 CONSS1 CONSNL ALIST2 LIST2 SKNNM BHC CONS SKNLST SKLST KT CONS21 KNIL ENTER1) x p X H 0 4 % / H X " , ! @ x + P h
CHKINIT BINARY
-. ,<` ,< ,< ,< Zw~-, + + Z XBw,< Z D [ Z XBp ,< ,<w$ ,< Zp @ [ 2B + ,<p " / ,< ZwZ 7@ 7 Z ,< " , 3B + + ,<p ,<w$ [w~XBw~+ Zw+ A (ARGS . 1)
(VARIABLE-VALUE-CELL SATISFIESLIST . 14)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 24)
ASSOC
GETDECLTYPE
MAKETESTFN
ASSERTFAULT
(URET4 EVCC KNOB BHC SKNLST KNIL ENTER1) ` 8
CHKINITMAC BINARY
E : C-. : <3B + Z =,< Z ,< Z =,< Z >Z` XCp QEp ,\ ,\ XCp QEp ,\ ,~ ,<` ,< ,< ,< ,< ,< ,< Zw}-, + + 6Z XBw,< >,< Z D ?[ Z XBw,< ,<w~$ ?,< Zp @ [ 2B + ,<p " @/ ,< ,<w~$ @,< ,< AZw~-, + !Z AZw~, + &Zw~3B + &3B + &-, + &,< B,< , ,< Zw}3B + ,3B + ,-, + ,,< B,< , , , XBw~Zw~3B + 2,< Zw~, XBw},\ QB + 4Zw~, XBw~XBw}[w}XBw}+ [w}3B + 9Z BZw}, + Zw}+
H(S0+ @@ (ARGS . 1)
(VARIABLE-VALUE-CELL COMMENTFLG . 8)
(VARIABLE-VALUE-CELL CSATISFIESLIST . 38)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 48)
IGNOREDECL
((NIL) . 0)
((NIL) . 0)
CHKINIT
OR
ASSOC
GETDECLTYPE
MAKETESTFN
APPLYFORM
ASSERTFAULT
DECLMSGMAC
QUOTE
PROGN
(URET7 CONSNL ALIST3 LIST2 SKNNM KT CONS SKLST BHC SKNLST KNIL ENTER1) 0 : 4 X - , p ( % ) @ ! 7 p ( 0 x h X
DECLCONSTANTP BINARY
5 , 3-. ,Z` 2B + Z ,~ 3B 7 7 + ,Z` -, + ,-, + ,-, + +Z` 3B -+
2B -+ Z` ,< ,< .$ .3B + ,<` ,< $ /+ Z` ,< Zp Z` 3B + 3B /+ XB` / + Z` 3B 0+ 3B 0+ 3B 1+ 3B 1+ 2B 2+ Z + *Z` ,< ,< 2$ .3B + *[` ,< Zp -, + $Z + *Zp ,< ,<w$ 32B + (Z + *[p XBp + "/ / ,~ Z ,~ UpiKS!E$ (X . 1)
QUOTE
CONSTANT
MACRO
GETP
EXPANDMACRO
IGNOREMACRO
SELECTQ
CLOSER
GO
PROG
COND
CTYPE
DECLCONSTANTP
(SKNLST@BHCSKLSTxSKNSTPSKNNM KT KNIL ENTER1) # + 0 $
DD BINARY
-. Z` ,< [` Z , , , ,< ,< $ ,~ (X . 1)
DLAMBDA
DEFINE
(KT CONSNL ALIST2 CONS21 ENTER1) h X P H
DECLCLISPTRAN BINARY
/ *-. ,< ,< ,< ,< ,< ,Z` -, + Z` -, Z Z ,< ,< [$ !Z 2B !+ Z` 2B "+ Z XBwZ` XBw~3B + + [` -, Z [ -, Z Z XBw~Z 2B "+ [w~-, Z Z XBw~Z 2B #+ Z 3B + +,< #,<w~$ $[ ,< ,< ,< Zw-, + + )Z XBp -, + 'Zp Zw~, 2B + 'Zp 2B + &Z XBw+ )[wXBw+ Zw/ 3B + ,<w~Zw~3B + .Z $+ .Z %,\ XB [w~[ ,< Zw~3B + 4[w~Z + 4Z ,< ,< ,< Zw~-, + 8+ qZ XBp Zp 3B #+ ;+ p[p ,< ,< ,< ,< ,< Zw~-, + @+ lZ XBw-, + DZwZw{, 3B + GZwZp , XBp + kZwz3B + e,<w|,< ,< ZwXBp Zp -, + M+ aZw}Zp 2B + T,<p Zw,< Z [w|, , ,\ XB + dZp -, + `Zw}Zp Z 2B + `Zp [ -, + ]Zp ,< Zw[ , ,\ QB Zp ,< [w}D %+ d[p XBp + KZw}Zwx, XBwxZw/ + kZw2B &+ iZwZw{, XBw{+ kZwZwy, XBwy[w~XBw~+ >,<w},<w" &,\ QB Zw~/ [w~XBw~+ 6Zw/ Zw~3B + y[w~,< ,<w}" &Z ', [w~[ , D '@ ( + Zw~Z?3B +
, XBw~,< ,<w~,< Z F ),\ 3B + Zw~Zw~ D + Z XB` / ,<` ,<` $ *,~ H00I HpB@1
@X H#G B (X . 1)
(TRAN . 1)
(VARIABLE-VALUE-CELL NEWSATLIST . 50)
(VARIABLE-VALUE-CELL FAULTFN . 288)
(VARIABLE-VALUE-CELL CLISPARRAY . 298)
((LOCALVARS SPECVARS ADDTOVAR DEFLIST PUTPROPS CONSTANTS SETQQ USEDFREE) . 0)
CLISPWORD
GETPROP
FORWORD
PROG
FUNCTION
LAMBDA
DECLARE
ASSOC
DPROG
DLAMBDA
NCONC
RETURNS
DREVERSE
DECL
RPLACD
(NIL VARIABLE-VALUE-CELL CLISPRETRANFLG . 0)
DPROGN
DWIMIFY0?
PUTHASH
REALCLISPTRAN
(GETHSH LIST3 CONS21 CONSNL CONSS1 CONS BHC FMEMB SKNLST KT SKLST KNIL ENTER2) 8 w ] S y
8 R h @ s e ( @ $ Z H ? x ' P
X B ( p x x 8 ( | @ Q ( J D h > X = h 6 P 2 P + ` $ h ( 0 p @ 0
DECLMSGA0010 BINARY
-. Z ,< Z` @ [ ,\ , 3B + ,<
Z` @ [ D ,~ (TB . 1)
(VARIABLE-VALUE-CELL DECLMSG . 3)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 14)
DECLMSG
RETFROM
(KNIL EQUAL ENTER1) ` X
DECLMSG BINARY
+ Z ,~ Z ,< Z D Z ,< Z D 2B +
Z Z , XB
Z ,~ C
(VARIABLE-VALUE-CELL DECLMSG . 20)
(VARIABLE-VALUE-CELL DECLTYPESARRAY . 10)
(VARIABLE-VALUE-CELL DECLMESSAGES . 23)
DECLMSGA0010
MAPHASH
MEMBER
(CONS KNIL GETHSH ENTERF)
@ 8
DECLDWIMERROR BINARY
! -. ,< " ,< ,< $ Z ,< ,< $ ,< ,< $ . . ,<8 ,< ,< Z" XBp p ,> ,> w ,^ / 3b + Zw+ p ."` Z 2B + ,< " + p ."` Z ,< ,< $ p ." , XBp + / ,< " ,~ F@,& (ARGS . 1)
(VARIABLE-VALUE-CELL FAULTFN . 8)
LISPXTERPRI
"{in "
LISPXPRIN1
"} "
ERROR!
(MKN BHC ASZ KNIL CF CFARP KT ENTERN) p 0 (
x 0 ` (
DECLDWIMTESTFN BINARY
-. Z` @ [ 2B + ,<` " ,< Zp -, + Z 2B + Zp Z , 2B + ,<p ,<w,< ,< ,< Z L Zp Z , 2B + ,<p ,<wZ F Zp + Q@B (TB . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 4)
(VARIABLE-VALUE-CELL CLISPRETRANFLG . 14)
(VARIABLE-VALUE-CELL CLISPARRAY . 36)
(VARIABLE-VALUE-CELL FAULTFN . 27)
MAKETESTFN
DWIMIFY0?
PUTHASH
(URET1 GETHSH SKLST KNIL ENTER1) H
`
DECLSET BINARY
-. ,<` " ,< ,< Zp Z` XD [ ,< ,< [p Z` XD Zp / ,\ XB Zp / D ,< ,<` " ,\ ,~ $ (VAR . 1)
(VAL . 1)
VARSETFN
((NIL NIL) . 0)
((QUOTE Q) . 0)
APPLY
VARASRT
(BHC ENTER2) 8
DECLSETQ BINARY
-. Z ,< [` ,< ,< & ,< Z` B ,< ,< Zp Z` XD [ ,< ,< [p Zw~XD Zp / ,\ XB Zp / ,< ,< & ,< Z` B ,\ / ,~ e (U . 1)
PROG1
INTERNAL
APPLY
VARSETFN
((NIL NIL) . 0)
((QUOTE Q) . 0)
VARASRT
(BHC ENTER1) 0 P
DECLSETQQ BINARY
-. Z ,< ,<` ,< [p Z` XD Zp / ,< " , ,~ (XSET . 1)
(YSET . 1)
DECLSETQ
((QUOTE Q) . 0)
(EVCC BHC ENTER2) h
DLAMARGLIST BINARY
-. [` Z -, + [` Z ,< ,< ,< ,< Zw~-, + Zw+ Zw~,< Zp -, Z Z 3B + Zp -, + Zp + , + Z / XBp -, + Zw3B + Zp QD + Zp XBw [ 2D + XBw[w~XBw~+ [` Z ,~
T$@D (DEF . 1)
RETURNS
(BHC CONSNL URET4 SKNLST KNIL SKLST ENTER1)
p ` 0 8
DTYPE?TRAN BINARY
) Z (-. ,Z XB Z 3B + ,<` ,< "$ #[` Z B #,< [` [ ,< ,< Zw2B + XBp ,<` 3B + + Zw-, + ,< %,< ,< , + Z 'D '/ Z` ,~ Y dHHf (FORM . 1)
(VARIABLE-VALUE-CELL CLISPCHANGE . 4)
(VARIABLE-VALUE-CELL LCASEFLG . 5)
(VARIABLE-VALUE-CELL FAULTFN . 31)
type?
/RPLACA
GETDECLTYPE.NOERROR
"invalid type declaration: "
DECLDWIMERROR
DWIMIFY0?
PROGN
DECLDWIMTESTFN
APPLYFORM
((PROGN T) . 0)
REALCLISPTRAN
(BHC LIST3 SKLST CONS KNIL KT ENTER1) ` 8 @ x 0
@ X (
EDITNEWSATLIST BINARY
-. [ ,< Zp -, + Z + Zp ,< ,<w/ Zp -, + Zp XBp -, +
Zp XBp -, + Zp Z , 2B + ,<p ,< $ Z 2B 7 Z + Z / 3B + Z + [p XBp + @-" (VARIABLE-VALUE-CELL L . 3)
(VARIABLE-VALUE-CELL DECLATOMS . 26)
CLISPWORD
GETPROP
FORWORD
(KNIL FMEMB SKLA SKNLA SKLST BHC URET1 KT SKNLST ENTER0) P (
x h P @
FORMUSESTB BINARY
" !-. Z` -, + Z` Z , 2B + Z -, + Z 3B 7 7 + Z` -, Z Z ,< ,< $ -, Z Z 2B + Z B Z XB -, Z Z 2B + [ -, Z Z -, Z Z 2B 7 Z ,~ Z ,~ Z ,~ I$
4 (FORM . 1)
(TRANS . 1)
(TB . 1)
(VARIABLE-VALUE-CELL TRAN . 40)
((type? TYPE? the THE DLAMBDA DPROG DPROGN) . 0)
*DECL
CLISPWORD
GETP
FORWORD
LAST
RETURN
(KT KNIL FMEMB SKLST ENTER3) ( x 0 8 X P p ( 0 0
IGNOREDECL BINARY
-. Z 3B 7 7 + Z -, +
,<
,<
$ Z D
Z ,~ Z ,~ O (VARIABLE-VALUE-CELL COMPILEIGNOREDECL . 15)
FN
COMPILE1
EVALV
MEMB
(SKLST KNIL KT ENTER0) X 8 @ ( 0
MAKETESTFORM BINARY
1 ) 0-. )Z` @ [ 2B + ,<` " +,< ,<` $ +,< Zp 2B + Z ,,< Z ,< ,< ,,<p ,< -Zp Z -XD [ Z` XD Zp / ,\ XB Zp / ,\ XCp QEp ,\ + (,< .,< ,< .Z` @ [ ,< Zp -, + Z /Zp , + !Zp 3B + !3B + !-, + !,< /,< , / ,< Z` 3B + '3B + '-, + ',< /,< , , , / ,~ RT 2+X (VAR . 1)
(TYPE . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 46)
(VARIABLE-VALUE-CELL COMMENTFLG . 19)
MAKETESTFN
APPLYFORM
((NIL) . 0)
((NIL) . 0)
((NIL NIL) . 0)
ASSERT
OR
ASSERTFAULT
DECLMSGMAC
QUOTE
(ALIST3 LIST2 SKNNM CONS SKLST BHC KT KNIL ENTER2) ( ' X ) H 8 @
SETQMAC BINARY
N > K-. >Z` B ?,< ,< Zw@ Z 2B + ,<w" @Z` , XBp @2B + 9Zw@ Z Z 3B A+ 9Zw@
Z 2B + ,<w" @2B A+ 0[` Z B B3B + 0Zw@ " E2B + .,< E,< ,< @ F ` + ,Z Z GXB Zw~,<8 Zw~[8 Z B H,< " , Zw~XB8 2B + +,< HZ IZw~Z8 , D IZ ,~ 3B + .Z` ,~ Z ,~ 2B + 9,<wZw@ Z 2B + 4,<w" @2B A+ 6Zw+ 7[` Z B ?D J3B + :Zp + ,< J,<wZ` ,< ,<w~$ K, +
(*U2P 8DM@ (ARGS . 1)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 99)
TYPEBLOCKOF
MAKESETFN
IGNOREDECL
ANY
REALSETQ
DECLCONSTANTP
MAKETESTFN
(0 . 1)
NIL
(NIL VARIABLE-VALUE-CELL HELPFLAG . 0)
SUBRP
FREEVARS
((DUMMY) . 0)
(0 . 1)
(0 . 1)
(0 . 1)
ERRORSET
EVAL
" Warning: Probable type fault in"
SETQ
COMPEM
COVERSTB
PROG1
MAKETESTFORM
(ALIST3 URET2 KT EVCC CF CONS KNIL ENTER1) h p ; , ' ! + 3 / X ( x X h x
`
THETRAN BINARY
@ 3 >-. 3Z XB Z 3B + ,<` ,< 5$ 6[` Z B 6,< Zp 2B + ,< 7[` Z D 7[` [ ,< ,<` [` [ ,< ,< ,< Z L 8,<p " 8,< ,< 9$ 9,< [` [ [ 3B + Z :[` [ , + [` [ Z ,< ,<` Zw2B + Zw+ 1,< :,< ;,< ;,< <,< ,< 9, ,< ,< ,< <,< 9[` Z -, + 'Z =[` Z , + -[` Z 3B + -3B + --, + -,< =,< , , , , , ,< ,<w~$ 9, D >/ / Z` ,~ Y
@`b>F1
`
(FORM . 1)
(VARIABLE-VALUE-CELL CLISPCHANGE . 4)
(VARIABLE-VALUE-CELL LCASEFLG . 5)
(VARIABLE-VALUE-CELL FAULTFN . 31)
the
/RPLACA
GETDECLTYPE.NOERROR
"invalid type declaration: "
DECLDWIMERROR
DWIMIFY0?
DECLDWIMTESTFN
VALUE
APPLYFORM
PROGN
CHKVAL
LAMBDA
((VALUE) . 0)
COND
VALUEERROR
DECLMSGMAC
QUOTE
REALCLISPTRAN
(BHC ALIST2 ALIST3 SKNNM SKLST LIST2 CONS KNIL KT ENTER1) 0 2 1 h x / ` 8 P X ! ' * ( (
VALUEERROR BINARY
-. ,< ,< $ ,< ,< ,< Zw2B + Z ,< ,< ,<w~( XBp B -, + + ,<p " ,< ,< $ ,<p " + + Zw/ Z ,< ,< ,< ,< ,<` , ,< ,< " , ,~ &Rr" (VARIABLE-VALUE-CELL VALUE . 0)
(DECL . 1)
"
VALUE ASSERTION NOT SATISFIED IN "
LISPXPRIN1
-1
VALUEERROR
REALSTKNTH
STKNAME
LISPXPRIN2
RELSTK
BREAK1
VALUE
((EVAL) . 0)
(EVCC LIST2 BHC SKNLA KNIL KT ENTERF) h H ( H X
VARSETFN BINARY
-. Z ,< ,< ,< ,< ,< Zw~-, + + Z XBw,<` D XBp 2B +
+ [p XBp 2B + $ ,< Zp @ Z 2B + ,<p " / + [w~XBw~+ Z + P` (VARNAME . 1)
(VARIABLE-VALUE-CELL SATISFIESLIST . 3)
(VARIABLE-VALUE-CELL TYPEBLOCK DATATYPE . 33)
ASSOC
ANY
GETDECLTYPE
MAKESETFN
REALSETQ
(URET5 BHC SKNLST KNIL ENTER1) x H
P @
STARTDECLS BINARY
Z G X-. ( G,< JZp -, + + Zp ,< ,< J,<w$ K/ [p XBp + / ,< KZp -, + + Zp ,< ,< L,<w$ K/ [p XBp + / ,< LZp -, + + Zp ,< ,<p ,< M,<w$ MD K3B + Zp Z , 3B + ,< M,<w$ MZ , XB / [p XBp + / ,< N,< N$ O,< Zp 3B + %,< O,< NF P+ &,< O,< N$ P/ ,< Q,< Q$ O,< Zp 3B + ,,< R,< QF P+ .,< R,< Q$ P/ ,< RZp Z 7@ 7 Z 2B S+ 6,<p ,< Z F SB T3B + 7Z + 7Z / 3B + <Z ,< ,< T,< U& U3B T+ = V,< VZp -, + ?+ EZp ,< Zp ,< [w,< Z F W/ [p XBp + =/ ,< " W,~ Je
bh4c}c~AF"?L (VARIABLE-VALUE-CELL SYSLINKEDFNS . 48)
(VARIABLE-VALUE-CELL LINKEDFNS . 57)
(VARIABLE-VALUE-CELL BOUNDPDUMMY . 103)
(VARIABLE-VALUE-CELL DWIMWAIT . 114)
(VARIABLE-VALUE-CELL MSTEMPLATES . 133)
((DECL WHOSE) . 0)
QUOTE
MOVD?
((CHKVAL DECLPROGN) . 0)
PROGN
((CHANGERECORD CLISPTRAN SETQ SET SETQQ) . 0)
REAL
PACK*
SETQ
BYTEMACRO
GETPROP
REALSETQ
PUTPROP
REMPROP
SET
MACRO
REALSET
DECLTYPESARRAY
NOBIND
STKSCAN
RELSTK
N
"Reinitialize DECLTYPE lattice? "
ASKUSER
INITDECLTYPES
(((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)) . 0)
PUTHASH
DODECLS
(KT KNOB CONS FMEMB KNIL BHC SKNLST ENTER0) p 7 1 9 6 @ * 0 x h D / x ` p x p 0
DODECLS BINARY
_ V \-. VZ` 2B + 7 Z XB ,< W,< XZ` 3B + .Zp 2B + .,<p ,<w,< Zw-, + Zp Z 2B + " + [ QD " + -Zw,< Zp ,< ZwB X,< [w[ ,< ,< ,< ,< Zw~-, + Zw+ (,< Zp ,< Zw|,< ZwD Y, / XBp -, + &Zw3B + "Zp QD + #Zp XBw [ 2D + $XBw[w~[ XBw~+ / , , / Zp , XBp [wXBw+
/ D YZ` 3B + 1Zw+ 1Zp ,< Zp -, + 4+ QZp ,< [p Z ,< Zp 3B + ?Zw,< Z` 3B + >Zw2B + >,< ZZw~D ZB X+ ?ZwD [/ [p [ ,< Zp -, + C+ O,< [p Z ,< Zp 3B + JZw~,< Zw,< ,<w& [+ LZw~,< ZwD \/ / [p [ XBp + A/ [p XBp + 2/ Z` 2B + U,<p ,< $ Y/ Z` ,~ "D@B$ &t
D$ (FLG . 1)
(VARIABLE-VALUE-CELL COMPILEIGNOREDECL . 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?))) . 0)
((NIL) . 0)
GETD
GETPROP
RPLACA
DECL
PACK*
PUTD
PUTPROP
REMPROP
(COLLCT CONSS1 SKLST BHC ALIST2 SKNLST KT KNIL ENTER1) @ ( * V
( P ` M . 0 ) h ` 0 3 < @
P S p : 0 ` ! x h
H
(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 (FILES (SYSLOAD
FROM VALUEOF LISPUSERSDIRECTORIES) NOBOX) (* Definition of WITH. From <SHEIL>WITH.) (MACROS WITH) (
TEMPLATES WITH) (P (REMPROP (QUOTE WITH) (QUOTE CLISPWORD)) (ADDTOVAR DWIMEQUIVLST (WITH . PROG)) (
ADDTOVAR PRETTYEQUIVLST (WITH . PROG)))) (P (OR (GETPROP (QUOTE LOADTIMECONSTANT) (QUOTE FILEDATES)) (
PROG ((X (FINDFILE (QUOTE LOADTIMECONSTANT.COM) 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)) (ADDVARS (DECLATOMS DLAMBDA DPROG DPROGN) (LAMBDASPLST
DLAMBDA) (DECLMESSAGES) (COMPILEIGNOREDECL) (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)))
(DEFPRINT (QUOTE TYPEBLOCK) (QUOTE TBDEFPRINT))
(FILESLOAD (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) LABEL)
(DECLARE: EVAL@COMPILE (PUTPROPS LARGEP 10MACRO ((X) (EQ (NTYP X) 18))))
(FILESLOAD (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) LAMBDATRAN)
(FILESLOAD (SYSLOAD FROM VALUEOF LISPUSERSDIRECTORIES) SIMPLIFY)
(OR (GETPROP (QUOTE LOADTIMECONSTANT) (QUOTE FILEDATES)) (PROG ((X (FINDFILE (QUOTE
LOADTIMECONSTANT.COM) 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)
(ADDTOVAR DECLATOMS DLAMBDA DPROG DPROGN)
(ADDTOVAR LAMBDASPLST DLAMBDA)
(ADDTOVAR DECLMESSAGES)
(ADDTOVAR COMPILEIGNOREDECL)
(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)))
(PUTPROPS .CBIND. BYTEMACRO (APPLY (LAMBDA (PV BODY) (APPLY* (QUOTE PROG) PV (QUOTE (RETURN (CEXP1
BODY)))))))
(PUTPROPS .CBIND. 10MACRO (X (APPLY* (QUOTE PROG) (CAR X) (QUOTE (COMP (CADR X) VCF PCF PIF NCF))) (
SETQ PCF (SETQ NCF)) (QUOTE INSTRUCTIONS)))
(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))))
(PUTPROPS DECLMSGMAC DMACRO ((X . Y) (CONSTANT (DECLMSG X . Y))))
(PUTPROPS DECLMSGMAC MACRO ((X . Y) (LOADTIMECONSTANT (DECLMSG X . Y))))
(PUTPROPS REALSETQ MACRO (X (CEXP (CADR X)) (VARCOMP (CAR X)) (STORIN (LIST (QUOTE STV) (CAR X) SP)) (
QUOTE INSTRUCTIONS)))
(PUTPROPS REALSET DMACRO T)
(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)
NIL