add "./sync-all fetch" and "./sync-all new"

./sync-all fetch

  Fetches remote changes from the "origin" for each sub-repo.  Useful
  before "./sync-all new".

  (Runs 'git fetch origin' on all sub-repos.)

./sync-all new

  Lists the new patches relative to "origin" for each sub-repo.
  You probably want to './sync-all fetch' first.

  (Runs 'git log origin..' on all sub-repos)

add a "set-origin" command

Use it like this

  ./sync-all -r http://darcs.haskell.org/ghc-git set-origin

to set the origin branches of all sub-repos to point to the appropriate
repo within the http://darcs.haskell.org/ghc-git tree.

fix 'sync-all pull'

Fix bindisttest in git

Update meta-repo stuff

Introducing a datatype for WorkLists that properly prioritizes equalities.

We were not prioritizing the interaction of equalities in the worklist, because
pre-canonicalization solved the constraints one by one, in their arrival order.
This patch fixes this, so it's a generally useful improvement, mainly for
efficiency. It makes #4981 go away, although it's not a definite answer to the
cause of the problem. See discussion on Trac.

Fix Trac #5048: location on AbsBinds

This patch just puts a better SrcSpan on the AbsBinds
produced by the type checker

Comments and variable naming only

Re-enable assertion now the new type checker is in

