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

Don't put library tarballs etc in the GHC source tarballs

Don't install haskeline/mtl/terminfo, and hide ghc-binary

Use "rep; nop" inside a spin-lock loop on x86/x86-64
This helps on a hyperthreaded CPU by yielding to the other thread in a
spinlock loop.

No need to use -split-objs with dynamic libraries

Fix some missing unfoldings (foldr in particular!)

The changes I made to the tidier recently introduced a serious
regression: the unfoldings for bindings in a recursive group were
sometimes lost, because we were looking at Id occurrences rather than
Id binders, and the occurrences of recursive Ids do not necessarily
have unfoldings attached.

remove TICK_GC_WORDS_COPIED, the GC stats give us the same thing

Remove long rotted configure support for Windows DLLs

Fix making Windows bindist and installer

Run bindisttest when validating

Follow bindist changes in bindisttest
Also add support for testing the bindistprep tarball, for when we are
validating.

More bindist tweaking

Add a $(MAKE_RESTARTS) check to ghc.mk
This should catch make going into an infinite loop.

Don't use absolute paths unnecessarily when making bindists

Change where bindists are made
We now do all the hard work in a bindistprep subdirectory, and just move
the result to the root directory. This way we can delete anything in
bindistprep/ without worrying about deleting anything important.

emitRetUT: cope with arguments overlapping with results (#3546)

In decodeFloat_Int# we have the C-- code:

    mp_tmp1  = Sp - WDS(1);
    mp_tmp_w = Sp - WDS(2);

    /* arguments: F1 = Float# */
    arg = F1;

    /* Perform the operation */
    foreign "C" __decodeFloat_Int(mp_tmp1 "ptr", mp_tmp_w "ptr", arg) [];

    /* returns: (Int# (mantissa), Int# (exponent)) */
    RET_NN(W_[mp_tmp1], W_[mp_tmp_w]);

Which all looks quite reasonable.  The problem is that RET_NN() might
assign the results to the stack (with an unregisterised back end), and
in this case the arguments to RET_NN() refer to the same stack slots
that will be assigned to.

The code generator should do the right thing here, but it wasn't - it
was assuming that it could assign the results sequentially.  A 1-line
fix to use emitSimultaneously rather than emitStmts (plus comments).

fix cut-and-paste bugs in .cmm -> .hc/.s rules

Add a way to generate tracing events programmatically

added:

 primop  TraceEventOp "traceEvent#" GenPrimOp
   Addr# -> State# s -> State# s
   { Emits an event via the RTS tracing framework.  The contents
     of the event is the zero-terminated byte string passed as the first
     argument.  The event will be emitted either to the .eventlog file,
     or to stderr, depending on the runtime RTS flags. }

and added the required RTS functionality to support it.  Also a bit of
refactoring in the RTS tracing code.

Under utils/ext-core, update README to mention that ext-core is now on Hackage

Update the OS X package build scripts
The docs are no longer built and installed separately.