From 4dacb9f7a8cc9ab42ce3733b39bdb9e656ef00db Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 9 Dec 2011 20:43:44 -0700 Subject: [PATCH] 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 --- collects/scribble/private/manual-bind.rkt | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-) diff --git a/collects/scribble/private/manual-bind.rkt b/collects/scribble/private/manual-bind.rkt index fa94fc33..3cf3556f 100644 --- a/collects/scribble/private/manual-bind.rkt +++ b/collects/scribble/private/manual-bind.rkt @@ -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))))