equal
deleted
inserted
replaced
25 data Tree = Elem Markup.T Body | Text String |
25 data Tree = Elem Markup.T Body | Text String |
26 |
26 |
27 |
27 |
28 {- wrapped elements -} |
28 {- wrapped elements -} |
29 |
29 |
30 xml_elemN = "xml_elem"; |
30 xml_elemN = "xml_elem" |
31 xml_nameN = "xml_name"; |
31 xml_nameN = "xml_name" |
32 xml_bodyN = "xml_body"; |
32 xml_bodyN = "xml_body" |
33 |
33 |
34 wrap_elem (((a, atts), body1), body2) = |
34 wrap_elem (((a, atts), body1), body2) = |
35 Elem (xml_elemN, (xml_nameN, a) : atts) (Elem (xml_bodyN, []) body1 : body2) |
35 Elem (xml_elemN, (xml_nameN, a) : atts) (Elem (xml_bodyN, []) body1 : body2) |
36 |
36 |
37 unwrap_elem (Elem (name, (n, a) : atts) (Elem (name', atts') body1 : body2)) = |
37 unwrap_elem (Elem (name, (n, a) : atts) (Elem (name', atts') body1 : body2)) = |