scribble HTML render: avoid intermediate XML structure

As pointed out by Danny Yoo to save time during the rendering phase

original commit: 612c4ff5240594b8d884ce2d68701cd40ba50fc1
This commit is contained in:
Matthew Flatt 2012-06-28 09:15:57 -06:00
parent 2c7e58dd70
commit 607f02a331

View File

@ -663,8 +663,7 @@
(lambda (in) (lambda (in)
(copy-port in (current-output-port))))) (copy-port in (current-output-port)))))
(parameterize ([xml:empty-tag-shorthand xml:html-empty-tags]) (parameterize ([xml:empty-tag-shorthand xml:html-empty-tags])
(xml:write-xml/content (xml:write-xexpr
(xml:xexpr->xml
`(html () `(html ()
(head () (head ()
(meta ([http-equiv "content-type"] (meta ([http-equiv "content-type"]
@ -698,7 +697,7 @@
,@(navigation d ri #t) ,@(navigation d ri #t)
,@(render-part d ri) ,@(render-part d ri)
,@(navigation d ri #f))) ,@(navigation d ri #f)))
(div ([id "contextindicator"]) nbsp))))))))) (div ([id "contextindicator"]) nbsp))))))))
(define/private (part-parent d ri) (define/private (part-parent d ri)
(collected-info-parent (part-collected-info d ri))) (collected-info-parent (part-collected-info d ri)))