On Wednesday 30 January 2008 03:26:00 Jim Miller wrote:
> type xmlNode =
>
>  | XmlElement of (namespace: string * tagName: string * attributes:
>
> (string * string) list * (children:xmlNode list) )
>
>  | XmlPCData of (text:string)

Just a minor quibble but might I suggest removing the redundant Xml/xml from 
all of the identifiers:

type element =
  { namespace: string;
    tagName: string;
    attributes: (string * string) list;
    children: node list }

and node =
 | Element of element
 | Text of string;;

-- 
Dr Jon D Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/products/?e