Fixed string_trim, updated xmlm.ml

This commit is contained in:
John Whitington 2017-06-19 18:00:41 +01:00
parent 26647cdbd3
commit a69d4ee835
2 changed files with 390 additions and 382 deletions

View File

@ -3227,8 +3227,8 @@ let rdf = "http://www.w3.org/1999/02/22-rdf-syntax-ns#"
(* For OCaml < 4.00 *) (* For OCaml < 4.00 *)
let string_trim s = let string_trim s =
implode implode
(dropwhile (rev (dropwhile
Pdf.is_whitespace (rev (dropwhile Pdf.is_whitespace (explode s)))) Pdf.is_whitespace (rev (dropwhile Pdf.is_whitespace (explode s)))))
let combine_with_spaces strs = let combine_with_spaces strs =
string_trim string_trim

768
xmlm.ml

File diff suppressed because it is too large Load Diff