Don't compile Cabal with -cpp -fffi
Instead rely on the sources having suitable pragmas

Remove a typo

Allow -X flags to be deprecated, and deprecate RecordPuns; fixes #2320

Fix a warning in DsForeign

Fix warnings in Linker

Use the right set of linkables in unload_wkr

Use bracket_ rather than bracket in withExtendedLinkEnv

Remove more ifdeffery

Remove more ifdeffery

Remove more ifdeffery

Remove some ifdeffery

Fix some warnings in ParsePkgConf

Fix warnings in DsForeign

Fix warnings in PprCore

Fix warnings in Main

Set -Wall in compiler/Makefile.ghcbin

Use maybePrefixMatch in StaticFlags rather than redefining it ourselves

Use -fforce-recomp rather than -no-recomp

Tweak the deprecated flags warning

Use -O0 rather than -Onot in compiler/Makefile

Don't use -recomp whem compiling GHC, as it's the default (and now deprecated)

Use -fforce-recomp rather than -no-recomp when building genapply

Get -recomp and -no-recomp the right way round

Fix conversions between Double/Float and simple-integer

Use unified diff

Use -O0 rather than the deprecated -Onot

Handle errors in an OPTIONS pragma when preprocessing

Allow flags to be marked as deprecated

eta-reduce a Monad type synonym, so we can use it non-applied

Use a proper datatype, rather than pairs, for flags

Fix warnings in DriverMkDepend

Fix whitespace in DriverMkDepend

Fix the last warnings in DynFlags
We might want to put the values initSysTools finds in their own type,
rather than having them flattened into DynFlags

Pass dynflags down to loadPackageConfig rather than using defaultDynFlags

Make initSysTools use the dflags it is passed, rather than defaultDynFlags

Remove some unused bindings from HaddockLex

Pass dynflags down through to pragState
so we no longer need to use defaultDynFlags there

Whitespace only in DynFlags

Define and use is_decdigit for lexing escapes; fixes trac #2304

Make SysTools warning-free

Remove some CPPery with the help of a new value isWindowsHost in Util
isWindowsHost is True iff mingw32_HOST_OS is defined.

Remove unused FFI import GetTempPathA (getTempPath)

Whitespace only, in SysTools

Get rid of the last remnants of PROJECT_DIR
This disappeared when we stopped being "fptools" and became just "ghc"

Tell the testsuite how many threads we want it to use when validating

Fix warnings in LexCore

Fix warnings in Ctype

Fix warnings in TcPat

Fix warnings in TcEnv

Fix warnings in TcRnTypes

Fix warnings in TcTyClsDecls

Fix warnings in TcHsType

Fix warnings in TcSimplify

Fix warnings in TcRules

Fix warnings in TcInstDcls

Fix warnings in TcMType

Fix warnings in TcForeign

Fix warnings in TcClassDcl

Fix a bug in eqPatType
One of the conditions we were checking was
    t2 `eqPatLType` t2
rather than
    t1 `eqPatLType` t2

Show whether DEBUG is on in ghc --info

Use -fno-toplevel-reorder with gcc >= 4.2 on sparc-solaris; fixes trac #2312

Teach configure about amd64/NetBSD; fixes trac #2348

Enable the mangler for netbsd/amd64; fixes trac #2347

Improve documentation for standalone deriving

Fix Trac #2334: validity checking for type families

When we deal with a family-instance declaration (TcTyClsDecls.tcFamInstDecl)
we must check the TyCon for validity; for example, that a newtype has exactly
one field.  That is done all-at-once for normal declarations, and had been
forgotten altogether for families.

I also refactored the interface to tcFamInstDecl1 slightly.

A slightly separate matter: if there's an error in family instances
(e.g. overlap) we get a confusing error message cascade if we attempt to
deal with 'deriving' clauses too; this patch bales out earlier in that case.

Another slightly separate matter: standalone deriving for family
instances can legitimately have more specific types, just like normal
data decls. For example

   data instance F [a] = ...
   deriving instance (Eq a, Eq b) => Eq (F [(a,b)])

So tcLookupFamInstExact can a bit more forgiving than it was.

Vital follow-up to fix of Trac #2045

Sorry -- my 'validate' didn't work right and I missed a trick.
This patch must accompany

 * Fix Trac #2045: use big-tuple machiney for implication constraints

Fix Trac #2045: use big-tuple machiney for implication constraints

Comments only

Desugar multiple polymorphic bindings more intelligently

