Remove a redundant parameter for mkTupleTy (the arity)

Trivial improvement to mkForAllTy

Wrap gcc on Windows, to provide the -B flags

Add a coercion optimiser, to reduce the size of coercion terms

Coercion terms can get big (see Trac #2859 for example), so this
patch puts the infrastructure in place to optimise them:

  * Adds Coercion.optCoercion :: Coercion -> Coercion

  * Calls optCoercion in Simplify.lhs

The optimiser doesn't work right at the moment, so it is
commented out, but Tom is going to work on it.

Comments only

Add restrictVarEnv :: VarEnv a -> VarSet -> VarEnv a

I needed it, and then didn't need it, so it's not currently
called, but its generally useful kind of thing.

Use braces rather than angle-brackets in debug-printing for Bags

Fix Trac #3591: very tricky specialiser bug

There was a subtle bug in the interation of specialisation and floating,
described in Note [Specialisation of dictionary functions].

The net effect was to create a loop where none existed before; plain wrong.

In fixing it, I did quite a bit of house-cleaning in the specialiser, and
added a lot more comments.  It's tricky, alas.

Fix Trac #3590: a nasty type-checker bug in left/right sections

The bug related to the fact that boxyUnify (now) returns a coercion,
which was simply being ignored.  (TcExpr is clearly not warning-free
wrt the unused-monadic-bind thing!)

Anyway, it's fine now.  I added a test case to the test suite.

MERGE to 6.12 please.

Allow -ticky and -prof together

The two used to be incompatible, but they aren't any longer.

In fact, -ticky should not be a 'way' any more, and doing that
is on Simon M's todo list, but this patch takes us a little
step closer.

I'm not sure this is worth merging to the 6.12 branch.

Escape some $s in makefiles for consistency

Remove readline license info from OS X package
We no longer ship readline

Add a test to the unpulled patches in darcs-all

Explain why we check for LICENSE, not _darcs, in boot

Make a mingw tree from mingw tarballs

Don't build PS/PDF docs when validating
dblatex with miktex under msys/mingw can't build the PS and PDF docs,
and just building the HTML docs is sufficient to check that the
markup is correct, so we turn off PS and PDF doc building when
validating.

Do "set -e" in configure.ac
So if something configure does fails, so does the whole configur script

Stop creating $(INPLACE_LIB)/perl.exe
We now use an msys/mingw perl tarball

Check for failure when running wget

Add tarball syncing to darcs-all
We now use it for libffi and the mingw tarballs

Remove libffi tarball from the repo

Fix a regression introduced in "overlap checking of the black hole queue..."
We weren't checking the black-hole queue in the non-threaded RTS.

Tidy up TcSplice, especially runMeta and friends

I wanted to see the TH syntax produced by a splice, before its conversion
back into HsSyn.  Doing so involved some refactoring.  This only affects
deubbging code (-ddump-tc-trace).

Add flags -fno-specialise, -fno-float-in, and document them

It turned out that we lacked flags to switch off these two passes,
so I added them.

Fix cross-reference

Fix Trac #3600: Template Haskell bug in Convert

This bug was introduced when I added an optimisation, described in
Note [Converting strings] in Convert.lhs.  It was treating *all*
empty lists as strings, not just string-typed ones!

The fix is easy.  Pls MERGE to stable branch.

Tweak to the way per-source-file options are specified

Add some manual dependencies, and -fforce-recomp for Constants and PrimOps
GHC's recompilation checker doesn't take into account #included files,
which is really a bug.  We work around it here by adding dependencies
and using -fforce-recomp in a couple of places.

Fix Trac #959: a long-standing bug in instantiating otherwise-unbound type variables

   DO NOT MERGE TO GHC 6.12 branch
   (Reason: interface file format change.)

The typechecker needs to instantiate otherwise-unconstraint type variables to
an appropriately-kinded constant type, but we didn't have a supply of
arbitrarily-kinded tycons for this purpose.  Now we do.

The details are described in Note [Any types] in TysPrim.  The
fundamental change is that there is a new sort of TyCon, namely
AnyTyCon, defined in TyCon.

Ter's a small change to interface-file binary format, because the new
AnyTyCons have to be serialised.

I tided up the handling of uniques a bit too, so that mkUnique is not
exported, so that we can see all the different name spaces in one module.

Fix several missing dependencies in ifFreeNames

These missing dependencies led to:
  ghc-stage1: panic! (the 'impossible' happened)
  (GHC version 6.13 for x86_64-unknown-linux):
urk! lookup local fingerprint ghc-6.13:CgBindery.CgBindings{tc r4Z}

Simon and I don't quite understand why I've encountered these while
no one else has, but they are certainly bugs, and this patch certainly
fixes them.

Merge to 6.12 branch

Correct comment

Fix Trac #3263: don't print Hpc tick stuff unless -dppr-debug is on

In general, when pretty-printing HsSyn, we omit the extra info added by GHC
(type appplications and abstractions, etc) when printing stuff for the user.
But we weren't applying that guideline to the HsTick stuff for Hpc.  This
patch adds the necessary tests.

Add events to show when GC threads are idle/working

overlap checking of the black hole queue with waiting for GC threads

Fix warnings

Don't hardwire PA and PR dfuns in the vectoriser

Instead, we simply find all available PA and PR instances and get our dfuns
from those.

PA and PR from dph are now type classes

This is a fairly big change to the vectoriser in preparation to Simon's inline
patch.

Fix FFI declaration checks
For GHCi, foreign labels should be allowed, but foreign export should
be disallowed; both were previously wrong.

micro-opt: replace stmGetEnclosingTRec() with a field access
While fixing #3578 I noticed that this function was just a field
access to StgTRecHeader, so I inlined it manually.

Fix #3578: return a dummy result when an STM transaction is aborted
(see comment for details)

Fixes for cross-compiling to a different word size
This patch eliminates a couple of places where we were assuming that
the host word size is the same as the target word size.

Also a little refactoring: Constants now exports the types TargetInt
and TargetWord corresponding to the Int/Word type on the target
platform, and I moved the definitions of tARGET_INT_MAX and friends
from Literal to Constants.

Thanks to Barney Stratford <barney_stratford@fastmail.fm> for helping
track down the problem and fix it.  We now know that GHC can
successfully cross-compile from 32-bit to 64-bit.

Fix #3579: avoid clashing with names of implicit bindings

New flag -dsuppress-coercions to avoid printing coercions in Core dumps

Fix install when various DOC variables are empty

Fix install when INSTALL_LIBEXEC_SCRIPTS = ""

Fix install when INSTALL_LIBEXECS = ""
This is the case on Windows (as we have no shell wrappers), and mingw's
shell doesn't like an empty list of things in a "for" command.

Document that lazy I/O now throws exceptions

findSpark: exit if there's a returning foreign call

The -e flag now has a "SepArg" argument; fixes #3568
This means -e must be separated from its argument by a space.
It therefore doesn't try to parse "-exclude-module" as
"execute xclude-module".

Print warnings after doMkDependHS
We weren't printing any warning for a commandline like
    ghc -M Foo.hs -optdep--exclude-module=Bar -fffi
but the last 2 flags are both deprecated.

remove duplicate entry for -fwarn-unused-do-bind (#3576)

fix markup

Retry pulling from our own spark pool if there was a collision

Install libHSffi_p.a

More README updates

Update the README instructions for getting the source

Only make the Windows installer if ISCC is set
Now that we make bindists during validate, we can't assume that ISCC
is available.

Update the list of happy/alex-generated files put in sdists

Add the include files to bindists

Tweak how bindistprep is created and cleaned

When validating, run the testsuite with the bindisttest compiler

Don't remake the bindist when validating with --testsuite-only

Make ghci work with libraries compiled with -ticky

This is a follow up to the patch tha fixes Trac #3439.
We had forgotten the dynamic linker, which needs to
know all these ticky symbols too.

Make tyConSingleDataCon_maybe more forgiving

This function was barfing on a type family tycon; which in turn
crashed the compiler (when -ticky is in use) because of the use in
CmmTicky.hs.  There's no need for it to reject such tycons, so I just
made it return Nothing rather than falling over.

Mark/compact: use a dynamically-sized mark stack, and don't do linear scan
This improves the performance of the mark/compact and mark/region
collectors, and paves the way for doing mark/region with smaller
region sizes, in the style of Immix.

Make appendToRunQueue EXTERN_INLINE rather than INLINE_HEADER
Fixes compilation with gcc 4.4

Remove FP_MINGW_GCC now that we use an in-tree gcc

Remove the windres configure check, now that we use an in-tree windres

Remove bytestring from the "packages" file
We now use a tarball of it, so we don't want to get it from a darcs repo.

Add flag -XExplicitForAll and document it

This implements the Haskell Prime proposal
  http://hackage.haskell.org/trac/haskell-prime/wiki/ExplicitForall

Flag is -XExplicitForAll

Implied by Opt_RankNTypes, Opt_Rank2Types, Opt_ScopedTypeVariables,
           Opt_LiberalTypeSynonyms, Opt_ExistentialQuantification,
           Opt_PolymorphicComponents

Fix dependencies for the RTS
Evac_thr.c and Scav_thr.c had no dependencies

Packages are only shadowed if the InstalledPackageId is *different*
If the two InstalledPackageIds are the same, then the packages are
interchangeable and we don't need to explicitly remove one of them.

tracing wibble (make -ls work with a -debug RTS)

Make the Windows installer in bindistprep/

Make the unpleasant sed one-liner less unpleasant

Add the new bytestring to the repository

Add a test in darcs-all for old bytestring repositories

Add --supported-languages support to dummy-ghc
We used to call the bootstrapping compiler to get its --supported-languages
but that doesn't work when it doesn't support all the extensions that we
need. In particular, compiling the new bytestring which needs NamedFieldPuns
broken when building with 6.8.2.
There's now a rather ugly sed script to extract the extensions from
DynFlags.hs.

Update bin-package-db's Cabal dep

follow changes in Distribution.Simple.PackageIndex API

remove a TODO now done

Add ".PRECIOUS: %/."
To quiet those warnings from make about not being able to delete
directories.

Comment out some unnecessary makefile rules
Since we started using "| $$$$(dir $$$$@)/." they've started causing
problems for unknown reasons.

Use the standard library versions of elem and notElem
rather than our own copies

Make the bindist AC_INIT line match the main configure script's
This means that PACKAGE_TARNAME gets set, so the default docdir is
correct.

Fix typo in comment

Use "order only constraints" for directories
There are now 104 calls to mkdirhier, down from 1201, when validating.

Use INSTALL_DIR, not MKDIRHIER, when installing

add missing id="ffi-prim"

Replace a checking `is_elem` with a plain `elem`
This one complains sometimes, but there's no good way to improve it.

Fix pretty-printing precedence for equality constraints

Comments only

Document -XMonoLocalBinds

Combine treatment of vanialla/GADT data decls, and fix assert failure

Fix Trac #3540: malformed types

Tidy up the way that predicates are handled inside types

White space only

System.Console.Terminfo isn't available when bootstrapping.

The Windows installer now needs to get its files from bindistprep/

We no longer need to specify the gcc and ld location when validating
on Windows, as they are now in-tree

binary is called "binary", not "ghc-binary", in the HEAD