Lines Matching +defs:M1 +defs:REPEAT
1 (DEFPKG "M1"
19 (IN-PACKAGE "M1")
21 (DEFUN M1::PUSH (M1::X M1::Y) (CONS M1::X M1::Y))
23 (DEFUN M1::TOP (M1::STACK) (CAR M1::STACK))
25 (DEFUN M1::POP (M1::STACK) (CDR M1::STACK))
27 (DEFUN M1::NTH (M1::N LIST)
28 (IF (ZP M1::N)
30 (M1::NTH (BINARY-+ '-1 M1::N)
33 (DEFUN M1::MAKE-STATE
34 (M1::PC M1::LOCALS M1::STACK M1::PROGRAM)
35 (CONS M1::PC
36 (CONS M1::LOCALS
37 (CONS M1::STACK (CONS M1::PROGRAM 'NIL)))))
39 (DEFUN M1::PC (M1::S) (M1::NTH '0 M1::S))
41 (DEFUN M1::LOCALS (M1::S) (M1::NTH '1 M1::S))
43 (DEFUN M1::STACK (M1::S) (M1::NTH '2 M1::S))
45 (DEFUN M1::PROGRAM (M1::S) (M1::NTH '3 M1::S))
47 (DEFUN M1::OP-CODE (M1::INST) (CAR M1::INST))
49 (DEFUN M1::ARG1 (M1::INST) (M1::NTH '1 M1::INST))
51 (DEFUN M1::ARG2 (M1::INST) (M1::NTH '2 M1::INST))
53 (DEFUN M1::ARG3 (M1::INST) (M1::NTH '3 M1::INST))
55 (DEFUN M1::LEN (M1::X)
56 (IF (ENDP M1::X)
58 (BINARY-+ '1 (M1::LEN (CDR M1::X)))))
60 (DEFUN M1::APP (M1::X M1::Y)
61 (IF (ENDP M1::X)
62 M1::Y
63 (CONS (CAR M1::X)
64 (M1::APP (CDR M1::X) M1::Y))))
66 (DEFUN M1::REV (M1::X)
67 (IF (ENDP M1::X)
69 (M1::APP (M1::REV (CDR M1::X))
70 (CONS (CAR M1::X) 'NIL))))
72 (DEFUN M1::REV1 (M1::X M1::A)
73 (IF (ENDP M1::X)
74 M1::A
75 (M1::REV1 (CDR M1::X)
76 (CONS (CAR M1::X) M1::A))))
78 (DEFUN M1::FREV (M1::X) (M1::REV1 M1::X 'NIL))
80 (DEFUN M1::REPEAT (M1::TH M1::N)
81 (IF (ZP M1::N)
83 (CONS M1::TH
84 (M1::REPEAT M1::TH (BINARY-+ '-1 M1::N)))))
86 (DEFUN M1::POPN (M1::N M1::STK)
87 (IF (ZP M1::N)
88 M1::STK
89 (M1::POPN (BINARY-+ '-1 M1::N)
90 (M1::POP M1::STK))))
92 (DEFUN M1::UPDATE-NTH (M1::N M1::V LIST)
93 (IF (ZP M1::N)
94 (CONS M1::V (CDR LIST))
96 (M1::UPDATE-NTH (BINARY-+ '-1 M1::N)
97 M1::V (CDR LIST)))))
99 (DEFUN M1::MEMBER (M1::E LIST)
102 (IF (EQUAL M1::E (CAR LIST))
104 (M1::MEMBER M1::E (CDR LIST)))))
106 (DEFUN M1::INDEX (M1::E M1::LST)
107 (IF (ENDP M1::LST)
109 (IF (EQUAL M1::E (CAR M1::LST))
112 (M1::INDEX M1::E (CDR M1::LST))))))
114 (DEFUN M1::SUPPLIEDP (M1::KEY M1::ARGS)
115 (IF (ENDP M1::ARGS)
117 (IF (EQUAL M1::KEY (CAR M1::ARGS))
119 (M1::SUPPLIEDP M1::KEY (CDR (CDR M1::ARGS))))))
121 (DEFUN M1::ACTUAL (M1::KEY M1::ARGS)
122 (IF (ENDP M1::ARGS)
124 (IF (EQUAL M1::KEY (CAR M1::ARGS))
125 (CAR (CDR M1::ARGS))
126 (M1::ACTUAL M1::KEY (CDR (CDR M1::ARGS))))))
128 (DEFUN M1::BOUNDP (M1::VAR M1::ALIST)
129 (IF (ENDP M1::ALIST)
131 (IF (EQUAL M1::VAR (CAR (CAR M1::ALIST)))
133 (M1::BOUNDP M1::VAR (CDR M1::ALIST)))))
135 (DEFUN M1::BINDING (M1::VAR M1::ALIST)
136 (IF (ENDP M1::ALIST)
138 (IF (EQUAL M1::VAR (CAR (CAR M1::ALIST)))
139 (CAR (CDR (CAR M1::ALIST)))
140 (M1::BINDING M1::VAR (CDR M1::ALIST)))))
142 (DEFUN M1::BIND (M1::VAR M1::VAL M1::ALIST)
143 (IF (ENDP M1::ALIST)
144 (CONS (CONS M1::VAR (CONS M1::VAL 'NIL))
146 (IF (EQUAL M1::VAR (CAR (CAR M1::ALIST)))
147 (CONS (CONS M1::VAR (CONS M1::VAL 'NIL))
148 (CDR M1::ALIST))
149 (CONS (CAR M1::ALIST)
150 (M1::BIND M1::VAR M1::VAL (CDR M1::ALIST))))))
152 (DEFUN M1::U-FIX (M1::X M1::N) (MOD M1::X (EXPT '2 M1::N)))
154 (DEFUN M1::S-FIX (M1::X M1::N)
155 ((LAMBDA (M1::TEMP M1::N)
156 (IF (< M1::TEMP (EXPT '2 (BINARY-+ '-1 M1::N)))
157 M1::TEMP
158 (BINARY-+ M1::TEMP (UNARY-- (EXPT '2 M1::N)))))
159 (MOD M1::X (EXPT '2 M1::N))
160 M1::N))
162 (DEFUN M1::U-BIG1 (M1::LST M1::ACC)
163 (IF (ENDP M1::LST)
164 M1::ACC
165 (M1::U-BIG1 (CDR M1::LST)
166 (BINARY-+ (M1::U-FIX (CAR M1::LST) '8)
167 (BINARY-* (EXPT '2 '8) M1::ACC)))))
169 (DEFUN M1::U-BIG (M1::LST) (M1::U-BIG1 M1::LST '0))
171 (DEFUN M1::S-BIG (M1::LST)
172 (M1::S-FIX (M1::U-BIG M1::LST)
173 (BINARY-* '8 (M1::LEN M1::LST))))
175 (DEFUN M1::NEXTN (M1::N M1::LST)
176 (IF (ZP M1::N)
178 (CONS (CAR M1::LST)
179 (M1::NEXTN (BINARY-+ '-1 M1::N)
180 (CDR M1::LST)))))
182 (DEFUN M1::SKIPN (M1::N M1::LST)
183 (IF (ZP M1::N)
184 M1::LST
185 (M1::SKIPN (BINARY-+ '-1 M1::N)
186 (CDR M1::LST))))