Occasionally people write very large recursive groups of definitions.
In general we desugar these to a single definition that binds tuple,
plus lots of tuple selectors.  But that code has quadratic size, which
can be bad.

This patch adds a new case to the desugaring of bindings, for the
situation where there are lots of polymorphic variables, but no
dictionaries.  (Dictionaries force us into the general case.)

See Note [Abstracting over tyvars only].

The extra behaviour can be disabled with the (static) flag

-fno-ds-multi-tyvar

in case we want to experiment with switching it on or off.  There is
essentially-zero effect on the nofib suite though.

I was provoked into doing this by Trac #1136.  In fact I'm not sure
it's the real cause of the problem there, but it's a good idea anyway.

Add non-recursive let-bindings for types

This patch adds to Core the ability to say
let a = Int in <body>
where 'a' is a type variable.  That is: a type-let.
See Note [Type let] in CoreSyn.

* The binding is always non-recursive
* The simplifier immediately eliminates it by substitution

So in effect a type-let is just a delayed substitution.  This is convenient
in a couple of places in the desugarer, one existing (see the call to
CoreTyn.mkTyBind in DsUtils), and one that's in the next upcoming patch.

The first use in the desugarer was previously encoded as
(/\a. <body>) Int
rather that eagerly substituting, but that was horrid because Core Lint
had do "know" that a=Int inside <body> else it would bleat.  Expressing
it directly as a 'let' seems much nicer.

Fix Trac #2339: reify (mkName "X")

Fix Trac #2310: result type signatures are not supported any more

We have not supported "result type signatures" for some time, but
using one in the wrong way caused a crash.  This patch tidies it up.

Sort modules and packages in debug print (reduce test wobbles)

This affects only the debug print TcRnDriver.pprTcGblEnv, and eliminates
test-suite wobbling (affected me for tc168, tc231)

Fix #2334: tyvar binders can have Names inside (equality predicates)

fix pointer tagging bug in removeIndirections (fixes stableptr003)

Fix unreg build

tiny tweak to the stack squeezing heuristic (fixes cg060)

MacOS installer: don't quote XCODE_EXTRA_CONFIGURE_ARGS

MacOS installer: terminate build on intermediate failure

Fix Trac #2331 (error message suggestion)

Improve documentation of RULES

Improve documentation for INLINE pragma

add debugDumpTcRn and use it for some debugging output

Turn "NOTE: Simplifier still going..." message into a WARN()

remove the "expanding to size" messages

New flag: -dno-debug-output
From the docs:
   <para>Suppress any unsolicited debugging output.  When GHC
     has been built with the <literal>DEBUG</literal> option it
     occasionally emits debug output of interest to developers.
     The extra output can confuse the testing framework and
     cause bogus test failures, so this flag is provided to
     turn it off.</para>

-no-link-chk has been a no-op since at least 6.0; remove it

-no-link-chk is a relic

Shorten debug messages

Fix minor layout issue (whitespace only)

MacOS installer: clean up Xcode project spec

Fix validate: -Werror bug in patch "Replacing copyins and copyouts..."

FIX #2231: add missing stack check when applying a PAP
This program makes a PAP with 203 arguments :-)

-fforce-recomp should be unnecessary for Main.hs in stage[23] now

Missing import in C-- parser

Fix a bug to do with recursive modules in one-shot mode
The problem was that when loading interface files in checkOldIface, we
were not passing the If monad the mutable variable for use when
looking up entities in the *current* module, with the result that the
knots wouldn't be tied properly, and some instances of TyCons would
be incorrectly abstract.

This bug has subtle effects: for example, recompiling a module without
making any changes might lead to a slightly different result (noticed
due to the new interface-file fingerprints).  The bug doesn't lead to
any direct failures that we're aware of.

Replacing copyins and copyouts with data-movement instructions

o Moved BlockId stuff to a new file to avoid module recursion
o Defined stack areas for parameter-passing locations and spill slots
o Part way through replacing copy in and copy out nodes
  - added movement instructions for stack pointer
  - added movement instructions for call and return parameters
    (but not with the proper calling conventions)
o Inserting spills and reloads for proc points is now procpoint-aware
  (it was relying on the presence of a CopyIn node as a proxy for
   procpoint knowledge)
o Changed ZipDataflow to expect AGraphs (instead of being polymorphic in
   the type of graph)

disable SAT for now (see #2321)

Add dph packages to build system

PackageMaker target depends on deployment target