Add postfix ops to the release notes

Document postfix operators

Simplify desugaring of left sections

MERGE TO 6.6 branch!

Some while ago I made the type checker a tiny bit more lenient about
left sections, so that
(x !)
would typecheck iff
((!) x)
typechecks.

Strictly, Haskell 98 requires that the section typechecks iff
(\y. (!) x y)
typechecks, and I should really have made the relaxation dependent on a
flag, but I didn't.

Anyway, this commit fixes the *desugarer* so that it correctly desugars
the programs that the typechecker passes.

Add comment

Fix warnings traceBegin/traceEnd implicitly declared

Fix linking to expf on Windows

adapt stylesheet to example-contents class used by xsltproc

8 byte align data. Fixes SIBGUSs on HPPA/Linux.

We now need alex >= 2.0.1

remove generated files in a 'finally' manner

Catch errors in pattern matching for unboxed tuples

When fiddling with pattern-matching for unboxed tuples, I'd messed up
the slightly-tricky tests for pattern matching on unboxed tuples, notably
case (# foo, bar #) of r -> ...r...

The fix is in TcPat, and test are tcfail115, tcfail120, and tc209

Typo, spotted by Bulat Ziganshin

Release note tweaks suggested by Bulat Ziganshin

Doc fix: generic classes are no longer broken
Spotted by Bulat Ziganshin.

Fixed typo in users guide section about lexically scoped type variables.

If we get an unknown or unimplemented opcode, say what it is

remove __HUGS__ #if's (Hugs uses the standalone version)

Remove the -optP-P from .raw-hs generation
We need the #line directives left in, so that Haddock can figure out
what the name of the original source file was called, which is
necessary for generating source links.  You probably now need an
updated Haddock to generate HTML from the libraries, but a release
will be forthcoming shortly.

Fix the handling of names in declaration brackets

The handling of top-level names in declaration brackets is a bit tricky.
This commit fixes Trac #977;  test is TH_spliceD2.

The changes are commented in RnExpr.rnBracket and RdrName.hideSomeUnquals

urk, the dependencies added in the last commit don't really work properly
first, I got the dependencies wrong (should be the .o file, not the
.hs), and secondly GHC's recompilation checker refuses to recompile
these files anyway.  I haven't done anything about the second problem
yet, except to comment it.

Remove trailing CRs with sed rather than relying on diff in nofib
Some diffs don't understand --strip-trailing-cr.

Documentation for impredicative polymorphism

Comments only

Remove result type signatures from documentation

Fix bug in error message

Result type signatures are no longer supported (partial)

I had failed to remove the bit where result type signatures bind
lexical type variables.  And now we are planning to remove them entirely.

This commit therefore does a partial removal (to avoid destablising 6.6).
It also arranges that
f :: sig = rhs
means a *pattern* binding (not a function binding with no arguments
and a result signature), which makes sense.

Add dependencies on .h files #included into Haskell source
Our .depend machinery doesn't automatically generate these, so we have
to add them manually.  (this fixes one instance of missing
dependencies in the GHC build tree, there are lots more...).

Remove CONSTR_CHARLIKE and CONSTR_INTLIKE closure types
These closure types aren't used/needed, as far as I can tell.  The
commoning up of Chars/Ints happens by comparing info pointers, and
the info table for a dynamic C#/I# is CONSTR_0_1.  The RTS seemed
a little confused about whether CONSTR_CHARLIKE/CONSTR_INTLIKE were
supposed to be static or dynamic closures, too.

document -V in the +RTS --help outpout

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.