diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2019-11-17 16:07:58 (GMT) |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2019-11-28 01:01:50 (GMT) |
| commit | 9e5477c46bbcd3beadd1a67a294056628e394945 (patch) | |
| tree | a1c44bef63ef73f8ff0ae481f43a34c7afbad23b | |
| parent | 8168b42a95ddf37c56958955eef065eb8747470f (diff) | |
| download | ghc-9e5477c46bbcd3beadd1a67a294056628e394945.zip ghc-9e5477c46bbcd3beadd1a67a294056628e394945.tar.gz ghc-9e5477c46bbcd3beadd1a67a294056628e394945.tar.bz2 | |
Fix @since annotations for isResourceVanishedError and friends (#17488)
| -rw-r--r-- | libraries/base/System/IO/Error.hs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/libraries/base/System/IO/Error.hs b/libraries/base/System/IO/Error.hs index 2585181..3417b91 100644 --- a/libraries/base/System/IO/Error.hs +++ b/libraries/base/System/IO/Error.hs @@ -176,7 +176,7 @@ isUserError = isUserErrorType . ioeGetErrorType -- | An error indicating that the operation failed because the -- resource vanished. See 'resourceVanishedErrorType'. -- --- @since 0.4.14.0 +-- @since 4.14.0.0 isResourceVanishedError :: IOError -> Bool isResourceVanishedError = isResourceVanishedErrorType . ioeGetErrorType @@ -224,7 +224,7 @@ userErrorType = UserError -- This happens when, for example, attempting to write to a closed -- socket or attempting to write to a named pipe that was deleted. -- --- @since 0.4.14.0 +-- @since 4.14.0.0 resourceVanishedErrorType :: IOErrorType resourceVanishedErrorType = ResourceVanished @@ -279,7 +279,7 @@ isUserErrorType _ = False -- | I\/O error where the operation failed because the resource vanished. -- See 'resourceVanishedErrorType'. -- --- @since 0.4.14.0 +-- @since 4.14.0.0 isResourceVanishedErrorType :: IOErrorType -> Bool isResourceVanishedErrorType ResourceVanished = True isResourceVanishedErrorType _ = False |