Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Haskell/XML/Encode.hs
changeset 69290 fb77612d11eb
parent 69287 0fde0dca6744 
--- a/src/Tools/Haskell/XML/Encode.hs	Mon Nov 12 15:14:12 2018 +0100
+++ b/src/Tools/Haskell/XML/Encode.hs	Mon Nov 12 15:36:55 2018 +0100
@@ -44,11 +44,11 @@
 
 -- structural nodes
 
-node = XML.Elem (":", [])
+node ts = XML.Elem ((":", []), ts)
 
 vector = map_index (\(i, x) -> (int_atom i, x))
 
-tagged (tag, (xs, ts)) = XML.Elem (int_atom tag, vector xs) ts
+tagged (tag, (xs, ts)) = XML.Elem ((int_atom tag, vector xs), ts)
 
 
 -- representation of standard types
@@ -57,7 +57,7 @@
 tree t = [t]
 
 properties :: T Properties.T
-properties props = [XML.Elem (":", props) []]
+properties props = [XML.Elem ((":", props), [])]
 
 string :: T String
 string "" = []
isabelle