From 8148d44ea806fed68969e253b3345d339d2bff13 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 7 Sep 2009 08:53:01 +0000 Subject: mapcar -> dolist --- generic/proof-depends.el | 26 ++++++++++++-------------- 1 file changed, 12 insertions(+), 14 deletions(-) (limited to 'generic/proof-depends.el') diff --git a/generic/proof-depends.el b/generic/proof-depends.el index e148df35..748de7bc 100644 --- a/generic/proof-depends.el +++ b/generic/proof-depends.el @@ -177,20 +177,18 @@ Called from `proof-done-advancing' when a save is processed and ;; NB: could handle deeper nesting here, but just do one level for now. (let (nested toplevel) ;; Add each name into a nested list or toplevel list - (mapcar - (lambda (name) - (let* ((period (string-match "\\." name)) - (ns (and period (substring name 0 period))) - (subitems (and ns (assoc ns nested)))) - (cond - ((and ns subitems) - (setcdr subitems (adjoin name (cdr subitems)))) - (ns - (setq nested - (cons (cons ns (list name)) nested))) - (t - (setq toplevel (adjoin name toplevel)))))) - deps) + (dolist (name deps) + (let* ((period (string-match "\\." name)) + (ns (and period (substring name 0 period))) + (subitems (and ns (assoc ns nested)))) + (cond + ((and ns subitems) + (setcdr subitems (adjoin name (cdr subitems)))) + (ns + (setq nested + (cons (cons ns (list name)) nested))) + (t + (setq toplevel (adjoin name toplevel)))))) (cons nested toplevel))) (defun proof-dep-make-submenu (name namefn appfn list) -- cgit v1.2.3