Generalise the type of onException
The type of the thing to do on an exception is now
    IO b
rather than
    IO ()
which better matches functions like bracket.

Remove the dangerous Exception functions
Removed: catchAny, handleAny, ignoreExceptions
These make it easy to eat /any/ exception, which is rarely what you want.
Normally you either want to:
* only catch exceptions in a certain part of the hierarchy, e.g.
  "file not found", in which case you should only catch exceptions
  of the appropriate type,
or
* you want to do some cleanup when an exception happens, and then rethrow
  the exception, in which case you should use onException, or one of the
  bracketing functions.

Remove an unused import

Remove unused imports

Remove unused imports in Control.Exception

Get rid of some duplicate imports

Remove the now-unused GHC/Conc.lhs-boot

Make some more imports non-recursive

Rejig some code so Control.Exception and GHC.Conc don't need recursive imports

Remove the now-unused GHC/TopHandler.lhs-boot

Reshuffle GHC.Conc/GHC.TopHandler a bit to remove a recursive import

Don't import Control.Concurrent.MVar in GHC.TopHandler

Export assertError from Control.Exception to make GHC happy
It's a wired-in name in GHC. We should possibly move it to another module.

TopHandler now uses the new extensible exceptions

Comment wibble

Make numericEnumFrom more efficient

Put in some parens to clarify how things parse

applied patches to make enumFrom and friends strict in arguments as per the Report; closes ticket #1997

Don't use "deriving Typeable" (for portability reasons)

Add onException

Fix whitespace
The space after "\begin{code}" was confusing haddock

Re-add blocked; it got lost in the extensible exceptions patches

Start to actually use extensible exceptions

Rejig the extensible exceptions so there is less circular importing

Define nonTermination for the RTS to use
We'll probably need to do the same for some other exceptions too

Use extensible exceptions at the lowest level
Everything above is largely unchanged; just the type of catch and throw.

add comment

