Lines Matching refs:exp
9 val renamer = Q.INST [`x1`|->`exp`,`x2`|->`x`,`x3`|->`y`,`x4`|->`z`,`x5`|->`stack`,`x6`|->`alist`] o INST [``limit:num``|->``l:num``]
18 val renamer = Q.INST [`x1`|->`exp`,`x2`|->`x`,`x3`|->`y`,`x4`|->`z`,`x5`|->`stack`,`x6`|->`alist`] o INST [``limit:num``|->``l:num``]
27 val renamer = Q.INST [`x1`|->`exp`,`x2`|->`x`,`x3`|->`y`,`x4`|->`z`,`x5`|->`stack`,`x6`|->`alist`] o
38 val STATE = ``(exp:SExp,x:SExp,y:SExp,z:SExp,stack:SExp,alist:SExp,l:num)``
45 if exp = x then
47 let exp = CDR x in
55 let (exp,x,y,z,stack,alist,l) = lookup_aux ^STATE in
60 let alist = exp in
61 let exp = CAR y in
63 let exp = Dot exp x in
65 let exp = Dot exp x in
74 let exp = LISP_ADD exp (Val 1) in
81 if isSym exp
82 then let exp = Sym "t" in ^STATE
83 else let exp = Sym "nil" in ^STATE)
86 if isDot exp
87 then let exp = Sym "t" in ^STATE
88 else let exp = Sym "nil" in ^STATE)
91 if getVal exp < getVal x
92 then let exp = Sym "t" in ^STATE
93 else let exp = Sym "nil" in ^STATE)
96 if isDot exp
97 then let exp = Sym "nil" in ^STATE
98 else let exp = Sym "t" in ^STATE)
101 if isDot exp
102 then let exp = Sym "nil" in ^STATE
103 else if isSym exp
104 then let exp = Sym "nil" in ^STATE
105 else let exp = Sym "t" in ^STATE)
111 let exp = LISP_ADD exp x in
120 let (exp,x,y) = (LISP_MULT exp x,Sym "nil",Sym "nil") in
126 if ~(isDot y) then let exp = Sym "nil" in ^STATE else
128 if exp = x then let exp = Sym "t" in ^STATE else
135 let exp = CAR alist in
136 let exp = CAR exp in
138 let (exp,x,y,z,stack,alist,l) = lisp_find_in_list ^STATE in
139 if exp = Sym "nil" then ^STATE else
150 let exp = Dot exp x in
153 let exp = Dot exp x in
154 let x = exp in
155 let exp = y in
156 let exp = Dot exp x in
157 let stack = exp in
158 let (exp,x,y,z,stack,alist,l) = lisp_reduce_alist_aux ^STATE in
162 let exp = CAR stack in
166 let z = exp in
167 let exp = x in
169 let exp = Dot exp x in
170 let stack = exp in
171 let exp = z in
181 let (exp,x,y,z,stack,alist,l) = lisp_reduce_alist ^STATE in
182 let z = exp in (* z hold evaluated args *)
183 let x = exp in
184 let exp = Val 0 in
185 let (exp,x,y,z,stack,alist,l) = lisp_length ^STATE in
187 let exp = Dot exp x in
188 let x = exp in
189 let exp = CDR y in (* exp := body of lambda *)
190 let exp = Dot exp x in
191 let stack = exp in
193 let exp = alist in
195 let (exp,x,y,z,stack,alist,l) = zip_yz ^STATE in
196 let alist = exp in
197 let exp = CAR stack in
199 let exp = CAR exp in
203 let z = exp in
204 let exp = Val 1 in
206 let exp = Dot exp x in
207 let stack = exp in
209 let exp = CAR y in
211 let exp = Dot exp x in
213 let exp = Dot exp x in
215 let alist = exp in
216 let exp = z in
223 let exp = CAR exp in
224 let exp = CAR exp in
227 let exp = CAR exp in
228 let exp = CDR exp in
231 let x = CDR exp in
232 let exp = CAR exp in
234 let exp = Dot exp x in
237 let y = exp in
238 let exp = Val 0 in
239 let (exp,x,y,z,stack,alist,l) = lisp_add ^STATE in
242 let x = CDR exp in
243 let exp = CAR exp in
245 let exp = LISP_SUB exp x in
248 let z = exp in
249 let exp = Val 1 in
250 let (exp,x,y,z,stack,alist,l) = lisp_mult ^STATE in
254 let x = CDR exp in
255 let exp = CAR exp in
257 let (exp,x,y) = (LISP_DIV exp x,Sym "nil",Sym "nil") in
260 let x = CDR exp in
261 let exp = CAR exp in
263 let (exp,x,y) = (LISP_MOD exp x,Sym "nil",Sym "nil") in
266 let x = CDR exp in
267 let exp = CAR exp in
269 let (exp,x,y,z,stack,alist,l) = lisp_less ^STATE in
272 let exp = CAR exp in
273 let (exp,x,y,z,stack,alist,l) = lisp_atomp ^STATE in
276 let exp = CAR exp in
277 let (exp,x,y,z,stack,alist,l) = lisp_consp ^STATE in
280 let exp = CAR exp in
281 let (exp,x,y,z,stack,alist,l) = lisp_numberp ^STATE in
284 let exp = CAR exp in
285 let (exp,x,y,z,stack,alist,l) = lisp_symbolp ^STATE in
288 let x = CDR exp in
289 let exp = CAR exp in
291 let exp = LISP_EQUAL exp x in
294 let z = exp in
295 let exp = x in
296 let (exp,x,y,z,stack,alist,l) = lisp_lookup ^STATE in
297 let x = exp in
298 let exp = z in
304 let x = exp in
305 let exp = CAR z in
306 let exp = Dot exp x in
313 (reverse_exp (exp,x,y,z:SExp,stack,alist,l) =
314 let z = exp in
315 let exp = Sym "nil" in
316 let (exp,x,y,z,stack,alist,l) = rev_exp ^STATE in
330 let (exp,x,y,z,stack,alist,l) = repeat_cdr ^STATE in
337 if exp = Sym "nil" then (* guard is false *)
338 let exp = x in
340 let exp = Dot exp x in
344 let exp = CAR z in
345 let exp = CDR exp in
346 let exp = CAR exp in
354 let exp = Dot exp x in
355 let x = exp in
356 let exp = CDR y in
357 let exp = Dot exp x in
359 let exp = Dot exp x in
360 let stack = exp in
361 let exp = z in
367 let exp = Dot exp x in
368 let (exp,x,y,z,stack,alist,l) = reverse_exp ^STATE in
373 let exp = CAR exp in
376 if isDot exp then
377 let z = exp in
378 let exp = x in
380 let exp = Dot exp x in
381 let x = exp in
382 let exp = z in
383 let exp = Dot exp x in
384 let stack = exp in
385 let exp = CAR z in
386 let exp = CAR exp in
392 if isDot exp then (* there is at least one arg *)
393 let y = CAR exp in
394 let z = CDR exp in
395 let exp = x in
397 let exp = Dot exp x in
398 let stack = exp in
399 let exp = z in
401 let exp = Dot exp x in
403 let exp = Dot exp x in
404 let stack = exp in
405 let exp = y in
415 if isSym exp then (* exp is Sym *)
416 let (exp,x,y,z,stack,alist,l) = lisp_lookup ^STATE in
418 else if isDot exp then (* exp is Dot *)
419 let x = CAR exp in
420 let exp = CDR exp in
421 let (exp,x,y,z,stack,alist,l) = lisp_app ^STATE in
423 else (* exp is Num *)
425 else if z = TASK_FUNC then (* function=x, args stored as list in exp *)
426 let (exp,x,y,z,stack,alist,l) = lisp_func ^STATE in
430 let (exp,x,y,z,stack,alist,l) = lisp_cont ^STATE in