@@ -170,10 +170,10 @@ Usage from C code
170 about its particular value. However, keep in mind
170 about its particular value. However, keep in mind
171 that it must not break Idris's referential transparency.
171 that it must not break Idris's referential transparency.
173−* If you call cdata_allocate or cdata_manage, the resulting
173+* **WARNING!** If you call cdata_allocate or cdata_manage,
174− ``CData`` object *must* be returned from your FFI function so
174+ the resulting ``CData`` object *must* be returned from your
175− that it is inserted in the C heap. Otherwise the memory
175+ FFI function so that it is inserted in the C heap by the RTS.
176− will be leaked.
176+ Otherwise the memory will be leaked.
178.. code:: idris
178.. code:: idris