strip value from 'dep tag

The value isn't used; a 'dep tag is ony to establish
dependencies, and the relevant value is with a 'form or
'def tag. Avoiding the extra value saves another 5% in
cross-reference files.

original commit: 28ee1570ae2ac68007af5798b5964a859ffcb49b
This commit is contained in:
Matthew Flatt 2011-12-09 20:43:44 -07:00
parent f1a593d3a3
commit 4dacb9f7a8

View File

@ -164,11 +164,8 @@
,(syntax-e id))))])
(if (or sig (not dep?))
(list (mk tag))
(list (make-target-element
#f
(list (mk tag))
(intern-taglet
`(dep ,(list lib-taglet (syntax-e id))))))))
(list (make-dep (list lib-taglet (syntax-e id))
(mk tag)))))
content)))
(lambda () (car content))
(lambda () (car content))))))
@ -226,7 +223,7 @@
(make-element
#f
(list (make-one (if form? 'form 'def))
(make-one 'dep)
(make-dep (list taglet id) null)
(let ([str (read-intern-literal (symbol->string id))])
(make-index-element #f
null
@ -249,3 +246,13 @@
id
(list mod-path)))))))))
redirects))))
(define (make-dep t content)
(make-collect-element
#f
content
(lambda (ci)
(collect-put! ci
(intern-taglet (list 'dep t))
#t))))