X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Flib%2Fstd%2FPrelWeak.lhs;h=1a7e643ffb4160353f0dd7f56c2c0ac32c0da2f8;hb=ad75daecbeadf59809c4309d8ee35282513d3e59;hp=97a7bf5f854c9ac74e1fb7a47e61d095459d9040;hpb=6111556816314236f1f7df84b404e6fbc83e739f;p=ghc-hetmet.git diff --git a/ghc/lib/std/PrelWeak.lhs b/ghc/lib/std/PrelWeak.lhs index 97a7bf5..1a7e643 100644 --- a/ghc/lib/std/PrelWeak.lhs +++ b/ghc/lib/std/PrelWeak.lhs @@ -1,5 +1,7 @@ +% ------------------------------------------------------------------------------ +% $Id: PrelWeak.lhs,v 1.16 2001/03/22 03:51:09 hwloidl Exp $ % -% (c) The AQUA Project, Glasgow University, 1998 +% (c) The University of Glasgow, 1998-2000 % \section[PrelWeak]{Module @PrelWeak@} @@ -12,10 +14,7 @@ module PrelWeak where import PrelGHC import PrelBase import PrelMaybe --- NOTE: To break a cycle, ForeignObj is not in PrelForeign, but PrelIOBase! -import PrelIOBase ( IO(..), ForeignObj(..) ) - -#ifndef __PARALLEL_HASKELL__ +import PrelIOBase ( IO(..), unIO ) data Weak v = Weak (Weak# v) @@ -37,14 +36,30 @@ addFinalizer key finalizer = do mkWeakPtr key (Just finalizer) -- throw it away return () -addForeignFinalizer :: ForeignObj -> IO () -> IO () -addForeignFinalizer (ForeignObj fo) finalizer = addFinalizer fo finalizer - {- -instance Eq (Weak v) where +Instance Eq (Weak v) where (Weak w1) == (Weak w2) = w1 `sameWeak#` w2 -} -#endif + +-- run a batch of finalizers from the garbage collector. We're given +-- an array of finalizers and the length of the array, and we just +-- call each one in turn. +-- +-- the IO primitives are inlined by hand here to get the optimal +-- code (sigh) --SDM. + +runFinalizerBatch :: Int -> Array# (IO ()) -> IO () +runFinalizerBatch (I# n) arr = + let go m = IO $ \s -> + case m of + 0# -> (# s, () #) + _ -> let m' = m -# 1# in + case indexArray# arr m' of { (# io #) -> + case unIO io s of { (# s, _ #) -> + unIO (go m') s + }} + in + go n \end{code}