Apparently one of my attachments got lost, so here it is.
Tue Aug 5 16:33:54 BST 2008 Simon Marlow <[EMAIL PROTECTED]>
* bump to version 4.0
New patches:
[bump to version 4.0
Simon Marlow <[EMAIL PROTECTED]>**20080805153354] hunk ./base.cabal 2
-version: 3.0
+version: 4.0
Context:
[poke and peek come from Foreign.Storable
[EMAIL PROTECTED]
[zipWithM_ comes from Control.Monad
[EMAIL PROTECTED]
[Fix nhc98 code variations to use the extensible exception API.
[EMAIL PROTECTED]
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
[EMAIL PROTECTED]
[Change some imports and derive Show (Either a b)
Ian Lynagh <[EMAIL PROTECTED]>**20080804004147
rather than writing it by hand in GHC.Show
]
[Windows fixes
Ian Lynagh <[EMAIL PROTECTED]>**20080803180345]
[Remove the duplicate definition of throwTo in Control.Exception
Ian Lynagh <[EMAIL PROTECTED]>**20080803141703
It now imports GHC.Conc, so it is no longer necessary
]
[Remove the only import of GHC.Exts
Ian Lynagh <[EMAIL PROTECTED]>**20080803141944]
[Move assertError into GHC.IOBase
Ian Lynagh <[EMAIL PROTECTED]>**20080803141040]
[Use onException rather than catchAny
Ian Lynagh <[EMAIL PROTECTED]>**20080803114104]
[Generalise the type of onException
Ian Lynagh <[EMAIL PROTECTED]>**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 <[EMAIL PROTECTED]>**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 <[EMAIL PROTECTED]>**20080801230343]
[Remove unused imports
Ian Lynagh <[EMAIL PROTECTED]>**20080801230059]
[Remove unused imports in Control.Exception
Ian Lynagh <[EMAIL PROTECTED]>**20080801225847]
[Get rid of some duplicate imports
Ian Lynagh <[EMAIL PROTECTED]>**20080801214933]
[Remove the now-unused GHC/Conc.lhs-boot
Ian Lynagh <[EMAIL PROTECTED]>**20080801214707]
[Make some more imports non-recursive
Ian Lynagh <[EMAIL PROTECTED]>**20080801214546]
[Rejig some code so Control.Exception and GHC.Conc don't need recursive imports
Ian Lynagh <[EMAIL PROTECTED]>**20080801214208]
[Remove the now-unused GHC/TopHandler.lhs-boot
Ian Lynagh <[EMAIL PROTECTED]>**20080801212105]
[Reshuffle GHC.Conc/GHC.TopHandler a bit to remove a recursive import
Ian Lynagh <[EMAIL PROTECTED]>**20080801211801]
[Don't import Control.Concurrent.MVar in GHC.TopHandler
Ian Lynagh <[EMAIL PROTECTED]>**20080801200123]
[Export assertError from Control.Exception to make GHC happy
Ian Lynagh <[EMAIL PROTECTED]>**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 <[EMAIL PROTECTED]>**20080731153553]
[Comment wibble
Ian Lynagh <[EMAIL PROTECTED]>**20080730202127]
[Make numericEnumFrom more efficient
Ian Lynagh <[EMAIL PROTECTED]>**20080730202049]
[Put in some parens to clarify how things parse
Ian Lynagh <[EMAIL PROTECTED]>**20080730201934]
[applied patches to make enumFrom and friends strict in arguments as per the
Report; closes ticket #1997
Bart Massey <[EMAIL PROTECTED]>**20080726080444]
[Don't use "deriving Typeable" (for portability reasons)
Ian Lynagh <[EMAIL PROTECTED]>**20080730194434]
[Add onException
Ian Lynagh <[EMAIL PROTECTED]>**20080730172014]
[Fix whitespace
Ian Lynagh <[EMAIL PROTECTED]>**20080730171951
The space after "\begin{code}" was confusing haddock
]
[Re-add blocked; it got lost in the extensible exceptions patches
Ian Lynagh <[EMAIL PROTECTED]>**20080730145614]
[Start to actually use extensible exceptions
Ian Lynagh <[EMAIL PROTECTED]>**20080730145115]
[Rejig the extensible exceptions so there is less circular importing
Ian Lynagh <[EMAIL PROTECTED]>**20080730122539]
[Define nonTermination for the RTS to use
Ian Lynagh <[EMAIL PROTECTED]>**20080621144420
We'll probably need to do the same for some other exceptions too
]
[Use extensible exceptions at the lowest level
Ian Lynagh <[EMAIL PROTECTED]>**20080621121501
Everything above is largely unchanged; just the type of catch and throw.
]
[add comment
Simon Marlow <[EMAIL PROTECTED]>**20080730114559]
[add some big warnings to the docs for unsafeIOToSTM (#2401)
Simon Marlow <[EMAIL PROTECTED]>**20080730114554]
[FIX #2376: inline shiftR
Simon Marlow <[EMAIL PROTECTED]>**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.
[EMAIL PROTECTED]
[Extend nhc98's Exception type to resemble ghc's more closely
[EMAIL PROTECTED]
[fix dummy async implementations for non-GHC
Ross Paterson <[EMAIL PROTECTED]>**20080715125521]
[Fix haddocking with older haddocks
Ian Lynagh <[EMAIL PROTECTED]>**20080710190855]
[Add threadStatus :: ThreadId -> IO ThreadStatus
Simon Marlow <[EMAIL PROTECTED]>**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.
]
[FIX BUILD (on Windows)
Simon Marlow <[EMAIL PROTECTED]>**20080709123110]
[forkOS: start the new thread in blocked mode iff the parent was (#1048)
Simon Marlow <[EMAIL PROTECTED]>**20080709135558
This matches the behaviour of forkIO
]
[Add Control.Exception.blocked :: IO Bool
Simon Marlow <[EMAIL PROTECTED]>**20080709133139
Tells you whether async exceptions are currently blocked or not.
]
[check CONST_SIGINT
Simon Marlow <[EMAIL PROTECTED]>**20080709122527]
[Make threadWaitRead/threadWaitWrite partially useable on Windows
Simon Marlow <[EMAIL PROTECTED]>**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 part of #2301
Simon Marlow <[EMAIL PROTECTED]>**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.
]
[FIX #1198: hWaitForInput on Windows
Simon Marlow <[EMAIL PROTECTED]>**20080708134254
Now we do the appropriate magic in fdReady() to detect when there is
real input available, as opposed to uninteresting console events.
]
[() has moved to ghc-prim:GHC.Unit, and the Eq and Ord instances to Data.Tuple
Ian Lynagh <[EMAIL PROTECTED]>**20080624144932]
[Add GHC.Exts.maxTupleSize :: Int, the size of the largest tuple supported
Ian Lynagh <[EMAIL PROTECTED]>**20080622141559]
[Remove code for older GHC versions
Ian Lynagh <[EMAIL PROTECTED]>**20080620194521]
[Make the macros in Typeable.h add type signatures
Ian Lynagh <[EMAIL PROTECTED]>**20080619235808]
[Fix #2363: getChar cannot be interrupted with -threaded
Simon Marlow <[EMAIL PROTECTED]>**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 <[EMAIL PROTECTED]>**20080616230727]
[Avoid using deprecated flags
Ian Lynagh <[EMAIL PROTECTED]>**20080616145207]
[delete __hscore_{mkstemp,getrlimit,setrlimit} (moved to unix)
Ross Paterson <[EMAIL PROTECTED]>**20080615224413]
[Update WCsubst.c for Unicode 5.1.0, and add a README.Unicode
Ian Lynagh <[EMAIL PROTECTED]>**20080613201754
README.Unicode describes how to do updates in the future.
]
[Fix ubconfc
Ian Lynagh <[EMAIL PROTECTED]>**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 <[EMAIL PROTECTED]>**20080102231712]
['subsequences' is now more lazy and also faster
Twan van Laarhoven <[EMAIL PROTECTED]>**20080102231629]
[Add 'subsequences' and 'permutations' to Data.List
Twan van Laarhoven <[EMAIL PROTECTED]>**20071218154950]
[Tweak the definition of (^) again
Ian Lynagh <[EMAIL PROTECTED]>**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 <[EMAIL PROTECTED]>**20080527110549]
[TAG 2008-05-28
Ian Lynagh <[EMAIL PROTECTED]>**20080528003830]
Patch bundle hash:
e50f8fdd454615b8881a198ebd85634d575f0b44
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
