From 8d0276eda8defa57f77b337a734240a077332f2d Mon Sep 17 00:00:00 2001 From: Nick Roberts Date: Tue, 9 Jan 2024 14:33:57 -0500 Subject: [PATCH] Arity 2 for fat pointer writes --- src/ctypes/ctypes_memory.ml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/src/ctypes/ctypes_memory.ml b/src/ctypes/ctypes_memory.ml index 5fbd299d..c41b822c 100644 --- a/src/ctypes/ctypes_memory.ml +++ b/src/ctypes/ctypes_memory.ml @@ -120,8 +120,7 @@ let (+@) : type a b. (a, b) pointer -> int -> (a, b) pointer let (-@) p x = p +@ (-x) let (<-@) : type a. a ptr -> a -> unit - = fun (CPointer p) -> - fun v -> write (Fat.reftype p) v p + = fun (CPointer p) v -> write (Fat.reftype p) v p let from_voidp = castp let to_voidp p = castp Void p