14 Feb
2008
14 Feb
'08
5:01 p.m.
Hello everyone,
I'm currently attempting to interact with a C library via the CInterface. So far so good, but there are times when the C functions I invoke do allocation in the C heap.
Is there a finalizer registration mechanism available in Poly/ML that I can use to invoke appropriate tear-down functions in the C library when Poly/ML is done with the wrapped vol? If not, is there a weak pointer mechanism available that would allow me to accomplish the same?
References to some example code that does this would be ideal (and appreciated) in either of the above cases.
Thanks much, Joel Stanley jstanley@galois.com