diff options
| author |  Herbert Valerio Riedel <hvr@gnu.org> | 2013-11-08 12:54:22 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2013-11-08 12:54:22 +0100 |
| commit | a6bc389df2b25cbf9340f54b123a08831350d3f0 (patch) | |
| tree | d0acfbf877f1346d17d5c251585d2e0b7c736581 /System | |
| parent | 17192d89e642c463a1987fa3cc5cca2eb546bec7 (diff) | |
Fix markup for function names in DEPRECATION messages
This helps Haddock make tose hyperlinked functions.
Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
Diffstat (limited to 'System')
| -rw-r--r-- | System/Posix/Process/Common.hsc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/System/Posix/Process/Common.hsc b/System/Posix/Process/Common.hsc index b760caa..e8fd415 100644 --- a/System/Posix/Process/Common.hsc +++ b/System/Posix/Process/Common.hsc @@ -407,7 +407,7 @@ foreign import ccall unsafe "exit" -- ----------------------------------------------------------------------------- -- Deprecated or subject to change -{-# DEPRECATED createProcessGroup "This function is scheduled to be replaced by something different in the future, we therefore recommend that you do not use this version and use createProcessGroupFor instead." #-} -- deprecated in 7.2 +{-# DEPRECATED createProcessGroup "This function is scheduled to be replaced by something different in the future, we therefore recommend that you do not use this version and use 'createProcessGroupFor' instead." #-} -- deprecated in 7.2 -- | @'createProcessGroup' pid@ calls @setpgid@ to make -- process @pid@ a new process group leader. -- This function is currently deprecated, @@ -418,7 +418,7 @@ createProcessGroup pid = do throwErrnoIfMinus1_ "createProcessGroup" (c_setpgid pid 0) return pid -{-# DEPRECATED setProcessGroupID "This function is scheduled to be replaced by something different in the future, we therefore recommend that you do not use this version and use setProcessGroupIdOf instead." #-} -- deprecated in 7.2 +{-# DEPRECATED setProcessGroupID "This function is scheduled to be replaced by something different in the future, we therefore recommend that you do not use this version and use 'setProcessGroupIDOf' instead." #-} -- deprecated in 7.2 -- | @'setProcessGroupID' pid pgid@ calls @setpgid@ to set the -- 'ProcessGroupID' for process @pid@ to @pgid@. -- This function is currently deprecated, |