- * finalizeWeakPointersNow() is called just before the system is shut
- * down. It runs the finalizer for each weak pointer still in the
- * system.
- *
- * Careful here - rts_evalIO might cause a garbage collection, which
- * might change weak_ptr_list. Must re-load weak_ptr_list each time
- * around the loop.
- */
-
-void
-finalizeWeakPointersNow(void)
-{
- StgWeak *w;
-
- while ((w = weak_ptr_list)) {
- weak_ptr_list = w->link;
- if (w->header.info != &stg_DEAD_WEAK_info) {
- w->header.info = &stg_DEAD_WEAK_info;
- IF_DEBUG(weak,fprintf(stderr,"Finalising weak pointer at %p -> %p\n", w, w->key));
- if (w->finalizer != &stg_NO_FINALIZER_closure) {
- rts_evalIO(w->finalizer,NULL);
- }
- }
- }
-}
-
-/*