(See Trac #3011.)

Add a new static flag -fno-opt-coercion

This just disables the coercion optimiser, mainly for measurements in the paper

New statistics flags -ddump-core-stats

This dumps a (one-line) listing of the size of the Core program,
just after tidying

Windows build fix: ignore pthread.h if it exists (#4989)

Add a debug check for a non-empty FPU stack on x86 (see #4914)

implement double-to-float narrowing in the x86 NCG (#4441)

scheduleThreadOn: use TSO_LOCKED even on the non-threaded RTS

add atexit (#4456)

Turn -vfia-C into a no-op

Remove -fvia-C references from the users guide

Add a tool for checking for problems in the built-in uniques

Renumber TH uniques
This fixes a couple of duplicates that had crept in, and also
renumbers everything so that they are monotonically increasing
through the file.

Whitespace only

fix typo (#5056)

Add a script for library merging

bindist comparison tool: Some logic improvements, and testsuite support

Fix the build on Windows (disable hsc2hs --cross-safe)
The .hsc files aren't currently safe for cross-compilation on Windows:
    libraries\haskeline\.\System\Console\Haskeline\Backend\Win32.hsc:160
    directive "let" is not safe for cross-compilation

Bindist comparison tool: Recognise OS X .dylib files too

Fix #4914 (I hope)

Here's a bit of erroneous code:

00000c5c <s1ad_info>:
     c5c:       8b 45 08                mov    0x8(%ebp),%eax
     c5f:       d9 46 03                flds   0x3(%esi)
     c62:       dd d9                   fstp   %st(1)
     c64:       d9 55 08                fsts   0x8(%ebp)
     c67:       89 c6                   mov    %eax,%esi
     c69:       c7 45 00 24 0c 00 00    movl   $0xc24,0x0(%ebp)
     c70:       f7 c6 03 00 00 00       test   $0x3,%esi
     c76:       75 ac                   jne    c24 <s1ac_info>

So we should be doing some ffrees before the jne.  The code that
inserts the ffrees wasn't expecting to do it for a conditional jump,
because they are usually local, but we have a late optimisation that
shortcuts jumps-to-jumps, and that can result in a non-local
conditional jump.

This at least fixes an instance of the bug that I was able to
reproduce, let's hope there aren't any more.

Ignore comments when inlining.

Fix typo in documentation (Trac #5035)

Split out "Raw Cmm" dump to its own flag -ddump-raw-cmm

Previously, -ddump-cmmz was used to dump out the "Raw Cmm" right
before it gets passed to the backends, as well as all of the
intermediate phases in the new code generator.  Unfortunately,
there are a lot of intermediate phases, which means -ddump-cmmz
takes a very long time with -fnew-codegen for large programs,
even if you're only interested in the final result.

Here we split up -ddump-cmmz into -ddump-cmmz (now exclusively for
the new code generator) and -ddump-raw-cmm (for both code generation
paths.) The old flag was not documented in the manual, so hopefully
not too many people will be surprised by this change.

RednCounts can contain CAFs, so support them in cvtToClosureLbl.

Immediately tag initialization code to prevent untagged spills.

When allocating new objects on the heap, we previously returned
a CmmExpr containing the heap pointer as well as the tag expression,
which would be added to the code graph upon first usage.  Unfortunately,
this meant that untagged heap pointers living in registers might
be spilled to the stack, where they interacted poorly with garbage
collection (we saw this bug specifically with the compacting garbage
collector.)

This fix immediately tags the register containing the heap pointer,
so that unless we have extremely unfriendly spill code, the new pointer
will never be spilled to the stack untagged.

An alternate solution might have been to modify allocDynClosure to
tag the pointer upon the initial register allocation, but not all
invocations of allocDynClosure tag the resulting pointer, and
threading the consequent CgIdInfo for the cases that did would have
been annoying.

Fix Trac #5028: zap occ info when doing the binder swap

This fixes the Lint error, but still risks leaving stupid
let { x=y } bindings in the code.  But no time to fix that
today.  (Leave the ticket open for that reason.)

pruneSparkQueue: handle CAFs

Document new hsc2hs flags, and use the --cross-safe flag when we're compiling
Patch from Brian Bloniarz

bindist checker improvements
* Some refactoring
* Support for Windows filenames
* Some support for installed trees (as Windows "bindists" are really
  install trees)

Rename System.Event to GHC.Event
It's just an internal GHC library, for now at least

Hack to get the compare tool to work on Windows "bindists"

Don't use read_only_relocs on darwin x86-64; fixes #4984

FunctionalDependencies should imply MultiParamTypeClasses

Change how we compute install paths on cygwin
We used to have
    MK_INSTALL_DEST = "$(shell cygpath $1)"
but this meant we ended up with
    "$(shell cygpath "[...]/html/`basename $$i`")"
and the $(...) gets evaluated before the makefile rule, so the for loop
hasn't been run, and so $i isn't defined. So we were taking the basename
of the empty string, meaning docs weren't being installed in the right
place.

Now we have
    MK_INSTALL_DEST = $$(cygpath $1)
so the evaluation happens in the shell, while the for loop is running.

Add unboxedTupleTName to templateHaskellNames

bindist comparison tool: Improve way-difference behaviour

Bindist comparison tool: add --ignore-size-changes flag

Bindist comparison tool: Handle differences in the library ways nicely
In particular, this makes it possible to compare release bindists (with
profiling files) and validate bindists (without them).

Don't put includes/rts/Config.h in bindists twice

Don't put 2 copies of the RTS libraries in the bindists

Make include file paths a little prettier
This isn't important, but it stops us getting [...]/./[...] in the paths
in bindists.

Initial implementation of bindist comparison tool

Stop explicitly asking for 10.5 support on OS X; fixes #5011
XCode 4 doesn't include the 10.5 SDK, so if we explicitly ask for it
then linking fails.

Write the XCode version test differently
Using && causes problems on opensolaris, for an unknown reason.
http://www.haskell.org/pipermail/cvs-ghc/2011-March/060314.html

Consistently use <sect1> etc rather than <section>; fixes #5009
It might be nicer to actually go the other way, and make everything
use <section> instead, but this fixes the incorrect numbering for
now, and we can look into whether <section> has any disadvantages
later.

Drop dead core that was kept alive by RULES in CorePrep (#4962)

Optimise comparisons against min/maxBound (ticket #3744).

This optimises away comparisons with minBound or maxBound
that are always false or always true.

LLVM: Fix #4995, llvm mangler broken for large compiles

Improve the XCode version detection
Amongst other improvements, we now handle 3-component versions
(like "3.1.4") correctly.

Impredicative polymorphism no longer deprecated.

Fix doc formatting

configure: amend sanity check

As we perform some mangling of original --build/--host/--target
params we should check the result of mangling against desired triplet,
not originally passed by user.

Patch also adds mangled triplets to the output.

configure: triplet: accept i486 CPU (and more), more vendors and OSes

Gentoo has interesting ports:

  - freebsd with following triplet:
        ./configure --build=i686-gentoo-freebsd8 --host=i686-gentoo-freebsd8 --host=i686-gentoo-freebsd8
    should be recognized as 'i386-unknown-freebsd'
  - 'pc' vendor along with non-'i386' is very common:
        ./configure --build=i486-pc-linux-gnu --i486-pc-linux-gnu --host=i486-pc-linux-gnu
        ./configure --build=i686-pc-linux-gnu --i686-pc-linux-gnu --host=i686-pc-linux-gnu
    should be recognized as 'i386-unknown-linux'

Patch adds:

  - 'pc' vendor                 (maps to 'unknown')
  - 'gentoo' vendor             (maps to 'unknown')
  - 'i486', 'i586', 'i686' CPUs (maps to 'i386')
  - 'freebsd8' OS               (maps to 'freebsd')

Document -fwarn-missing-import-lists

Also change the behaviour slightly, to warn only for
*unqualified* imports.  See Trac #4977.

Completed the implementation of VECTORISE SCALAR
- The pragma {-# VECTORISE SCALAR foo #-} marks 'foo' as a
  scalar function for for vectorisation and generates a
  vectorised version by applying 'scalar_map' and friends.
- The set of scalar functions is not yet emitted into
  interface files.  This will be added in a subsequent
  patch via 'VectInfo'.

Fix build, and improve ghc-cabal's errors

Whitespace only

Sanity check values that we wrap in single quotes
Make sure they contain no single quotes, leading spaces, or trailing spaces.

Avoid some shell calls in the build system
The DEP_INCLUDE_DIRS and DEP_LIB_DIRS variables always contain
single-quote dirs, so we can use e.g.
    $(subst $(space)',$(space)-L',$(space)$($1_$2_DEP_LIB_DIRS_SINGLE_QUOTED))
to add -L to the front of each dir. I've appended "_SINGLE_QUOTED" to
the variable names so we don't accidentally add bare directories to
them.

Make -fno-enable-rewrite-rules work properly

I'd failed to propagate the Opt_EnableRewriteRules flag properly,
which meant that -fno-enable-rewrite-rules didn't disable all
rewrites.  This patch fixes it.

Comments only

Restore SPECIALISE INSTANCE pragmas

For some reason I'd commented out this code, which
meant that we weren't getting the the goodness of
the SPECIALISE INSTANCE pragamas in GHC.Real. And
that in turn killed performance in nofib 'power'

GHC.Prim.threadStatus# now returns the cap number, and the value of TSO_LOCKED

Improve GHCi line numbers in errors
When running commands from the user (as opposed to from a file), reset
the line number to 1 at the start of each command.

:script file scripts in GHCi #1363
This patch adds the script command in GHCi

A file is read and executed as a series of GHCi commands.

Execution terminates on the first error.  The filename and
line number are included in the error.

Turn off split objects on Darwin if XCode < 3.2 (#4013)

libffi: backport incorrect detection of selinux

This patch unbreaks ghci on GRSEC kernels hardened with
TPE (Trusted Path Execution) protection.

TPE forbids mmap('rwx') files opened for writes:
    fd = open (a_file_in_tmp, O_RDWR);
    mmap (...,               PROT_READ | PROT_WRITE | PROT_EXEC, fd);

while allows anonymous RWX mappings:
    mmap (...MAP_ANONYMOUS , PROT_READ | PROT_WRITE | PROT_EXEC, -1);

Thanks to klondike for finding it out.

The result of a horrible typo.

(unreleased yet) upstream also has the patch:

http://github.com/atgreen/libffi/commit/eaf444eabc4c78703c0f98ac0197b1619c1b1bef

Generate the OS X installer from a bindist, rather than from a source tree

Use -h rather than -soname; fixes dynlibs on Solaris 10; trac #4973

Fix another fundep error (fixes Trac #4969)

If I had a pound for every hour Dimitrios and I have spent
making functional dependencies work right, we'd be rich!

We had stupidly caused a 'wanted' to be rewritten by a 'derived', with
resulting abject failure.  As well as fixing the bug, this patch
refactors some more, adds useful assert and comments.

New codegen: GC calling convention must use registers.

Previously, on register-deficient architectures like x86-32,
the new code generator would emit code for calls to stg_gc_l1,
stg_gc_d1 and stg_gc_f1 that pushed their single argument on
to the stack, while the functions themselves expected the
argument to live in L1, D1 and F1 (respectively).  This was
because cmmCall with the GC calling convention allocated real
registers, not virtual registers.

This patch modifies the code for assigning registers/stack slots
to use the right calling convention for GC and adds an assertion
to ensure it did it properly.

Added a VECTORISE pragma
- Added a pragma {-# VECTORISE var = exp #-} that prevents
  the vectoriser from vectorising the definition of 'var'.
  Instead it uses the binding '$v_var = exp' to vectorise
  'var'.  The vectoriser checks that the Core type of 'exp'
  matches the vectorised Core type of 'var'.  (It would be
  quite complicated to perform that check in the type checker
  as the vectorisation of a type needs the state of the VM
  monad.)
- Added parts of a related VECTORISE SCALAR pragma
- Documented -ddump-vect
- Added -ddump-vt-trace
- Some clean up

Reenable object splitting on Darwin, now #4013 appears to be fixed

Clarify the "object splitting" variable names

Fix #4867 (updated; corrects address calculation)

This is a corrected fix for ticket #4867, "ghci displays negative floats
incorrectly".  The previous patch sometimes gave incorrect offset to values
in the __const section of the __TEXT segment.  The new patch arranges a zero
fixup for non-external, not-global offset table signed relocations.  This
is apparently what is required, though documentation on this point is scarce.

With this change Doubles are negated properly, because the sign bit mask
is loaded from the correct offset.  This was tested both on HEAD and the 7.0
branch.

Scale columns in cost-centre-stack report to their contents

Change typechecker-trace output slightly

Comments only

Fix Trac #4966

This is just a program that exploits overlapping
instances in a delicate way. The fix makes GHC
a bit more friendly towards such programs.

See Note [Overlap and deriving] in TcSimplify

Use "on the spot" solving for fundeps

When we spot an equality arising from a functional dependency,
we now use that equality (a "wanted") to rewrite the work-item
constraint right away.  This avoids two dangers

 Danger 1: If we send the original constraint on down the pipeline
           it may react with an instance declaration, and in delicate
   situations (when a Given overlaps with an instance) that
   may produce new insoluble goals: see Trac #4952

 Danger 2: If we don't rewrite the constraint, it may re-react
           with the same thing later, and produce the same equality
           again --> termination worries.

To achieve this required some refactoring of FunDeps.lhs (nicer
now!).

This patch also contains a couple of unrelated improvements

* A bad bug in TcSMonad.nestImplicTcS whereby the Tcs tyvars
  of an outer implication were not untouchable inside

* Improved logging machinery for the type constraint solver;
  use -ddump-cs-trace (probably with a wider default line width
  -dppr-cols=200 or something)

Increase exprIsDupable threshold a bit

Now that exprIsDupable is less aggressive, test MethSharing wasn't
doing enough inlining.  Increasing the threshold fixes the problem
but the real fix is in Trac #4960.

Ensure exprIsCheap/exprIsExpandable deal with Cast properly

This bug was causing a Lint error on the stable branch. For some
reason it doesn't show up in HEAD, but it's still worth fixing.

The point is that ((f `cast` co) a) is cheap if f has arity>1.
This was being gratuitously missed before.

Do not treat absentError specially

(This was part of an experiment I abandoned.)

Fix exprIsDupable

It turns out that exprIsDupable would return True for an expression of
*arbitrary* size, provide it was a nested bunch of applications in
which no function had more than three arguments.  That was never the
intention, and could give rise to massive code duplication.

This patch makes it much less aggressive.

Better case-of-case transformation

The ThunkSplitting idea in WorkWrap wasn't working at all,
leading to Trac #4957.  The culprit is really the simplifier
which was combining the wrong case continuations. See
Note [Fusing case continuations] in Simplify.

Cleaned up Expr and Vectorise

Fixed two syntax errors

Handling of recursive scalar functions in isScalarLam

Added handling of non-recursive module global functions to isScalar check

Removed minor bug

added handling of data constructors to vectLam

pruneSparkQueue: check for tagged pointers
This was a bug in 6.12.3.  I think the problem no longer occurs due to
the way sparks are treated as weak pointers, but it doesn't hurt to
test for tagged pointers anyway: better to do the test than have a
subtle invariant.