FIX #1559, #1560.  Rearrange the way we do ifBuildable...
ifBuildable now returns an exit code, with 1 indicating an unbuildable
non-core package, and 0 otherwise.  Hence we can now invoke the
recursive make from the shell, sidestepping the problems in #1559 and
#1560.

* ghc-asm: Finally did away with $* in a way that works with Perl 5.6~5.10+, by appending /m to all regexes.

Use "set -e" in validate, so "sh validate" still has it set

Follow cabal configurations changes

Pointer Tagging

This patch implements pointer tagging as per our ICFP'07 paper "Faster
laziness using dynamic pointer tagging".  It improves performance by
10-15% for most workloads, including GHC itself.

The original patches were by Alexey Rodriguez Yakushev
<mrchebas@gmail.com>, with additions and improvements by me.  I've
re-recorded the development as a single patch.

The basic idea is this: we use the low 2 bits of a pointer to a heap
object (3 bits on a 64-bit architecture) to encode some information
about the object pointed to.  For a constructor, we encode the "tag"
of the constructor (e.g. True vs. False), for a function closure its
arity.  This enables some decisions to be made without dereferencing
the pointer, which speeds up some common operations.  In particular it
enables us to avoid costly indirect jumps in many cases.

More information in the commentary:

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/HaskellExecution/PointerTagging

Fix building the HEAD with itself

Link with hpc even if GhcWithInterpreter is not set

Documentation updates for #1177
We now have a section that describes what hs_exit() does (including
the "wait for foreign calls to return" behaviour), and more
documentation on creating libraries of Haskell code.  I also imported
the section "Beware of DllMain()!" from the haskell.org wiki, with
some minor editing.

Mark PA dictionaries as __inline_me

Add missing coercion

Make sure DEFAULT always comes first in generated PA dictionaries

Fix generation of lengthPA

Modify generation of PA dictionaries to match GHC's usual behaviour

Use the right dictionary when calling lengthPA

Automatically derive PA for vectorised tycons

PA instance generation code (not used yet)

Create exported names in vectorisation monads

Add vectorisation-related OccName derivation scheme

PA dictionary generation

Move code

Generate replicatePA

Generate lengthPA method

Use emptyPA in vectorisation

Add emptyPA to PrelNames

More refactoring

Refactoring

