From a68ce061bbef206265f420f5e95df41153bdefd7 Mon Sep 17 00:00:00 2001 From: Anders Fugmann Date: Thu, 28 Jan 2021 22:45:22 +0100 Subject: [PATCH] Add imgcodecs.hpp to list of headers --- generator.py | 1 + incl/vector.ml.incl | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/generator.py b/generator.py index 73a09d2..aa9864e 100755 --- a/generator.py +++ b/generator.py @@ -14,6 +14,7 @@ 'opencv4/opencv2/core/types.hpp', 'opencv4/opencv2/core/mat.hpp', 'opencv4/opencv2/core.hpp', + 'opencv4/opencv2/imgcodecs.hpp', 'opencv4/opencv2/imgproc.hpp', 'opencv4/opencv2/videoio.hpp', 'opencv4/opencv2/highgui.hpp', diff --git a/incl/vector.ml.incl b/incl/vector.ml.incl index 55617b2..75f176b 100644 --- a/incl/vector.ml.incl +++ b/incl/vector.ml.incl @@ -4,7 +4,8 @@ let __vector_length = foreign "vector_length" (ptr void @-> returning int) let __create_vector = foreign "create_vector" (ptr void @-> int @-> int @-> returning (ptr void)) -let list_of_vector (t : 'a typ) (p : unit ptr) = +let list_of_vector (t : 'a typ) (p : 'b ptr) = + let p = to_voidp p in let len = __vector_length p in let start = __vector_data p in CArray.from_ptr (from_voidp t start) (len / (sizeof t)) |> CArray.to_list