Add "darcs-all upstreampull"
This pulls from the upstream repos, for those packages which have
upstreams

Generate the bit in the user guide where we say what -fglasgow-exts does
Stops the docs going out of sync with the code.

Factor out the packages file parsing in darcs-all

Document --supported-extensions

fix extraction of command stack of arguments of arrow "forms" (fixes #4236)

The command stack was being extracted (by unscramble) with the outermost
type first, contrary to the comment on the function.

minor fix to comment

Add the RTS library path to the library search path
In case the RTS is being explicitly linked in. For #3807.

Remove some duplication of C flags
We now use the CONF_CC_OPTS_STAGEn C flags in machdepCCOpts, rather than
repeating them there.

Set -fno-stack-protector in CONF_CC_OPTS_STAGE* rathre than extra-gcc-opts
The latter is only used when compiling .hc files, whereas we need it for
.c files too.

Give clearer errors for bad input in the packages file; suggested by pejo

Set -march=i686 on OS X x86 in the configure variables
We used to set it only in machdepCCOpts, so this is more consistent

Give each stage its own Config.hs
This also means the file is generated in a dist directory, not a
source directory.

Fix cleaning when GhcProfiled = YES
We need to include the DPH cleaning rules, even though we don't build DPH
when GhcProfiled = YES.

stgReallocBytes(DEBUG): don't fail when the ptr passed in is NULL

Use make-command in rules/bindist.mk
Rather than it having its own specialised version

Use make-command when installing packages

Add _DATA_FILES to package-data.mk files

Add a "make-command" utility Makefile function

LLVM: Nicer format for lack of shared lib warning

fix FP_CHECK_ALIGNMENT for autoconf 2.66 (fixes #4252)

Recent versions of AS_LITERAL_IF don't like *'s.  Fix from

http://blog.gmane.org/gmane.comp.sysutils.autoconf.general/month=20100701

Refactor the command-line argument parsing (again)

This change allows the client of CmdLineParser a bit more flexibility,
by giving him an arbitrary computation (not just a deprecation
message) for each flag.

There are several clients, so there are lots of boilerplate changes.

Immediate motivation: if RTS is not profiled, we want to make
Template Haskell illegal.  That wasn't with the old setup.

Add upstream repo to the packages file

Make the "tag" column of the packages file always present
It makes the parsing simpler if we always have the same number of columns

Disable object splitting on OSX; works around #4013

Return memory to the OS; trac #698

Reduce the xargs -s value we use on Windows
With 30000 I was getting:
    xargs: value for -s option should be < 28153

LLVM: Enable shared lib support on Linux x64

Re-do the arity calculation mechanism again (fix Trac #3959)

After rumination, yet again, on the subject of arity calculation,
I have redone what an ArityType is (it's purely internal to the
CoreArity module), and documented it better.  The result should
fix #3959, and I hope the related #3961, #3983.

There is lots of new documentation: in particular
 * Note [ArityType]
   describes the new datatype for arity info

 * Note [State hack and bottoming functions]
   says how bottoming functions are dealt with, particularly
   covering catch# and Trac #3959

I also found I had to be careful not to eta-expand single-method
class constructors; see Note [Newtype classes and eta expansion].
I think this part could be done better, but it works ok.

Comments only

Modify FloatOut to fix Trac #4237

The problem was that a strict binding was getting floated
out into a letrec. This only happened when profiling was
on.  It exposed a fragility in the floating strategy.  This
patch makes it more robust.  See
      Note [Avoiding unnecessary floating]

Fix egregious bug in SetLevels.notWorthFloating

This bug just led to stupid code, which would
later be optimised away, but better not to generate
stupid code in the first place.

Delete GhcLibProfiled

Simon M and I looked at this, and we think GhcLibProfiled is
(a) not needed (b) confusing.

Ian should review.

Really, if GhcProfiled is on we should also
check that 'p' is in the GhcLibWays

Do not build DPH when GhcProfiled (fixes #4172)

Reason: DPH uses Template Haskell and TH doesn't work
in a profiled compiler

Fix Trac #4220

For deriving Functor, Foldable, Traversable with empty
data cons I just generate a null equation
   f _ = error "urk"

There are probably more lurking (eg Enum) but this will do for now.

Improve the Specialiser, fixing Trac #4203

Simply fixing #4203 is a tiny fix: in case alterantives we should
do dumpUDs *including* the case binder.

But I realised that we can do better and wasted far too much time
implementing the idea.  It's described in
    Note [Floating dictionaries out of cases]

Comments

Comments only

Fix bug in linting of shadowed case-alternative binders

Comments and spacing only

Add more info to more parse error messages (#3811)

Run finalizers *after* updating the stable pointer table (#4221)
Silly bug really, we were running the C finalizers while the StablePtr
table was still in a partially-updated state during GC, but finalizers
are allowed to call freeStablePtr() (via hs_free_fun_ptr(), for
example), and chaos ensues.

Do the dependency-omitting for 'make 1' in a slightly different way

I encountered a couple of things that broke after Ian's previous
patch: one was my nightly build scripts that use 'make stage=2' at the
top level, and the other is 'make fast' in libraries/base, which uses
'stage=0' to avoid building any compilers.

So my version of this patch is more direct: it just turns off the
appropriate dependencies using a variable set by 'make 1', 'make 2',
etc.

Integrate new I/O manager, with signal support

Add DoAndIfThenElse support

Make another parse error more informative

Make a parse error say what it is failing to parse; part of #3811

Send ghc progress output to stdout; fixes #3636

Fix the HsColour test in the build system

Fix the -lm configure test; fixes #4155

Don't restrict filenames in line pragmas to printable characters; fixes #4207
"printable" is ASCII-only, whereas in other locales we can get things like
# 1 "<línea-de-orden>"

Ensure extension flags are flattened in the Cmm phase
If we start with a .cmmcpp file then they don't get flattened in
the CmmCpp phase, as we don't run that phase.

Add "cmmcpp" as a Haskellish source suffix

On amd64/OSX we don't need to be given memory in the first 31bits
as PIC is always on

NCG: Don't worry about trying to re-freeze missing coalescences

Make -rtsopts more flexible
The default is a new "some" state, which allows only known-safe flags
that we want on by default. Currently this is only "--info".

Test for (fd < 0) before trying to FD_SET it

Remove "On by default" comments in DynFlags
These make less sense now we support multiple languges. The
"languageExtensions" function gives the defaults.

Fix build: Add newline to end of ghc-pkg/Main.hs

Add a versions haddock binary for Windows

ghc-pkg: don't fail, if a file is already removed

Remove push-all from file list in boot script (push-all no longer exists)

Add error checking to boot-pkgs script

Add more error checking to the boot script

Remove libHSrtsmain.a before creating it
Otherwise it isn't updated properly if rts/Main.c changes

Expose the functions haddock needs even when haddock is disabled; #3558

Always haddock by default
Revert this patch:
    Matthias Kilian <kili@outback.escape.de>**20090920181319
    Don't build haddock if HADDOC_DOCS = NO, and disable HADDOC_DOCS
        if GhcWithInterpreter = NO
    Haddock uses TcRnDriver.tcRnGetInfo, which is only available if
    GHCI is built. Set HADDOC_DOCS to NO if GhcWithInterpreter is NO,
    and disable the haddock build if HADDOC_DOCS = NO.

Add a debugTrace for the phases that we run

* Add StringPrimL as a constructor for Template Haskell (Trac #4168)

There are already constructors for IntPrim, FloatPrim etc,
so this makes it more uniform.

There's a corresponding patch for the TH library

Add thread affinity support for FreeBSD
- Implement missing functions for setting thread affinity and getting real
  number of processors.
- It is available starting from 7.1-RELEASE, which includes a native support
  for managing CPU sets.
- Add __BSD_VISIBLE, since it is required for certain types to be visible in
  addition to POSIX & C99.

Disable symbol visibility pragmas for FreeBSD
Do not use GCC pragmas for controlling visibility, because it causes
"undefined reference" errors at link-time.  The true reasons are
unknown, however FreeBSD 8.x includes GCC 4.2.1 in the base system,
which might be buggy.

Fix numeric escape sequences parsing
This fixes trac bug #1344

Explicitly give the right path to perl when making the OS X installer; #4183

Set -fno-stack-protector in extra-gcc-opts; fixes #4206
We were using it only when building the RTS, and only on certain
platforms. However, some versions of OS X need the flag, while others
don't support it, so we now test for it properly.

Make PersistentLinkerState fields strict; fixes #4208
We modify fields a lot, so we retain the old value if they aren't forced.

Don't rebuild dependency files unnecessarily when doing "make 1" etc

LLVM: If user specifies optlo, don't use '-O' levels

Flatten flags for ghci's :show

Add support for Haskell98 and Haskell2010 "languages"

Rename "language" varibles etc to "extension", and add --supported-extensions

Separate language option handling into 2 phases
We now first collect the option instructions (from the commandline,
from pragmas in source files, etc), and then later flatten them into
the list of enabled options. This will enable us to use different
standards (H98, H2010, etc) as a base upon which to apply the
instructions, when we don't know what the base will be when we start
collecting instructions.

Separate the language flags from the other DynFlag's

Set stage-specific CC/LD opts in the bindist configure.ac

Use different CC/LD options for different stages

Add some error belchs to the linker, when we find bad magic numbers

Add some more linker debugging prints

When (un)loading an object fails, say which object in teh panic

Add a release note: GHCi import syntax

Deprecate NewQualifiedOperators extension (rejected by H')

LLVM: Allow optlc and optlo to override default params for these systools

LLVM: Code and speed improvement to dominateAllocs pass.

Comments only

Fix inlining for default methods

This was discombobulated by a patch a week ago;
now fixed, quite straightforwardly.  See
Note [Default methods and instances]

Allow reification of existentials and GADTs

It turns out that TH.Syntax is rich enough to express even GADTs,
provided we express them in equality-predicate form.  So for
example

  data T a where
     MkT1 :: a -> T [a]
     MkT2 :: T Int

will appear in TH syntax like this

  data T a = forall b. (a ~ [b]) => MkT1 b
           | (a ~ Int) => MkT2

While I was at it I also improved the reification of types,
so that we use TH.TupleT and TH.ListT when we can.

add numSparks# primop (#4167)

LLVM: Decrease max opt level used under OSX to avoid bug

Currently, many programs compiled with GHC at -O2 and LLVM
set to -O3 will segfault (only under OSX). Until this issue
is fixed I have simply 'solved' the segfault by lowering
the max opt level for LLVM used to -O2 under OSX.

All these recent changes to OSX should mean its finally as
stable as Linux and Windows.

LLVM: Fix OSX to work again with TNTC disabled.

LLVM: Fix printing of local vars so LLVM works with -fnew-codegen

Use a separate mutex to protect all_tasks, avoiding a lock-order-reversal
In GHC 6.12.x I found a rare deadlock caused by this
lock-order-reversal:

AQ cap->lock
  startWorkerTask
    newTask
      AQ sched_mutex

scheduleCheckBlackHoles
  AQ sched_mutex
   unblockOne_
    wakeupThreadOnCapabilty
      AQ cap->lock

so sched_mutex and cap->lock are taken in a different order in two
places.

This doesn't happen in the HEAD because we don't have
scheduleCheckBlackHoles, but I thought it would be prudent to make
this less likely to happen in the future by using a different mutex in
newTask.  We can clearly see that the all_tasks mutex cannot be
involved in a deadlock, becasue we never call anything else while
holding it.

'make fast' in a package does not build any compilers

LLVM: Fix up botched last commit