]> matita.cs.unibo.it Git - fireball-separation.git/commitdiff
String ==> Bytes to make recent ocaml compilers happy
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2017 13:26:48 +0000 (15:26 +0200)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Jul 2017 13:26:48 +0000 (15:26 +0200)
ocaml/parser.ml

index 15c72bd7df1fdd139c0e9f6b2826d42257564ffa..ea78009c4f0d04e5d2c552d49af50feee06726a8 100644 (file)
@@ -29,10 +29,10 @@ 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
+    | c :: l -> Bytes.set res i c; aux (i + 1) l in\r
   aux 0 l\r
 ;;\r
 \r