get rid of compare_val in String.concat

master
ygrek 2017-07-06 19:37:14 -07:00 committed by David Allsopp
parent 5825ef8b07
commit afaa291c25
2 changed files with 2 additions and 2 deletions

View File

@ -113,7 +113,7 @@ let iter f a =
let iteri f a =
for i = 0 to length a - 1 do f i (unsafe_get a i) done
let ensure_ge x y = if x >= y then x else invalid_arg "Bytes.concat"
let ensure_ge (x:int) y = if x >= y then x else invalid_arg "Bytes.concat"
let rec sum_lengths acc seplen = function
| [] -> acc

View File

@ -50,7 +50,7 @@ let fill =
let blit =
B.blit_string
let ensure_ge x y = if x >= y then x else invalid_arg "String.concat"
let ensure_ge (x:int) y = if x >= y then x else invalid_arg "String.concat"
let rec sum_lengths acc seplen = function
| [] -> acc