mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-22 20:40:29 +02:00
Code Activity

Use vhashes in `unbound-variable-analysis'.

Browse source 
* module/language/tree-il/analyze.scm (unbound-variable-analysis): Use
  vhashes instead of alists/lists.
This commit is contained in:
Ludovic Courtès 2010-02-02 23:59:34 +01:00
parent 5cbf2e1d7b
commit 04ea6fb504
1 changed files with 14 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

28
module/language/tree-il/analyze.scm
View file

@ -876,14 +876,14 @@ accurate information is missing from a given `tree-il' element."
(define (bound? name)
(or (and (module? env)
(module-variable env name))
(memq name defs)))
(vhash-assq name defs)))
(record-case x
((<toplevel-ref> name src)
(if (bound? name)
info
(let ((src (or src (find pair? locs))))
(make-toplevel-info (alist-cons name src refs)
(make-toplevel-info (vhash-consq name src refs)
defs))))
(else info))))
@ -895,18 +895,18 @@ accurate information is missing from a given `tree-il' element."
(define (bound? name)
(or (and (module? env)
(module-variable env name))
(memq name defs)))
(vhash-assq name defs)))
(record-case x
((<toplevel-set> name src)
(if (bound? name)
(make-toplevel-info refs defs)
(let ((src (find pair? locs)))
(make-toplevel-info (alist-cons name src refs)
(make-toplevel-info (vhash-consq name src refs)
defs))))
((<toplevel-define> name)
(make-toplevel-info (alist-delete name refs eq?)
(cons name defs)))
(make-toplevel-info (vhash-delete name refs eq?)
(vhash-consq name #t defs)))
((<application> proc args)
;; Check for a dynamic top-level definition, as is
@ -914,9 +914,9 @@ accurate information is missing from a given `tree-il' element."
(let ((name (goops-toplevel-definition proc args
env)))
(if (symbol? name)
(make-toplevel-info (alist-delete name refs
(make-toplevel-info (vhash-delete name refs
eq?)
(cons name defs))
(vhash-consq name #t defs))
(make-toplevel-info refs defs))))
(else
(make-toplevel-info refs defs)))))
@ -927,13 +927,13 @@ accurate information is missing from a given `tree-il' element."
(lambda (toplevel env)
;; Post-process the result.
(for-each (lambda (name+loc)
(let ((name (car name+loc))
(loc (cdr name+loc)))
(warning 'unbound-variable loc name)))
(reverse (toplevel-info-refs toplevel))))
(vlist-for-each (lambda (name+loc)
(let ((name (car name+loc))
(loc (cdr name+loc)))
(warning 'unbound-variable loc name)))
(vlist-reverse (toplevel-info-refs toplevel))))
(make-toplevel-info '() '())))
(make-toplevel-info vlist-null vlist-null)))
;;;