bugfixes in Gen.of_array

This commit is contained in:
Simon Cruanes 2013-09-26 15:29:30 +02:00
parent 939e0b96d0
commit ec066c5386

6
gen.ml
View file

@ -851,12 +851,12 @@ let to_array enum =
let of_array ?(start=0) ?len a = let of_array ?(start=0) ?len a =
let len = match len with let len = match len with
| None -> Array.length a | None -> Array.length a - start
| Some n -> assert (n <= Array.length a); n in | Some n -> assert (n + start < Array.length a); n in
fun () -> fun () ->
let i = ref start in let i = ref start in
fun () -> fun () ->
if !i >= len if !i >= start + len
then raise EOG then raise EOG
else (let x = a.(!i) in incr i; x) else (let x = a.(!i) in incr i; x)