[Ur] debugging xml data
Adam Chlipala
adamc at impredicative.com
Thu Jan 5 18:41:47 EST 2012
Gergely Buday wrote:
> I do not know whether there is already written routines for this task,
> but I have written some util functions to help debugging xml values.
> It strips html tags and newlines from already constructed xml data.
>
> Adam, what do you think of this? Is it valuable to include in the distribution?
>
Thanks for sharing the code! I had never thought of this functionality
before; it's still not clear to me that it will be widely desired.
(I've never wanted it.)
Has anyone else on the list wished for such a function?
More information about the Ur
mailing list