[Ur] debugging xml data

[Gergely Buday]

Hi,

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?

- Gergely

$ cat debugUtil.ur
fun deleteHtml s =
    let
        val chars = String.length s - 1

        fun delete i acc =
            if (i > chars)
               then acc
               else
                    let
                        val nextChar = String.sub s i
                     in
                        if nextChar = #"<"
                           then inTag (i+1) acc
                           else delete (i+1) (acc ^ String.str nextChar)
                    end

        and inTag i acc =
            if (i > chars)
               then acc
               else
                    let
                        val nextChar = String.sub s i
                     in
                        if nextChar = #">"
                           then delete (i+1) acc
                           else inTag (i+1) acc
                    end
     in
        delete 0 ""
    end

fun deleteChar ch s =
    let
        val chars = String.length s - 1

        fun delete i acc =
            if (i > chars)
               then acc
               else
                    let
                        val nextChar = String.sub s i
                     in
                        if nextChar = ch
                           then delete (i+1) acc
                           else delete (i+1) (acc ^ String.str nextChar)
                    end

     in
        delete 0 ""
    end

fun xmlToString [ ctx ::: {Unit} ] [ use ::: {Type} ] [ bnd ::: {Type}
] ( arg : xml ctx use bnd ) : string =
    deleteChar #"\n" (deleteHtml (show arg))