- var res = new Array[String]
- render_in(res)
- for r in res do
- stream.write(r)
- end
- end
-
- # In order to avoid recursive concatenation,
- # this function collects in `res` all the small fragments of `String`
- private fun render_in(res: Sequence[String])
- do
- res.add "<"
- res.add tag
- render_attrs_in(res)