diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:53:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-07 08:53:01 +0000 |
| commit | 8148d44ea806fed68969e253b3345d339d2bff13 (patch) | |
| tree | eec9708549daaf25be7212c696cd4da86ce44b6e /generic/proof-depends.el | |
| parent | ed9c8a8b9b74eadbceb070ecbf1846b47772cff2 (diff) | |
mapcar -> dolist
Diffstat (limited to 'generic/proof-depends.el')
| -rw-r--r-- | generic/proof-depends.el | 26 |
1 files changed, 12 insertions, 14 deletions
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) |