Fix issues in services for multiple parameters of same type and [] parameter (Epsilon).

types/types.ml

@@ -1851,7 +1851,8 @@ struct
 
   let rec convert (s : Print.nd) name = 
     match s.Print.state with 
-      | `Named n -> assert false
+      | `Named n -> output_string stderr ("debug:convert " ^
+	  (U.to_string n) ^ "\n") ; convert_real name s.Print.def
       | `GlobalName n -> get_gtype n name
       | _ -> convert_real name s.Print.def
   and convert_real name def = 
@@ -1868,7 +1869,7 @@ struct
     | Print.Name n -> assert false
     | Print.Char c -> assert false
     | Print.Regexp r -> convert_regexp name r
-    | Print.Xml (tag,attr,t) -> convert t (convert_tag tag);
+    | Print.Xml (tag,attr,t) -> convert t (convert_tag tag)
     | _ -> assert false
   and convert_regexp name = function
     | Pretty.Seq (r1,r2) -> 
@@ -1880,7 +1881,7 @@ struct
     | Pretty.Star r -> TSet((convert_regexp name r))
     | Pretty.Plus r -> TSet((convert_regexp name r))
     | Pretty.Trans t -> convert t name
-    | _ -> assert false
+    | Pretty.Epsilon | Pretty.Empty -> TUnit
   and convert_tag =
     function 
       | `Tag s -> print_to_string s