Add function for converting HTML4.html to string

[JohnReppy]

Description of the problem

It seems that there is no function in the HTML4 library that has the signature
HTML4.html -> string. Could such a function be added to the HTML4 library?
If not, is there any way to convert a HTML4.html value into a string?

Comments from smlnj-gforge

Original smlnj-gforge bug number 308

Submitted on 2022-38-14 at 00:3800

comment by @JohnReppy on 2022-36-30 13:3600 +000 UTC

It is straightforward to generate a string from the existing API. Using a CharBuffer, the following code does so: ~ ~ fun toString html = let ~ val buf = CharBuffer.new 1024 ~ in ~ HTML4Print.prHTML { ~ putc = fn c => CharBuffer.add1 (buf, c), ~ puts = fn s => CharBuffer.addVec (buf, s) ~ } html; ~ CharBuffer.contents buf ~ end; ~ ~ I've added this code to the header comment for the HTML4Print module and will include it in the documentation (when we get to it).

comment by @JohnReppy on 2022-50-11 18:5000 +000 UTC

Moved to feature requests

comment by @JohnReppy on 2022-50-11 18:5000 +000 UTC

Moved from Bugs to Feature Requests