Searched refs:trunclist (Results 1 – 4 of 4) sorted by relevance
35 (prog (varlist flag v* genvar *a a trunclist)36 (declare (special v* *a flag trunclist))37 (and (member 'trunc (car e) :test #'eq) (setq trunclist (cadddr (cdar e))))67 (and trunclist68 (return (cons (list 'mrat 'simp varlist genvar trunclist 'trunc)
158 trunclist ;3174 (*bind* ((trunclist (cadr (cdddar r)))3181 (do ((tl (cdr trunclist) (cddr tl)))3184 (cond ((null (member (car tl) (cdr trunclist) :test #'eq)))3199 (tay-order (zl-get trunclist (car p))) a))))))
226 let rec trunclist l n = 230 (h::t) -> (h::(trunclist t (n-1)))232 "Parse.trunclist: invalid arguments."248 (trunclist tyenv (Absyn.getConstantTypeEnvSize false c)),
1507 let rec trunclist l n = 1511 (h::t) -> (h::(trunclist t (n-1)))1513 Parse.trunclist: invalid arguments."1558 trunclist tenv (Absyn.getConstantTypeEnvSize false c) in