add finalizeForeignPtr
authorSimon Marlow <marlowsd@gmail.com>
Wed, 14 Jul 2010 08:58:14 +0000 (08:58 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Wed, 14 Jul 2010 08:58:14 +0000 (08:58 +0000)
report/Makefile
report/libs/Foreign-ForeignPtr.tex

index bae5530..9d47e9f 100644 (file)
@@ -314,7 +314,6 @@ haddock :
           sed 's/instance\(\\ [^\]*\)*\\ P\($$\|\\\\\)//g' | \
           sed 's/instance\\ Typeable\(1\|\)\(\\ [^\]*\)*\($$\|\\\\\)//g' | \
           sed 's/instance\\ Exception\(\\ [^\]*\)*\($$\|\\\\\)//g' |  \
-          sed 's/instance\(\\ [^\]*\)*\\ \(WordPtr\|IntPtr\)\($$\|\\\\\)//g' |  \
           sed 's/instance\\ (Data\(\\ [^\]*\)*\($$\|\\\\\)//g' >$$i.tmp \
           && mv $$i.tmp $$i; done
 
index 7303d2f..bc45eb5 100644 (file)
@@ -5,9 +5,10 @@
 module Foreign.ForeignPtr (
     ForeignPtr,  FinalizerPtr,  FinalizerEnvPtr,  newForeignPtr, 
     newForeignPtr_,  addForeignPtrFinalizer,  newForeignPtrEnv, 
-    addForeignPtrFinalizerEnv,  withForeignPtr,  unsafeForeignPtrToPtr, 
-    touchForeignPtr,  castForeignPtr,  mallocForeignPtr, 
-    mallocForeignPtrBytes,  mallocForeignPtrArray,  mallocForeignPtrArray0
+    addForeignPtrFinalizerEnv,  withForeignPtr,  finalizeForeignPtr, 
+    unsafeForeignPtrToPtr,  touchForeignPtr,  castForeignPtr, 
+    mallocForeignPtr,  mallocForeignPtrBytes,  mallocForeignPtrArray, 
+    mallocForeignPtrArray0
   ) where\end{verbatim}}
 \haddockendheader
 
@@ -136,6 +137,15 @@ This function is normally used for marshalling data to
 \par
 
 \end{haddockdesc}
+\begin{haddockdesc}
+\item[\begin{tabular}{@{}l}
+finalizeForeignPtr\ ::\ ForeignPtr\ a\ ->\ IO\ ()
+\end{tabular}]\haddockbegindoc
+Causes the finalizers associated with a foreign pointer to be run
+ immediately.
+\par
+
+\end{haddockdesc}
 \subsection{Low-level operations
 }
 \begin{haddockdesc}