make validate work on Windows
This includes automatically adding --build=i386-unknown-mingw32 and
--with-gcc to ./configure, and disabling -j2 (see #1559).

Also: you can now say

  CPUS=3 ./validate

and the script will pass -jN to make (where N = $CPUS + 1).  In the
future, when we fix #1558, it can pass THREADS=N to the testsuite, too.

FIX #1177, partially at least.
Now we don't wait for outstanding IO requests when shutting down at
program exit time, but we still wait when shutting down a DLL (via
hs_exit()).  There ought to be a better way to do this, but
terminating the threads forcibly is not a good idea (it never is: the
thread might be holding a mutex when it dies, for example).

I plan to add some docs to the user guide to describe how to shut
down a DLL properly.

hs_exit()/shutdownHaskell(): wait for outstanding foreign calls to complete before returning
This is pertinent to #1177.  When shutting down a DLL, we need to be
sure that there are no OS threads that can return to the code that we
are about to unload, and previously the threaded RTS was unsafe in
this respect.

When exiting a standalone program we don't have to be quite so
paranoid: all the code will disappear at the same time as any running
threads.  Happily exiting a program happens via a different path:
shutdownHaskellAndExit().  If we're about to exit(), then there's no
need to wait for foreign calls to complete.

Add unreg/tables-next-code output to +RTS --info

Add a +RTS --info flag print various info; partially fixes trac #1517

FIX #1215: GHC fails to respect the maximal munch rule while lexing "qualified reservedids"

I didn't actually fix this to respect Haskell 98, instead I changed it
to follow the proposal for Haskell':

http://hackage.haskell.org/cgi-bin/haskell-prime/trac.cgi/wiki/QualifiedIdentifiers

Rationale:

  - We didn't respect Haskell 98 with respect to qualified symbols either
  - The Haskell' change makes things much cleaner
  - Obeying the Haskell 98 spec literally has some unintended
    consequences (e.g. M.where must lex as "M.wher" "e")
  - Any programs that compiled before this change and do not compile
    after it were illegal according to Haskell 98 anyway.

FIX #1555: Remove "exp -> pat" production in stmts
It looks like this was an experiment that accidentally got committed,
somewhere between 6.0 and 6.2.

Document the new -X flags in the flag reference

Check for framework failures and unexpected passes in validate

Use CLEANUP=1 when running the testsuite from validate

in hpc-tools, removing the use of %error, to allow happy 1.15 to be used.

hpc-tools: improving flag processing and help messages, small bug fixes.

Hack: copy ld.exe to compiler/gcc-lib so Cabal can find it

Fix the Windows build

When registering base during installation, don't hide GHC.Prim

Create .hi-boot and .o-boot files in --make mode; fixes trac #1322
We were recompiling the .hs-boot files each time, as we were never
writing out the compilation results.

Fix -split-obj on Mac OS via -fasm

The problem of the splitter was that it re-emitted section directives
for every dynamic label found. The following was torn apart

.symbol_stubs
.indirect <symbol>
L_<symbol>$stub:
jmp *...
L_<symbol>$stub_binder:
..somebinding code..

into

.symbol_stubs
.indirect_symbol <symbol>
L_<symbol>$stub:
jmp *...
.symbol_stubs <--- NEW
L_<symbol>$stub_binder:
..somebinding code..

This is incorrect as the Mac OS assembler enforces that every new code
section that goes into .symbol_stubs is associated with the linker
directive .indirect_symbol. This sanity check is obviously violated
when we reemit .symbol_stub in the splitter. The solution is to ignore
everything that ends with $stub_binder as new label, and chuck it into
a single label for $stub.

Also the splitter has to recognize .section __DATA... for the lazy_ptr
indirection symbol. Adds a reminder to PositionIndependentCode.hs to
take care of the splitter when the code generation is changed.

This should not affect -fvia-c as the code generated by the C compiler
is entirely different.

Made the label generation in the Cmm parser more direct

Typo fix in comment

Default tick interval was 50ms, change it to 20ms
I think 50ms was accidental, prior to 6.6 it used to be 20ms

remove unused TICK_FREQUENCY

wakeUpSleepingThreads: fix off by one
The symptom of this bug is after the time of a threadDelay has
expired, the RTS does a whole slew of extra select() calls.
This should help with #1523, but it's not the whole story.

Fixes for the unreg build
* Fix code output order when printing C so things are defined before
  they are used.
* Generate _ret rather than _entry functions for INFO_TABLE_RET.
* Use "ASSIGN_BaseReg" rather than "BaseReg =".

Factor 'callerSaveVolatileRegs' out of the NCG and into CgUtil

This is needed because CgForeign and parts of the CPS pass now use
'callerSaveVolatileRegs' and not all platforms have access to the NCG.

Refactoring

Better names for PArray instance coercions

Add generated PArray instances to instance environments

Nicer names for generated PArray instances

Generate PArray instances of vectorised tycons

Generation of DataCons for implicit PArray instances

Fix two typos

More vectorisation-related OccNames

darcs-all: allow relative path for repo in local fs

Implement the RTS side of GHC.Environment.getFullArgs

Typo

Corrections for warnings in the user guide

Sync the UG entries for -Wall, -w etc with reality

-w should turn off /all/ options, not just the -Wall ones

Implement -fwarn-dodgy-imports
You used to only be able to enable Opt_WarnDodgyImports with -W or -Wall.
This patch adds the flag to en/disable it by name.
(DodgyImports == importing T(..) when only T is exported).

Doc tweaks

Remove note that -E behaviour has changed (6.0 has the same note)

Doc tweaks

User guide tweaks

Doc tweak

Doc tweak

Correct user guide on when .ghci is read

Tweak punctuation in the user guide

ghci command docs tweaks

Fix alphabetical ordering in :? output

Fix alphabetical ordering in user guide

Typo

Remove another instance of the banner from the user guide

In user guide, don't claim that ghci never generates .hi files
With -fobject-code it now can do.

ghci debugger documentation tweaks

Fix typo

ghci doc tweaks

Adding pushing of hpc translation status through hi files.

Now, if a single module *anywhere* on the module tree is built with
-fhpc, the binary will enable reading/writing of <bin>.tix.

Previously, you needed to compile Main to allow coverage to operate.

This changes the file format for .hi files; you will need to recompile every library.

Handle unlifted tycons and tuples correctly during vectorisation

Initialise global vectorisation environment properly

Vectorise type declarations

Vectorisation of data declarations (incomplete)

Add vectorisation environment transformers

Refactor

Remove mapping from tycons to PA dictionaries from vect environment

Add datacons to vectorisation environment

Add fixV

Classification of tycons for vectorisation

Clean up

Move type vectorisation code to a separate module

Pass correct dictionary to lengthPA for single-element environments

Abstract over all in-scope type variables when creating closures

Pass PA dictionaries after all type arguments

This makes the code slightly simpler but only works because we do not support
rank-n types.

Fix bug in lifted environment inspection code

Lifting contexts have type Int#

This tracks the corresponding change in package ndp. With this patch, we
finally can vectorise something (f x = x).