> "touch:: ForeignObj -> IO ()" is the primitive needed for that.
> In current ghc NOINLINEd "\_ -> return ()" on ForeignObj# is the best
> implementation known to me, but a primop would be more efficient.

Careful.  Even though the function isn't INLINEd, ghc might figure out that
the argument is absent and optimise it away.  I don't think it does this at
the moment though.

I'll implement touch# just as soon as our file server, which fell over
sometime last night, has finished fsck-ing its RAID array.... sigh.

Cheers,
        Simon

Reply via email to