
19 May
2006
19 May
'06
5:16 a.m.
On Fri, 19 May 2006, Shin-Cheng Mu wrote:
idX :: [XMLEvent] -> ([XMLEvent], [XMLEvent]) idX [] = ([], []) idX (StartEvent a : strm) = let (ts, strm') = idX strm (us, strm'') = idX strm' in (StartEvent a [] : ts ++ EndEvent a : us, strm'') idX (EndEvent _: strm) = ([], strm) idX (TextEvent s : strm) = let (ts, strm') = idX strm in (TextEvent s : ts, strm')
let ~(ts, strm') = idX strm ~(us, strm'') = idX strm' ?