New patches: [Fix oversight in Control.OldException Bertram Felgenhauer **20080816132631 The NonTermination constructor slipped through in the Exception instance. ] { hunk ./Control/OldException.hs 751 - toException NonTermination = SomeException NonTermination + toException NonTermination = SomeException New.NonTermination } Context: [Control.OldException: Map exceptions to old exceptions and back properly. Ian Lynagh **20080814210219 * Control.OldException: Map exceptions to old exceptions and back properly. It's really necessary to map them back as well, or the RTS and base library will not recognize exceptions that got caught and rethrown. (See #2508) Patch from Bertram Felgenhauer ] [add Traversable generalizations of mapAccumL and mapAccumR (#2461) Ross Paterson **20080814162617] [simplify definition of Prelude.catch Ross Paterson **20080814143650] [remove returns from void functions Ross Paterson **20080814110841] [No reason for Handler and catches to exclude nhc98. Malcolm.Wallace@cs.york.ac.uk**20080813125850] [Must import ExitCode for its instance to be re-exported. Malcolm.Wallace@cs.york.ac.uk**20080813125710 The Cabal library depends on "instance Exception ExitCode", and expects to import it from Control.Exception, not Control.Exception.Base. ] [use New.catch instead of catchException in OldException Ross Paterson **20080813071307] [use the Haskell 98 module Control.Exception.Base in the Concurrent modules Ross Paterson **20080813000219] [export Control.Exception.Base Ross Paterson **20080812233640] [use dummy implementation of timeout for all non-GHCs Ross Paterson **20080812151602] [Hugs only: fix imports Ross Paterson **20080812145654] [non-GHC: hide Prelude.catch Ross Paterson **20080812145622] [add Control.Exception.Base to nhc98 build Malcolm.Wallace@cs.york.ac.uk**20080812174300] [bump to version 4.0 Simon Marlow **20080805153354] [Hugs only: don't import exception types -- their instances are now in Control.Exception.Base Ross Paterson **20080812140433] [split most of Control.Exception into new Control.Exception.Base Ross Paterson **20080812124912 Move everything but catches/Handler into a new internal module. This was needed to get the new exceptions working with Hugs, because Hugs has the constraint that all Haskell 98 library modules, and everything they include, must be Haskell 98. This also involves a different representation of SomeException for Hugs, so that type is exported opaquely for Hugs. Then Control.Exception.Base is Haskell 98 as far as Hugs is concerned, but Control.Exception needs the extensions turned on. Control.Exception re-exports everything from Control.Exception.Base except the functions used by the GHC runtime. ] [remove kludges, now that Control.Exception is imported Ross Paterson **20080811180328] [threadDelay and friends are GHC-only Ross Paterson **20080811175039] [fix imports for non-GHC Malcolm.Wallace@cs.york.ac.uk**20080808092017] [Eq and Ord have moved into GHC.Classes Ian Lynagh **20080807095352] [Use the proper CInt type in GHC.Unicode Ian Lynagh **20080806232948] [Import wibbles Ian Lynagh **20080806232055] [Remove unnecessary Data/Dynamic.hs-boot Ian Lynagh **20080806230623] [Remove more redundant GHC.Float imports Ian Lynagh **20080806225411] [Remove an unnecessary import Ian Lynagh **20080806224742] [Move Int, Float and Double into ghc-prim:GHC.Types Ian Lynagh **20080806191554] [Put some explicit import lists in Data.Typeable Ian Lynagh **20080806190353] [Fix a couple of imports Ian Lynagh **20080806165549] [Remove unused conditional import Ian Lynagh **20080806124930] [Swap imports around to get GHC.ForeignPtr out of the base knot Ian Lynagh **20080806121313] [Move some bits around to stop Data.Either being in the base import knot Ian Lynagh **20080806120504] [Tweak an import Ian Lynagh **20080806000440] [Remove the DynIOError constructor of IOErrorType Ian Lynagh **20080805234720 As far as I can see it is never used or exported ] [Move some internals around to simplify the import graph a bit Ian Lynagh **20080805221341] [Move the Char datatype into ghc-prim Ian Lynagh **20080805204009] [Remove an unnecessary import Ian Lynagh **20080805182336] [The [] definition has moved to ghc-prim Ian Lynagh **20080805182332] [Fix warnings Ian Lynagh **20080805150250] [Add a missing case to Show AsyncException Ian Lynagh **20080805142811] [Remove GHC.Dotnet Ian Lynagh **20080804215840] [Hide standalone deriving clauses from haddock Ian Lynagh **20080804211617] [Control.Exception doesn't need to export assertError Ian Lynagh **20080804161838] [Generalise the type of mapException; pointed out by Isaac Dupree Ian Lynagh **20080804160941] [Remove some unnecessary Data.Tuple imports Ian Lynagh **20080804155956] [The tuple datatype definitions have moved to ghc-prim Ian Lynagh **20080804155420] [make ExitCode an instance of Exception for nhc98 Malcolm.Wallace@cs.york.ac.uk**20080805160330] [poke and peek come from Foreign.Storable Malcolm.Wallace@cs.york.ac.uk**20080804160616] [zipWithM_ comes from Control.Monad Malcolm.Wallace@cs.york.ac.uk**20080804160319] [Fix nhc98 code variations to use the extensible exception API. Malcolm.Wallace@cs.york.ac.uk**20080804155842 There is still only one real exception type in nhc98, so it is not truly extensible. But this is enough to get the base package building again. ] [nhc98 needs the Prelude for this module Malcolm.Wallace@cs.york.ac.uk**20080804133853] [Change some imports and derive Show (Either a b) Ian Lynagh **20080804004147 rather than writing it by hand in GHC.Show ] [Windows fixes Ian Lynagh **20080803180345] [Remove the duplicate definition of throwTo in Control.Exception Ian Lynagh **20080803141703 It now imports GHC.Conc, so it is no longer necessary ] [Remove the only import of GHC.Exts Ian Lynagh **20080803141944] [Move assertError into GHC.IOBase Ian Lynagh **20080803141040] [Use onException rather than catchAny Ian Lynagh **20080803114104] [Generalise the type of onException Ian Lynagh **20080803003001 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 Ian Lynagh **20080802231358 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 Ian Lynagh **20080801230343] [Remove unused imports Ian Lynagh **20080801230059] [Remove unused imports in Control.Exception Ian Lynagh **20080801225847] [Get rid of some duplicate imports Ian Lynagh **20080801214933] [Remove the now-unused GHC/Conc.lhs-boot Ian Lynagh **20080801214707] [Make some more imports non-recursive Ian Lynagh **20080801214546] [Rejig some code so Control.Exception and GHC.Conc don't need recursive imports Ian Lynagh **20080801214208] [Remove the now-unused GHC/TopHandler.lhs-boot Ian Lynagh **20080801212105] [Reshuffle GHC.Conc/GHC.TopHandler a bit to remove a recursive import Ian Lynagh **20080801211801] [Don't import Control.Concurrent.MVar in GHC.TopHandler Ian Lynagh **20080801200123] [Export assertError from Control.Exception to make GHC happy Ian Lynagh **20080801111716 It's a wired-in name in GHC. We should possibly move it to another module. ] [TopHandler now uses the new extensible exceptions Ian Lynagh **20080731153553] [Comment wibble Ian Lynagh **20080730202127] [Make numericEnumFrom more efficient Ian Lynagh **20080730202049] [Put in some parens to clarify how things parse Ian Lynagh **20080730201934] [applied patches to make enumFrom and friends strict in arguments as per the Report; closes ticket #1997 Bart Massey **20080726080444] [Don't use "deriving Typeable" (for portability reasons) Ian Lynagh **20080730194434] [Add onException Ian Lynagh **20080730172014] [Fix whitespace Ian Lynagh **20080730171951 The space after "\begin{code}" was confusing haddock ] [Re-add blocked; it got lost in the extensible exceptions patches Ian Lynagh **20080730145614] [Start to actually use extensible exceptions Ian Lynagh **20080730145115] [Rejig the extensible exceptions so there is less circular importing Ian Lynagh **20080730122539] [Define nonTermination for the RTS to use Ian Lynagh **20080621144420 We'll probably need to do the same for some other exceptions too ] [Use extensible exceptions at the lowest level Ian Lynagh **20080621121501 Everything above is largely unchanged; just the type of catch and throw. ] [add comment Simon Marlow **20080730114559] [add some big warnings to the docs for unsafeIOToSTM (#2401) Simon Marlow **20080730114554] [FIX #2376: inline shiftR Simon Marlow **20080730103539 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. Malcolm.Wallace@cs.york.ac.uk**20080728164537] [Extend nhc98's Exception type to resemble ghc's more closely Malcolm.Wallace@cs.york.ac.uk**20080728163445] [fix dummy async implementations for non-GHC Ross Paterson **20080715125521] [Fix haddocking with older haddocks Ian Lynagh **20080710190855] [Add threadStatus :: ThreadId -> IO ThreadStatus Simon Marlow **20080710151711 -- | 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) Simon Marlow **20080709135558 This matches the behaviour of forkIO ] [Add Control.Exception.blocked :: IO Bool Simon Marlow **20080709133139 Tells you whether async exceptions are currently blocked or not. ] [FIX BUILD (on Windows) Simon Marlow **20080709123110] [check CONST_SIGINT Simon Marlow **20080709122527] [Make threadWaitRead/threadWaitWrite partially useable on Windows Simon Marlow **20080709111008 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 Simon Marlow **20080708134254 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 Simon Marlow **20080709094437 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 Ian Lynagh **20080624144932] [Add GHC.Exts.maxTupleSize :: Int, the size of the largest tuple supported Ian Lynagh **20080622141559] [Remove code for older GHC versions Ian Lynagh **20080620194521] [Make the macros in Typeable.h add type signatures Ian Lynagh **20080619235808] [Fix #2363: getChar cannot be interrupted with -threaded Simon Marlow **20080619141911 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 Ian Lynagh **20080616230727] [Avoid using deprecated flags Ian Lynagh **20080616145207] [delete __hscore_{mkstemp,getrlimit,setrlimit} (moved to unix) Ross Paterson **20080615224413] [Update WCsubst.c for Unicode 5.1.0, and add a README.Unicode Ian Lynagh **20080613201754 README.Unicode describes how to do updates in the future. ] [Fix ubconfc Ian Lynagh **20080613201456 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 Twan van Laarhoven **20080102231712] ['subsequences' is now more lazy and also faster Twan van Laarhoven **20080102231629] [Add 'subsequences' and 'permutations' to Data.List Twan van Laarhoven **20071218154950] [Tweak the definition of (^) again Ian Lynagh **20080601120759 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 Simon Marlow **20080527110549] [TAG 2008-05-28 Ian Lynagh **20080528003830] Patch bundle hash: 04c52dbd73088e751fc6cc3408515c8f0b0ba2ca