add missing ghc_ge_605

don't closeMutex() the Capability lock
There might be threads in foreign calls that will attempt to return
via resumeThread() and grab this lock, so we can't safely destroy it.

Fixes one cause of

   internal error: ASSERTION FAILED: file Capability.c, line 90

although I haven't repeated that assertion failure in the wild, only
with a specially crafted test case, so I can't be sure I really got
it.

fix Unix build

add sysErrorBelch() for reporting system call errors

call ShutdownIOManager() before closing handles
To avoid IO requests completing only to discover that the
completed_table_sema has been CloseHandle()'d.  This all looks a bit
wrong, though: we shouldn't really be waiting for these requests to
complete, they might take forever.

Windows: make some soft failures into fatal errors
Some of the memory allocation calls were being checked for error, but
the RTS was printing a message and continuing.  These error cases
lead to crashes later, so better to just fail immediately.

MAYBE_GC: initialise HpAlloc
HpAlloc was not being set when returning to the scheduler via MAYBE_GC(),
which at the least was just wrong (the scheduler might allocate a large
block more than once), and at worst could lead to crashes if HpAlloc contains
garbage.

Fixes at least one threaded2 test on Windows.

FILL_SLOP: don't fill slop for BLACKHOLE/CAF_BLACKHOLE
This affects -debug only, avoids crash with test conc012.

oops, got the sense of the error case wrong

fix some rerrors in the worker counting

add missing case for BlockedOnDoProc

omit HGL on Windows

Don't trust "ln -sf" to do the right thing (it doesn't on Solaris)
Patch from: Roman Leshchinskiy

don't include HaXml, Japi and monads in a GHC checkout
They aren't built as part of a GHC build anyway, it doesn't make much
sense to include them in checkouts or source tarballs.

don't include .depend (attempt to fix Windows stage2 build failure)

Add mipsel case to configure.ac

incremented versions of arrows and X11

omit Control.Sequential.STM

It's an internal module used by non-GHC implementations only.

various minor tweaks, and rearrange to put "important" changes near the top

mention -fno-mono-pat-binds, since this is a diversion from Haskell 98

Document SMP support

Load the target of a dynamic foreign call into a temporary
Fixes ffi011(opt) on x86_64.  I don't know why this has only just
appeared today, it's apparently been broken for some time.

Sparc supports SMP too

Fix rewriting of Control.Exception.Assert; fixes 875

Add the regex reshuffle to the release notes

parsec is now a core library

Add a default case to pprDynamicLinkerAsmLabel

This is mainly for the benefit of Solaris. I'll fix this properly later.

Reserve a register for REG_Base on the Sparc

Add atomic SMP primitives for the Sparc

Make sure GCC uses the Sparc V9 instruction set

We only support Sparc V9 and better as V8 lacks an atomic CAS instruction
which we need for SMP. This means that we have to pass -mcpu=v9 to GCC when
compiling and assembling. Hardcoding the flag is hackish but seems to be
our best bet at the moment. It can still be overridden by the user as GCC
picks the best -mcpu flag regardless of the ordering.

shutdownCapability(): don't bail out after 50 iterations
See comments for details.  Fixes assertion failures in stage 3 build
which appeared after recent closeMutex() addidion.  May fix other
shutdown issues.

add dependency on regex-compat

move parsec into $(GhcBootLibs); tidy up

Mips registerised support
Contributed by: Thiemo Seufer <ths@networkno.de>

parsec is required to be a core package, genprimopcode uses it

Free Win32 Handles on shutdown
patch from #878

Fix unregisterised builds, and building on non-x86/amd64/powerpc

Release notes for GHC 6.6

Update for changes to packages
Not much has changed really: just the removal of the overlap
restriction, and the re-instatement of the requirement that
-package-name must be used when compiling a package now.

somehow I lost the unix subdir; recover it

expand the section on getting the source.

config in regex-posix too

make all AC_CONFIG_SUBDIRS optional

Add dynCompileExpr

Remove duplicate documentation of -package flag

Remove a reference to -fglobalise-toplev-names that got left behind

Add closeMutex and use it on clean up

Add shared Typeable support

Ignore sections generated from .ident

update with respect to darcs-all changes

divide packages into "core" and "extra" packages
The following packages are now "core" packages:

  base, Cabal, haskell98, readline, regex-base, regex-compat
  regex-posix, stm, template-haskell, unix, Win32

Core packages are those packages required to bootstrap GHC, or are
closely tied to GHC (stm, template-haskell).  These are the packages
that will be provided in a source distribution from now on.

All other packages are classified as "extra" packages.  As far as
binary distributions and nightly builds go, nothing will change -
we'll still build and include all these packages in the distributions.

NOTE: 'sh darcs-all get' will now get the core packages only.  To get
the extra packages too, use 'sh darcs-all --extra get'.

Sparc fix: work around gcc optimising away the reserved stack chunk
This bug causes crashse on Sparc when calling foreign functions with
more than 13 arguments.

add new regex packages

Clean up coding style

Use stgMallc and stgFree instead of malloc/free

Remove wrong VirtualAlloc MEM_DECOMMITs on cleanup

Remove few format-warnings by adding casts

Remove warning: Correct includes for mingw

Add few more guesses where to find bits of mingw-gcc

in the GHCi prompt, print ModuleNames not Modules

In the Compiling/Skipping message, print ModuleNames not Modules
These modules are always home modules, by definition, so the package
name is redundant.

Fix typo

Fix typo

FastString and StringBuffer need -funbox-strict-fields too
For the benefit of old GHCs that don't understand {-# UNPACK #-}

