scribble HTML render: avoid intermediate XML structure

As pointed out by Danny Yoo to save time during the rendering phase
This commit is contained in:
Matthew Flatt 2012-06-28 09:15:57 -06:00
parent 130618e946
commit 612c4ff524

View File

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