Merge pull request #4628 from unalos/4627

Fixing arity of cdata_manage in documentation.
idris-lang · Dec 26, 2018 · 33d8d91 · 33d8d91
2 parents 4594f92 + 46f3ebb
commit 33d8d91
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/docs/reference/ffi.rst b/docs/reference/ffi.rst
@@ -336,9 +336,10 @@ Usage from C code
 
     CData some_allocating_fun(int arg)
     {
-        void * data = (void *) malloc(...);
+        size_t size = sizeof(...);
+        void * data = (void *) malloc(size);
         // ...
-        return cdata_manage(data, finalizer);
+        return cdata_manage(data, size, finalizer);
     }
 
     int other_fun(CData cd, int arg)