New asynchronous exception control API (base parts)

As discussed on the libraries/haskell-cafe mailing lists
  http://www.haskell.org/pipermail/libraries/2010-April/013420.html

This is a replacement for block/unblock in the asychronous exceptions
API to fix a problem whereby a function could unblock asynchronous
exceptions even if called within a blocked context.

The new terminology is "mask" rather than "block" (to avoid confusion
due to overloaded meanings of the latter).

The following is the new API; the old API is deprecated but still
available for the time being.

Control.Exception
-----------------

mask  :: ((forall a. IO a -> IO a) -> IO b) -> IO b
mask_ :: IO a -> IO a

uninterruptibleMask :: ((forall a. IO a -> IO a) -> IO b) -> IO b
uninterruptibleMask_ :: IO a -> IO

getMaskingState :: IO MaskingState

data MaskingState
  = Unmasked
  | MaskedInterruptible
  | MaskedUninterruptible

Control.Concurrent
------------------

forkIOUnmasked :: IO () -> IO ThreadId

Async-exception safety, and avoid space leaks
Patch submitted by: Bas van Dijk <v.dijk.bas@gmail.com>
Modified slightly by me to remove non-functional changes.

Async-exception safety, and avoid space leaks
Patch submitted by: Bas van Dijk <v.dijk.bas@gmail.com>
Modified slightly by me to remove non-functional changes.