minor fix to the clashing export error message
The ordering of items in the parsed export list is now correct, so we
have to compensate to get the right output again.

findModule: add a fallthrough error case

notes about which versions of GHC can be used to bootstrap

disable .ident generation on darwin_TARGET_OS

fix typo

fixes to PPC version of cas(), from David Kirkman <dkirkman@gmail.com>

From David's email:
The problem is that the inline assembler code was placing the result
of an operation in a register that is used as input later in the code.
At the bottom of this message I've extracted a short short code
fragment that you can run through gcc (on a powerpc machine) to see
the generated assembly output.

The changes to fix the problem are fairly simple.  The first adds an
ampersand to the output list of the assembly fragment ("=r" (result)
--> "=&r" (result)) The ampersand just tells gcc that result can not
be placed in a register used for any of the input parameters (o, n, or
p).  Otherwise, it feels free to place output parameters in the same
registers used by the inputs -- but because of the flow of control
here we need everything in a distinct register.  This change fixes the
TVar program above.

The second change adds a clobber list (the :"cc", "memory").  This
tells gcc that the condition code (due to the compare) and memory (due
to the store) might be changed during the asm execution.  The lack of
a clobber list did not seem to be causing any trouble, but without it
gcc is free to assume that no state is changed during the execution.

Always use -funbox-strict-fields for Binary
For some reason this was only enabled when $(bootstrapped)=YES.  This
would be one reason why the stage1 compiler is slow.  I guess we'll
find out if anything goes wrong.

disable automagic building of GHCi in stage1

remove ancient file with incorrect information

new option -a (append) for hasktags

ugly hack to cause ghc_boot_platform.h to be built before primops.txt

add libraries/cgi and libraries/xhtml

(temp) #814 - More flexible memory allocation in Windows

fix export/import list parsing (allow (,)), and remove unnecessary reverses

comply with Haskell 98 by not allowing extra commas in import/export lists

Missing stage1's in hc-build
Add mising stage1/ directories to object files touched by hc-build, and
give stage=1 as an argument to make install.

remove spurious commas in imports

whitespace cleanup only

remove gcj libs from bin dist

I don't thing we want to add a call-context here; it just clutters the output

Avoid duplicate "In type ..." in error messages

Better pretty-printing for TvSubst

Fall over more gracefully when there's a Template Haskell error

For a long time, Template Haskell has fallen over in a very un-graceful
way (i.e. panic) even when it encounters a programmer error.  In particular,
when DsMeta converts HsSyn to TH syntax, it may find Haskell code that
TH does not understand. This should be reported as a normal programmer
error, not with a compiler panic!

Originally the desugarer was supposed to never generate error
messages, but this TH desugaring thing does make it do so.  And in
fact, for other reasons, the desugarer now uses the TcRnIf monad, the
common monad used by the renamer, typechecker, interface checker, and
desugarer.

This patch completes the job, by
 - allowing the desugarer to generate errors
 - re-plumbing the error handling to take account of this
 - making DsMeta use the new facilities to report error gracefully

Quite a few lines of code are touched, but nothing deep is going on.

Fixes Trac# 760.

Fix typo (fst --> head) in docs on implicit parameters

One last hs-boot update

Missing import for stage 2

One more hs-boot file

Refactoring for valid rule checking

Do not CSE in INLINE and NOINLINE things

See extensive comments with Note [INLINE and NOINLINE] in this file.

Update lhs-boot files

A consequence of my recent meddling with hs-boot files is that GHC is
more picky about the correpondence between the hs-boot file and the hs file.
In particular, you must use the same type synonyms.

This patche fixes up GHC's own hs-boot files to match the restriction.

Add ad-hoc typing checks for tagToEnum#

The problem with tagToEnum# is that it is not overloaded (in the
Haskell sense) but you are only supposed to apply it to a TyCon
that is an enumeration (isEnumerationTyCon).

The Real Way to do this is to have some special kind of type constraint
for the purpose, but that is wild overkill. So this patch adds a small
rather ad-hoc check to TcExpr.instFun.  Crude, simple, but it works fine.

Fixes Trac #786
Test is tcfail164

Get dead-ness right in knownCon

Tuning for argToPat

argToPat is a crucial function for SpecConstr, because it decides
what patterns are worth specialising.  I was being much too gung-ho about
constants.  This patch makes it much better.

Re-factor mkAtomicArgs and completeNonRecX

This refactoring ensures that when mkAtomicArgs adds new bindings,
it does so using completeNonRecX, which adds unfoldings etc.  More
modular, and saves passes too.

(This was important when getting rules to work right.  We want tob
fire a rule as soon as possible, taking into account all inlinings,
else a less-good rule applies.  That's what I found when doing
stream fusion anyway.)

Regardless, this is an improvement.

Another try at the continuation-swapping stuff

I have spent altogether too long on my attempt to avoid case-of-case
in situations where it is a Bad Thing.  All the action is in the
case for mkDupableAlt that handles cases with a single alternative.

I've added rather extensive comments, and it finally seems to be working
more or less right.  If you compile (say) GHC/Real.o you'll see quite a
few case-of-cases remain (which didn't happen before), and they mostly look
pretty sensible to me.

Don't build unnecessary lets in knownCon

Faced with
case x of y { (a,b) -> rhs }

where x is bound to (c,d), we were generating

let y = (c,d) in rhs

and thenn hoping to get rid of the y binding by CSE or some such.  It's
better simply not to build it in the first place, by generating

let y = x in rhs

This patch does the job.