add some big warnings to the docs for unsafeIOToSTM (#2401)

FIX #2376: inline shiftR
Duplicating the default definition for shiftR doesn't seem quite right
to me, but it gets the right results when compiling the example
program, and I couldn't find a better way to do it.

Add instance Show Control.Exception.Exception for nhc98.

Extend nhc98's Exception type to resemble ghc's more closely

fix dummy async implementations for non-GHC

Fix haddocking with older haddocks

Add threadStatus :: ThreadId -> IO ThreadStatus

-- | The current status of a thread
data ThreadStatus
  = ThreadRunning
        -- ^the thread is currently runnable or running
  | ThreadFinished
        -- ^the thread has finished
  | ThreadBlocked  BlockReason
        -- ^the thread is blocked on some resource
  | ThreadDied
        -- ^the thread received an uncaught exception
  deriving (Eq,Ord,Show)

data BlockReason
  = BlockedOnMVar
        -- ^blocked on on 'MVar'
  | BlockedOnBlackHole
        -- ^blocked on a computation in progress by another thread
  | BlockedOnException
        -- ^blocked in 'throwTo'
  | BlockedOnSTM
        -- ^blocked in 'retry' in an STM transaction
  | BlockedOnForeignCall
        -- ^currently in a foreign call
  | BlockedOnOther
        -- ^blocked on some other resource.  Without @-threaded@,
        -- I/O and 'threadDelay' show up as 'BlockedOnOther', with @-threaded@
        -- they show up as 'BlockedOnMVar'.
  deriving (Eq,Ord,Show)

This is useful for concurrency debugging.  I've left threadStatus in
GHC.Conc for now, since the ThreadStatus type is somewhat GHC-specific.

forkOS: start the new thread in blocked mode iff the parent was (#1048)
This matches the behaviour of forkIO

Add Control.Exception.blocked :: IO Bool
Tells you whether async exceptions are currently blocked or not.

FIX BUILD (on Windows)

check CONST_SIGINT

Make threadWaitRead/threadWaitWrite partially useable on Windows

They work with -threaded by calling fdReady() in a separate thread.

"threadWaitRead 0" also works without -threaded (because we happen to
know it's virtually equivalent to "hWaitForInput stdin (-1)").

FIX #1198: hWaitForInput on Windows
Now we do the appropriate magic in fdReady() to detect when there is
real input available, as opposed to uninteresting console events.

FIX part of #2301

Control-C now causes the new exception (AsyncException UserInterrupt)
to be raised in the main thread.  The signal handler is set up by
GHC.TopHandler.runMainIO, and can be overriden in the usual way by
installing a new signal handler.  The advantage is that now all
programs will get a chance to clean up on ^C.

When UserInterrupt is caught by the topmost handler, we now exit the
program via kill(getpid(),SIGINT), which tells the parent process that
we exited as a result of ^C, so the parent can take appropriate action
(it might want to exit too, for example).

One subtlety is that we have to use a weak reference to the ThreadId
for the main thread, so that the signal handler doesn't prevent the
main thread from being subject to deadlock detection.

() has moved to ghc-prim:GHC.Unit, and the Eq and Ord instances to Data.Tuple

Add GHC.Exts.maxTupleSize :: Int, the size of the largest tuple supported

Remove code for older GHC versions

Make the macros in Typeable.h add type signatures

Fix #2363: getChar cannot be interrupted with -threaded
Now in -threaded mode, instead of just making a blocking call to
read(), we call select() first to make sure the read() won't block,
and if it would block, then we use threadWaitRead.

The idea is that the current thread must be interruptible while it
blocks.  This is a little slower than before, but the overhead only
applies to blocking Handles (stdin/stdout/stderr, and those created by
System.Process).

Remove -fglasgow-exts from pragmas and comments

Avoid using deprecated flags

delete __hscore_{mkstemp,getrlimit,setrlimit} (moved to unix)

Update WCsubst.c for Unicode 5.1.0, and add a README.Unicode
README.Unicode describes how to do updates in the future.

Fix ubconfc
The current code doesn't seem to be what was used to generate WCsubst.c,
so I'm not sure if it never worked, or if my tools work slightly
differently to those of the previous user.

'permutations' is now more lazy and also faster

'subsequences' is now more lazy and also faster

Add 'subsequences' and 'permutations' to Data.List

Tweak the definition of (^) again
This fixes trac #2306 (do the minimum number of (*)s), and also means
that we don't use the value of (1 :: a) which causes problems if the
Num a definition isn't complete.

note about evaluation affecting StableNames

Fix the build on Windows

Add wrappers for [gs]etrlimit
This is for #2038: macros are used in the Linux .h includes to redirect
to a 64-bit version when large file support is enabled.

Add a wrapper for mkstemp
This is for #2038: macros are used in the Linux .h includes to redirect
to a 64-bit version when large file support is enabled.

Avoid calling varargs functions using the FFI
Calling varargs functions is explicitly deprecated according to the
FFI specification.  It used to work, just about, but it broke with the
recent changes to the via-C backend to not use header files.

Add comments about why rotate has an INLINE

Inline Data.Bits.rotate@Int, enables rotate to be constant folded

All other Bits instances seem to inline well enough on their own
to enable constant folding, e.g.

    sumU . mapU (`shift` 3) . replicateU 10000000 $ (7 :: Int)

goes to:

    Main.$wfold =
      \ (ww_sOb :: Int#) (ww1_sOf :: Int#) ->
        case ww1_sOf of wild_XM {
          __DEFAULT -> Main.$wfold (+# ww_sOb 56) (+# wild_XM 1);
          10000000 -> ww_sOb
        }

With this patch, rotate gets inlined and folded too,

    sumU . mapU (`rotate` 3) . replicateU 10000000 $ (7 :: Int)

to:

  Main.$wfold =
    \ (ww_sO7 :: Int#) (ww1_sOb :: Int#) ->
      case ww1_sOb of wild_XM {
        __DEFAULT -> Main.$wfold (+# ww_sO7 56) (+# wild_XM 1);
        10000000 -> ww_sO7

Whereas it was left as a call to $wrotate before.

Moved def. of emptyP

emptyP def to gHC.PArr

Reexport (>>>) and (<<<) from Control.Arrow. Preserves API compatibility

Add realToFrac RULE comments from patch message into the source code

Add RULES for realToFrac from Int.

    {-# RULES
    "realToFrac/Int->Double"    realToFrac   = int2Double
    "realToFrac/Int->Float"     realToFrac   = int2Float
      #-}

Note that this only matters for realToFrac. If you've been using
fromIntegral to promote Int to Doubles, things should be fine as they are.

The following program, using stream fusion to eliminate arrays:

    import Data.Array.Vector

    n = 40000000

    main = do
          let c = replicateU n (2::Double)
              a = mapU realToFrac (enumFromToU 0 (n-1) ) :: UArr Double
          print (sumU (zipWithU (*) c a))

Yields this loop body without the RULE:

    case $wtoRational sc_sY4 of ww_aM7 { (# ww1_aM9, ww2_aMa #) ->
    case $wfromRat ww1_aM9 ww2_aMa of tpl_X1P { D# ipv_sW3 ->
    Main.$s$wfold
      (+# sc_sY4 1)
      (+# wild_X1i 1)
      (+## sc2_sY6 (*## 2.0 ipv_sW3))

And with the rule:

   Main.$s$wfold
      (+# sc_sXT 1)
      (+# wild_X1h 1)
      (+## sc2_sXV (*## 2.0 (int2Double# sc_sXT)))

The running time of the program goes from 120 seconds to 0.198 seconds
with the native backend, and 0.143 seconds with the C backend.

And just so I don't forget, here's the difference in resulting
assembly (x86_64), between the native code generator, and the
C backend.

-fasm

    Main_zdszdwfold_info:
      movq %rdi,%rax
      cmpq $40000000,%rax
      jne .LcZK
      jmp *(%rbp)
    .LcZK:
      cmpq $39999999,%rsi
      jg .LcZN
      cvtsi2sdq %rsi,%xmm0
      mulsd .LnZP(%rip),%xmm0
      movsd %xmm5,%xmm7
      addsd %xmm0,%xmm7
      incq %rax
      incq %rsi
      movq %rax,%rdi
      movsd %xmm7,%xmm5
      jmp Main_zdszdwfold_info

With the C backend we get the even better assembly, (-fvia-C -optc-O3)

    Main_zdszdwfold_info:
        cmpq    $40000000, %rdi
        je  .L9
    .L5:
        cmpq    $39999999, %rsi
        jg  .L9
        cvtsi2sdq   %rsi, %xmm0
        leaq    1(%rdi), %rdi
        addq    $1, %rsi
        addsd   %xmm0, %xmm0
        addsd   %xmm0, %xmm5
        jmp Main_zdszdwfold_info
    .L9:
        jmp *(%rbp)

So might make a useful test once the native codegen project starts up.

Just (-0/1) is now printed as Just (-0.0), not Just -0.0; trac #2036

record libraries@haskell.org as maintainer

Added emptyP def

don't set O_NONBLOCK on FDs passed to fdToHandle

Improve docs for unsafeCoerce
Make it clear that compilers differ.  Point to GHC docs in GHC.Base, and
add a short description of nhc98's representation-safe conversions.

Spelling only

In docs for unsafeCoerce, point to unsafeCoerce#

Turn off the gcd/lcm optimisations for Integer for now
This makes it easier to experiment with other implementations

Ordering has now moved to ghc-prim

fix types for __hscore_st_dev() and __hscore_st_ino()

give an absolute path to 'harch'

Move Word64/Int64/Word32/Int32 primitives into ghc-prim

Update .darcs-boring
GHC/Prim.hs, GHC/PrimopWrappers.hs are no longer generated in this package

Remove GHC.PrimopWrappers from base's exposed modules list

base now uses build-type: Configure

Move Integer out into its own package
We now depend on the new integer package.
We also depend on a new ghc-prim package, which has GHC.Prim,
GHC.PrimopWrappers, and new modules GHC.Bool and GHC.Generics,
containing Bool and Unit/Inl/Inr respectively.

List extensions used rather than using the -fglasgow-exts hammer

Remove a gratuitous pattern type sig

An even better definition for (^) (trac #1687)

Replace (^) with a faster variant (from trac #1687)

Add partitionEithers, lefts, and rights.
Patch from Russell O'Connor, trac proposal #974.

System.Console.GetOpt mistakenly rejects options as ambiguous.
From "Eelis van der Weegen" <haskell-libs@contacts.eelis.net>.
Testcase:

> import System.Console.GetOpt
>
> type Color = String
>
> optsDesc :: [OptDescr Color]
> optsDesc = [Option "" ["color", "colour"]
>                    (ReqArg id "color") "Foreground color"]
>
> main = do
>   let args = ["--col=blue"]
>   case getOpt RequireOrder optsDesc args of
>     (_, _, err:_) -> putStrLn err
>     _ -> return ()

Output:
  option `--col' is ambiguous; could be one of:
      --color=color, --colour=color  Foreground color
      --color=color, --colour=color  Foreground color

This error is silly, because the two alternatives listed are the same
option.  The problem is caused by incorrect use of a generator in a list
comprehension.

untabify

untabify

untabify

untabify

untabify

untabify

untabify

untabify

untabify

untabify

untabify