new intermediate language complete_rg,

[helm.git] / helm / software / helena / src / xml / xmlLibrary.ml

diff --git a/helm/software/helena/src/xml/xmlLibrary.ml b/helm/software/helena/src/xml/xmlLibrary.ml
index a7f5ae29a6e15bc94812514c7982e0b53af02ed8..e182ab9a39d20d45fac636194f42267b7eee3c44 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.ml
+++ b/helm/software/helena/src/xml/xmlLibrary.ml
@@ -92,21 +92,9 @@ let void = "Void"
 let position i =
    "position", string_of_int i
 
-let offset j = 
-   let contents = if j > 0 then string_of_int j else "" in
-   "offset", contents
-
 let uri u =
    "uri", U.string_of_uri u
 
-let arity ?n l =
-   let n = match n with 
-      | None   -> List.length l
-      | Some n -> n   
-   in
-   let contents = if n > 1 then string_of_int n else "" in
-   "arity", contents
-
 let name a =
    let map f i n r s =
       let n = if r then n else "-" ^ n in 
@@ -140,6 +128,9 @@ let meta a =
    let f ms = "meta", String.concat " " (List.rev_map map ms) in
    E.meta err f a
 
+let arity l =
+   "arity", string_of_int (List.length l)
+
 (* TODO: the string tx must be quoted *)
 let info a =
    let err () = ["lang", ""; "info", ""] in