Fix build with external gmp library.

ghc fails to build if you use an external gmp library. This is because
ghc requires the header file gmp.h, which used to be provided by the
internal gmp source code.  The file gmp.h is no longer part of the
gmp source code, but is generated as part of the build procedure.
If an external gmp is specified, the internal gmp is not build and the
gmp.h file never gets generated.

Of course, it was a bad idea anyway to use a header file from a potentially
different version of the library.

The patch sets HAVE_LIB_GMP if the gmp library is found during configuration
and conditionalizes including the library header file on it.

Update config.sub and config.guess

Use lookupOrig to find built-in NDP-related names

Implicitly import NDP stuff when vectorising

We add the following declaration to all vectorised modules:

  import qualified <NDP interface module> as :NDP

This allows us to refer to NDP stuff by RdrName later on but does not expose
NDP names to the user's code.

fix typo in ghci.xml

Add bytestring to core-packages

Fix installation (we need to use the right ghc-pkg)

Get closer to GhcCompilerWays=p working
We also now have GhcThreaded rather than GhcNotThreaded.

Add a type sig

Split off packedstring and array packages

Add a containers package

Tweak package build order

bytestring is now in its own package

more cmpFS refactoring

use 'compare' when using the law of trichotomy

use {-# UNPACK #-} !Int rather than explicit Int# (#1405)

Remove a duplicate case

Change standalone deriving syntax and semantics; fixes trac #1481
You now say
    deriving instance Cxt => Head

Properly guard imports because they have to be precise on Windows and Darwin sets __PIC__ automatically

Add explicit imports for RTS-external variables

Improve error message (part of Trac #1606)

Print fewer parens when pretty-printing HsSyn

Print more "..." in long lists of declarations

Build RTS as dynamic library

Introduce new class for external symbols in Linker.c that use __imp__<sym> instead of &<sym>

Make the new functions accessible from the vectorisation monad

Add more NDP functions to PrelNames

PA functions are no longer methods

Vectorise Case on products

Utility functions for accessing parallel array representations

Fix bug in vectorised DataCon worker generation

Use dataConTag in flattened array representation

Add built-in PA dictionary for closures

Modify PA dictionary generation to the new record-based scheme

Change DataCon worker vectorisation to use PA records

Add built-in PA dictionaries for boxed tuples

Trace more vectorisation failures

Move code

Remove dead code

Associate vectorised tycons with their PA dfuns

PA is now an explicit record instead of a typeclass

Implicitly import NDP stuff when vectorising

We add the following declaration to all vectorised modules:

  import qualified <NDP interface module> as :NDP

This allows us to refer to NDP stuff by RdrName later on but does not expose
NDP names to the user's code.

Support for using built-in PA dictionaries for some types

Utility functions for accessing the RdrEnv during vectorisation

Add RdrEnv to vectorisation state

Add utility functions for accessing PA info during vectorisation

Make sure PA dfuns are keyed on the vectorised tycon in VectInfo

Add PA dfuns to VectMonad state

Fix grouping by module in the mi_exports, for indexed data type families

This is a little tricky.  See Note [Original module] in MkIface.

Trim imports

Rename a constructor CmmForeignCall to CmmCallee, and tidy Cmm code

This patch should have no effect; it's mainly comments, layout,
plus this contructor name change.

Tidy up the treatment of newtypes, refactor, and fix Trac #736

I've forgotten the precise details already, but this patch
significantly refactors the way newtypes are handled, fixes
the foreign-export problem Trac #736 (which concerned newtypes),
and gets rid of a bogus unsafeCoerce in the foreign export
desugaring.

Improvd documentation for overlapping instances

Better scoring for loop breakers; fixes simplifier loop in nofib/minimax

See Note [Inline candidates] in OccurAnal.  We were getting a recursive
loop exposed, which led to infinite inlinings.  Doesn't bite much, but
was obviously wrong.

I've change the "scoring order" for loop breakers, which could possibly
have a performance impact on other programs.  A full nofib run exposed
a 0.00% change in allocation in any nofib program, so I don't think it's
likely, but keep an eye out.

Remove dead code

Cabal depends on -package unix when GHC <= 6.2

joinToTargets to emit fixup code even when movement graph contains cycles

First, cycles can only start of with registers and their destination
must involve a register location. This is because memory locations are
allocated exclusively for a virtual register and hence can never cause
a conflict in the assignment, hence need no fixup code. Therefore, we
only have to deal with InReg -> InReg, or InReg -> InReg/InMem
movements.

The strategy is to take the first cycle element, which is guaranteed
to start with a register, spill it to a fresh memory location, compute
the fixup for the rest, and restore from the spill slot to its
destinations. The "rest" will degenerate into an acyclic scc, so we do
not need take care of the empty list case in CyclicScc.
 ***END OF DESCRIPTION***

Place the long patch description above the ***END OF DESCRIPTION*** marker.
The first line of this file will be the patch name.

This patch contains the following changes:

M ./compiler/nativeGen/RegisterAlloc.hs -6 +27

Make SpecConstr specialise for constant arguments again

Consider
  lvl = Just True

  foo :: Maybe Bool -> Int -> Int
  foo (Just True) i = i
  foo _           i = foo lvl i

SpecConstr should specialise foo, but it wasn't doing so (spotted
by Roman).

Reason: lvl's unfolding wasn't in the cloned version of lvl.
Solution: extend the value environment to record top-level bindings too

At the same time I made it work if 'lvl' is a lambda, in which case it
is again worth specialisg.  This meant renaming ConEnv to ValueEnv,
and adding a case for 'LambdaVal'.

(To make specialisation on lambdas work properly, we have to do lambda
lifting as well, but this gets part of the way, and fixes a bug too.)

Comments only: explain why StgConApp is still useful

Add missing case to sizeofPrimRep

Fix Trac #1037

It makes *sense* for a foreign import to have a zero-sized return, thus

  foreign import ccall foo :: Int -> State# RealWorld

but it's not clear that it's useful, and it requires some back-end (a
Hint for void types) to make it go right through. It's not clear that
we really want this facility, so rather than fixing the code
generator, I'm just making the construct illegal for now.

In GHCi, filter instances by what is in scope, not just by what is in scope unqualified

Trac #1581 was doing too much filtering; it even filtered out intances
defined in this very module!  The new rule shows more instances, but
hopefully not to many.

Furthermore I have moved the filtering out of TcRnDriver (where it does
not belong) to InteractiveEval. And I've added a note to the documentation.

Improve pretty-printing of 'foreign' declarations

FIX read030 (error message wibble)

Fix the use of emptyCopyFlags

Removed a dependency on Cabal that caused a build failure when Cabal changed

Add blurb in the user guide re stdout buffering differing between GHC and GHCi

Use emptyRegisterFlags and emptyCopyFlags for reduced fragility
So we will inherit default values for any new flags that get added,
so things should not break if new flags are added.

remove gratuitous usage of Double in favor of Rational

Warning police: eliminate all defaulting within stage1
Defaulting makes compilation of multiple modules more complicated (re: #1405)
Although it was all locally within functions, not because of the module
monomorphism-restriction... but it's better to be clear what's meant, anyway.
I changed some that were defaulting to Integer, to explicit Int, where Int
seemed appropriate rather than Integer.

NOINLINE the global FastString.string_table

comment FastMutInt possibilities

Follow Cabal changes

Add a --supported-languages flag
Print the list of strings that are accepted in a LANGUAGE pragma,
or as a -XFoo flag. (No can be prepended to any of the strings).

Whitespace

Add Distribution.System to compat

Canonicalise flags in error message

Canonicalise the flag format in the user guide

We now need to pass a version to extensionsToGHCFlag

Fix -fallow* flags

Add more of Cabal to compat

Rename Opt_Allow* to Opt_* to match the language names

Rename Opt_TH to Opt_TemplateHaskell to match the language name

Add -fparr deprecated flag, and change -XParr to -XPArr
-fparr did exist before, it just wasn't documented.

Rename Opt_FFI to Opt_ForeignFunctionInterface to match the language name

Remove many of the new flag variants permitted
Now we only allow -XFooBar syntax, not alternate case, hyphens or -f.
There are some deprecated -f flags accordingly.

Add a comment about when maybePrefixMatch can be removed

Typo in a comment

Update the boring file

Catch exceptions on Windows, to stop it popping up dialog boxes
Adaptated from code from Sigbjorn Finne

FIX -ddump-cmm by temporarily disabling the gc_target part (#1582)

mkLiveness: when calculating the size of a parameter, round up not down.
Fixes read002 on x86_64 (and maybe others).  The stg_ap_f_info info
table had the wrong liveness on it, because the float had been treated
as having zero size.

Add PA dfuns to VectInfo

Add a --ignore-failure flag to push-all script

Dump renamer output with -ddump-rn for command-line entry in ghci

Fix Trac #1525

A Name used to have a Parent, but no longer has.  When we want to
print info about data type T and data constructor MkT, the info about
T already describes MkT so we want to discard the latter.  Now that
Names don't have a Parent, we must do that in a different way,
using implicitTyThings

Test is ghci011

Wibbble to last fix to generalisation (again!); fixes Trac #1575

Small error-message change

Vectorise DataCon workers

Include original tycon in PAInstance