registerFinalizer(x, f)
If a foreign pointer object corresponds to memory that was not allocated by the GC garbage collector, then a function to properly deallocate this memory when the Pointer object that stores this pointer is garbage collected should be called. The function should take a single argument, a foreign object, typically of type voidstar, which corresponds to the memory to deallocate.
|
|
|
|
|
The source of this document is in ForeignFunctions.m2:1806:0.