X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fparser.ml;fp=ocaml%2Fparser.ml;h=800322677a102f3aa324df8ddb35ca4daa6afcda;hb=5664c5924f59c805c6e658698cc2fa535cab27f6;hp=1dd4b583c8886216ee6910392103965253b1be05;hpb=f1873841a3271d332cb8429b46e7bc7e0bca2402;p=fireball-separation.git diff --git a/ocaml/parser.ml b/ocaml/parser.ml index 1dd4b58..8003226 100644 --- a/ocaml/parser.ml +++ b/ocaml/parser.ml @@ -30,11 +30,11 @@ let explode s = ;; let implode l = - let res = String.create (List.length l) in + let res = Bytes.create (List.length l) in let rec aux i = function | [] -> res - | c :: l -> res.[i] <- c; aux (i + 1) l in - aux 0 l + | c :: l -> Bytes.set res i c; aux (i + 1) l in + Bytes.to_string (aux 0 l) ;; let rec strip_spaces = function