DEPRECATED not re-exported

There seems to be a small problem with the DEPRECATED pragma (both on
the HEAD and the 6.2 release branch), see e.g. the deprecated function
withObject:

-- Main1.hs --------------------------------------------------
import Foreign.Marshal
main = withObject 'a' print
-- Main2.hs --------------------------------------------------
import Foreign.Marshal.Utils
main = withObject 'a' print
--------------------------------------------------------------
panne@jeanluc:~> ghc Main1.hs
panne@jeanluc:~> ghc Main2.hs

Main2.hs:2:7: Warning: Variable `withObject' is deprecated: use `with' instead
--------------------------------------------------------------

It looks like deprecations are not re-exported, but I can't remember
if this was a conscious design decision or simply happens by accident.
Nevertheless, with the arrival of hierarchical modules, the current
behaviour makes this pragma almost useless IMHO. Other opinions?

Cheers,
   S.