Pattern-match warning police

Improve error reporting for SigTvs, and add comments

Check that top-level binders are unqualified names

Not having this check led to strange error messages.
See test rnfail046.

Don't fail on missing happy/alex if we don't need them

Make record selection look cheap

exprIsCheap was already making record selection look cheap, esp for
dictionary selection; e.g.
   (==) dEq

The idea is to allow those record selections to migrate inside a
lambda, because on the whole it's more expensive to share than
repeat them.

But sometimes dictionary selection is nested; e.g.
   (==) ($p1Num dNum)

This turned out to make a (fragile) rewrite rule fire a little
more robustly, but it seems like a good idea in any case.

This patch makes nested record selections also look cheap.

Documentation for lexically-scoped type variables

GHC's design for lexically scoped type variables has changed.
Here, belatedly, is the documentation.

Fix the Windows "VirtualAlloc MEM_COMMIT failed" bug
We had
    base=01100000 size=1048576 size_delta=0 it->size=2097152
    it->base=00F00000 base-it->base=00200000
in commitBlocks.
Esa Ilari Vuokko identified this inequality test as the cause.

Now in the wiki

-threaded and -prof do not currently work together

Correct the Cabal version number and remove features.
We're not going to include cabal-setup and cabal-install in this release.

Strip trailing CRs when comparing output for nofib. Fixes #797.

new RTS flag: -V to modify the resolution of the RTS timer
Fixed version of an old patch by Simon Marlow. His description read:
 Also, now an arbitrarily short context switch interval may now be
 specified, as we increase the RTS ticker's resolution to match the
 requested context switch interval.  This also applies to +RTS -i (heap
 profiling) and +RTS -I (the idle GC timer).  +RTS -V is actually only
 required for increasing the resolution of the profile timer.

Fix dependency analysis (notably bindInstsOfLocalFuns) in TcBinds

GHC 6.5 does enhanced dependency analysis for recursive bindings, to
maximise polymorphism based on type signatures.  (See Mark Jones's
THIH paper.)

I didn't do the bindInstsOfLocalFuns part correctly though, and jhc
showed up the bug.  (It only matters when you have a recursive group
of two or more functions with a type signature, not at top level, which
is why it hasn't shown up till now.)

Test is tc207.hs

Add note about overlapping instances

Record that TH doesn't support pattern types signature

Fix typos.

Refactoring for derived Read

There are no functional changes in this commit.  But the code for
derived Read is refactored to make it tidier --- and also to make
it very easy if we want derived Read to parse the prefix form of
infix ocnstructors.

For example,
data T = Int `T1` Int
According to the H98 report, the derived Read instance will parse
infix uses of T1, but not prefix uses (T1 4 3).  It's arguable that it
should parse both -- and easy to implement, but it would cause a little bit
of code bloat.

Similarly records.

Anyway this commit doesn't implement the change; just makes it easy
to do so.

Enable bang-patterns only when the flag says so (had missed a case before)

Improve pretty-printing for HsExpr

Remove linear implicit parameters, and document in release notes

Release notes should mention better newtype-deriving

Documentation for bang patterns, and other improvements

Add a hint on tab completion

Add :main docs to ghci commands page

Ambiguities are now allowed in ghci command names

More output updates

Add docs for :main

More doc output fixes

Update ghci output in docs

Fix typo

Update ghci output in docs

Remove a tab causing ghci's :? alignment to go wrong

Don't lose linked list tail

Fix Windows MBlock alloctor bookkeeping bug

-fglasgow-exts no longer implies -fbang-patterns

Fix error in release notes, spotted by Esa Ilari Vuokko

Remove changes in packages we don't build

Don't enable SMP if we are unregisterised

Add a pointer to the fundeps paper

free the task *after* calling closeCond and closeMutex

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