Annotate ignore

Co-authored-by: Simon Cruanes <simon.cruanes.2007@m4x.org>
This commit is contained in:
Shon Feder 2021-12-11 21:27:23 -05:00 committed by GitHub
parent f081a04892
commit db3a70f942
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -406,7 +406,7 @@ let to_array l =
let a = Array.make len init in
(* Subtract 1 for len->index conversion and 1 for the removed [init] *)
let idx = len - 2 in
ignore (List.fold_left (fun i x -> a.(i) <- x; i - 1) idx rest);
ignore (List.fold_left (fun i x -> a.(i) <- x; i - 1) idx rest : int);
a
(*$Q