]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/parser.ml
Make the code OCaml-4.06.1-friendly
[fireball-separation.git] / ocaml / parser.ml
index 1dd4b583c8886216ee6910392103965253b1be05..800322677a102f3aa324df8ddb35ca4daa6afcda 100644 (file)
@@ -30,11 +30,11 @@ let explode s =
 ;;\r
 \r
 let implode l =\r
-  let res = String.create (List.length l) in\r
+  let res = Bytes.create (List.length l) in\r
   let rec aux i = function\r
     | [] -> res\r
-    | c :: l -> res.[i] <- c; aux (i + 1) l in\r
-  aux 0 l\r
+    | c :: l -> Bytes.set res i c; aux (i + 1) l in\r
+  Bytes.to_string (aux 0 l)\r
 ;;\r
 \r
 let rec strip_spaces = function\r