Hello,
Iterate silently ignores "for ... previous" clauses that reference undefined variables, e.g, (iter (repeat 2) (for x previous y initially 0) (collect x)) returns (0 0). A patch to fix the bug is attached. Can someone apply it please. Thanks, Ilya
diff -rN -u old-iterate/iterate.lisp new-iterate/iterate.lisp --- old-iterate/iterate.lisp 2018-01-15 16:49:24.171636397 -0800 +++ new-iterate/iterate.lisp 2018-01-15 16:49:24.171636397 -0800 @@ -3374,7 +3374,7 @@ (if (not (and (integerp n) (> n 0))) (clause-error "~a should be a positive integer" n-expr) ;; Here, n is a positive integer. - (let* ((p-i (intern-previous-info var)) + (let* ((p-i (intern-previous-info var :next)) (init-val (make-initial-value default default? (var-type var))) (temp (if (not (duplicable? init-val)) (make-var-and-default-binding @@ -3398,14 +3398,14 @@ (setf (previous-info-class p-i) class) (push (cons code (last code)) (previous-info-code p-i))))) -(defun intern-previous-info (var) +(defun intern-previous-info (var &optional (default-class :step)) ;; If VAR already has a previous-info structure, return it; else ;; create a new one, put it where it belongs, and return it. ;; Make sure that if VAR is itself a save-var, the new record goes after ;; the one for VAR's var, so that the previous code is generated before it ;; is itself considered update code for another previous splicing. (or (cdr (assoc var *previous-vars-alist*)) - (let* ((p-i (make-previous-info :var var)) + (let* ((p-i (make-previous-info :var var :class default-class)) (place (member var *previous-vars-alist* :test #'is-save-var))) (if (null place)