[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