19 Dec
2007
19 Dec
'07
12:53 p.m.
Hmmm, with 'readString ... "<this> </this>"' everything works fine, but with 'readString ... "<items><this> </this></items>"' it doesn't. Seems to be a bug in HXT.
But if I try the same with my XML file, my empty nodes are "folded". I suppose this comes from the "Ctrl-M" at the end of the lines. See the attached file and you may see that
runX $ readDocument [(a_validate, v_0)] "ftest.5.11e.xdp" >>> writeDocumentToString []
produces « <text> </text> » nodes (OK), but
runX $ readDocument [(a_validate, v_0)] "ftest.5.11e.xdp" >>> writeDocumentToString [(a_indent, v_1)]
produces « <text/> » nodes (bad).