Fix a few places where we forgot to close the text codecs (#4029)
Each time you invoke :load in GHCi it resets the CAFs, including
stdin/stdout/stderr, and each of these was allocating a new iconv_t.

remove docs from Monad that belonged on the instance for MonadPlus IO

docs: unqualify Prelude.IO

unqualify Float and Double

extract information about Data.Time from docs for CTime

doc typo

peekArray docs: remove mentions of "this version" and "previous version"

doc typo

doc typo

doc typo

doc wibble: Haskell 98 I/O Error -> 'IOError'

doc typo

Haddock hacks to fix whitespace consistency

use '==' consistently rather than '->' in examples

doc wibble: remove confusing mention of "Prelude"

doc wibble: nonstrict -> non-strict

doc whitespace

move the doc for 'Char' to its new home in ghc-prim:GHC.Types

doc wibble

doc updates in System.IO

doc wibble

doc wibbles

Fix haddock formatting

Give nub's complexity in the haddock docs; fixes #4086

correct docs for exitWith: only stdout/stderr are flushed, not all Handles

fix docs for isSpace

make the hGetBuf/hPutBuf family work with non-FD Handles (#4144)

nit in docs for accumArray

add doc for the ExitCode type

remove extraneous info from docs for Array

add an INLINE to the list version of traverse, to enable fusion

Don't define the C localeEncoding on Windows
(it causes warnings, and isn't used)

add Applicative instance for Either (proposal #4095)

This is not the only possible instance for Either, but this one is
compatible with the usual Monad instance.

Use libcharset instead of nl_langinfo(CODESET) if possible.

nl_langinfo(CODESET) doesn't always return standardized variations of the encoding names. Use libcharset if possible, which is shipped together with GNU libiconv.

Add a note about the interruptibility of throwTo.

docs: note that hGetBufNonBlocking isn't non-blocking on Windows

don't depend on Prelude (#4122)

Don't depend on Prelude (#4123)

bump version to 4.3.0.0, added instance MonadPlus STM

Moved MonadPlus instance for STM from Control.Monad.STM to GHC.Conc to avoid an orphaned instance

Added Applicative and Alternative instances for STM

expand Foldable instance for Array

doc comment illustrating Foldable(foldr)

fix syntax in doc comments

export hGetBufSome (#4046)

hWaitForInput: don't try to read from the device (#4078)
readTextDeviceNonBlocking is not non-blocking on Windows

hSetEncoding: change the encoding on both read and write sides (#4066)

Correct haddock formatting.

Fix for hGetBufSome

improve the documentation for throwTo and killThread (#3884)

elaborate the docs for unsafePerformIO a bit

add Typeable instance

Add hGetBufSome, like hGetBuf but can return short reads

Add swap (#3298)

inline allocaArray0, to fix withCString benchmark

raise asynchronous exceptions asynchronously (#3997)

add NOINLINE pragmas for stdin/stdout/stderr

INLINE alloca and malloc
See discussion on glasgow-haskell-users:
  http://www.haskell.org/pipermail/glasgow-haskell-users/2010-April/018740.html

Move comment closer to the offending line

Ignore the return code of c_fcntl_write again

The return code has been ignored in the past on purpose, because
O_NONBLOCK will fail on BSDs for some special files. This fixes the
problem mentioned in
http://www.haskell.org/pipermail/glasgow-haskell-users/2010-April/018698.html

Fix bitrot in IO debugging code
Also switched to using Haskell Bools (rather than CPP) to en/disable it,
so it shouldn't break again in the future.

Tiny code tidy-up

remove old/wrong comment

withThread: block asynchronous exceptions before installing exception handler.
Note that I don't unblock the given io computation. Because AFAICS
withThread is only called with 'waitFd' which only performs an FFI
call which can't receive asynchronous exceptions anyway.

runInUnboundThread: block asynchronous exceptions before installing exception handler

fix the deprecation message (GHC.IO.Handle.Base -> GHC.IO.Handle)

Make SampleVar an abstract newtype

Fix bugs regarding asynchronous exceptions and laziness in Control.Concurrent.SampleVar
 - Block asynchronous exceptions at the right places
 - Force thunks before putting them in a MVar

Write the thunk 'next' to the MVar

change to use STM, fixing 4 things
  1. there was no async exception protection
  2. there was a space leak (now new value is strict)
  3. using atomicModifyIORef would be slightly quicker, but can
     suffer from adverse scheduling issues (see #3838)
  4. also, the STM version is faster.

Tweak docs

Fixed dead links in documentation of forkIO

Documentation fixes in Control.Exception

Plug two race conditions that could lead to deadlocks in the IO manager

FIX #3866: improve documentation of Data.Data.Constr

UNDO: Handle NaN, -Infinity and Infinity in the toRational for Float/Double (#3676)

Put the complexity in the length docs. Fixes trac #3680

nhc98 should build Data.Functor.

Update the exitWith docs
Error pointed out by Volker Wysk <vw@volker-wysk.de>

Handle NaN, -Infinity and Infinity in the toRational for Float/Double (#3676)

For nhc98, import unsafeInterleaveIO rather than defining it here.

Stifle warning about unused return value

fix #3832: use the locale encoding in openTempFile
Also while I was here fix an XXX: the Handle contained an
uninformative string like <fd: 4> for error messages rather than the
real file path.

Fix the build: export void, so it doesn't give an unused binding warning

hIsEOF: don't do any decoding (#3808)

Control.Monad: +void :: f a -> f ()
See http://hackage.haskell.org/trac/ghc/ticket/3292
Turns m a -> m (). Lets one call functions for their side-effects without
having to get rid of their return values with '>> return ()'. Very useful
in many contexts (parsing, IO etc.); particularly good for 'forkIO' and 'forM_',
as they demand return types of 'IO ()' though most interesting IO functions
return non-().

Replace the implementation of mergesort with a 2x faster one.
See ticket http://hackage.haskell.org/trac/ghc/ticket/2143.

Restore previous Data.Typeable.typeOf*Default implementations for non-ghc.
Not all compilers have ScopedTypeVariables.

Add comments about double bounds-checking, and fast paths for rectangular arrays

See Note [Double bounds-checking of index values] for the details.

The fast paths omit the doubled checks for cases we know about

Fix Trac #3245: memoising typeOf

The performance bug in #3245 was caused by computing the typeRep
once for each call of typeOf, rather than once for each dictionary
contruction.  (Computing TypeReps is reasonably expensive, because
of the hash-consing machinery.)

This is readily fixed by putting the TypeRep construction outside
the lambda.  (Arguably GHC might have worked that out itself,
but it involves floating something between a type lambda and a
value lambda, which GHC doesn't currently do. If it happens a lot
we could fix that.)

Mark 'index' as INLINE in GHC.Arr

This makes indexing much faster. See Trac #1216

Comment the remaining orphan instance modules

De-orphan Eq/Ord Float/Double

Add comments to "OPTIONS_GHC -fno-warn-orphans" pragmas

Data.Either.partitionEithers was insufficiently lazy.
Spotted by Daniel Fischer.

fix the docs regarding finalizer guarantees

x86_64 requires more stack