Refactoring and tidyup of HscMain and related things (also fix #1666)
While trying to fix #1666 (-Werror aborts too early) I decided to some
tidyup in GHC/DriverPipeline/HscMain.

 - The GhcMonad overloading is gone from DriverPipeline and HscMain
   now.  GhcMonad is now defined in a module of its own, and only
   used in the top-level GHC layer.  DriverPipeline and HscMain
   use the plain IO monad and take HscEnv as an argument.

 - WarnLogMonad is gone.  printExceptionAndWarnings is now called
   printException (the old name is deprecated).  Session no longer
   contains warnings.

 - HscMain has its own little monad that collects warnings, and also
   plumbs HscEnv around.  The idea here is that warnings are collected
   while we're in HscMain, but on exit from HscMain (any function) we
   check for warnings and either print them (via log_action, so IDEs
   can still override the printing), or turn them into an error if
   -Werror is on.

 - GhcApiCallbacks is gone, along with GHC.loadWithLogger.  Thomas
   Schilling told me he wasn't using these, and I don't see a good
   reason to have them.

 - there's a new pure API to the parser (suggestion from Neil Mitchell):
      parser :: String
             -> DynFlags
             -> FilePath
             -> Either ErrorMessages (WarningMessages,
                                      Located (HsModule RdrName))

follow changes in the GHC API

tweaks

comment

Warn (not error) for SPECIALISE pragmas without INLINE

See Note [SPECIALISE pragmas] in TcBinds.  Fixes Trac #444.

fix stage1_libs pseudo-target

Fix #4424.  Allow `-hide-all-packages` to be set dynamically.

Fix whitespace and layout in PrelRules.

Fix for #4318 (Linker failure on OS X 10.6)

This patch fixes two bugs in the Mach-O linker and adds debugging statements
to the same. The bugs:

1. The test for symbol->n_value == 0 is removed and replaced by a test of the
flag field.  Checking the n_value field was just wrong; the value of a
symbol should only be examined when allocating space for a common block,
in which case the n_value field gives the size of the block.  This bug
led to an infrequently occuring linker crash.

I believe the behavior of the linker now agrees with the intent of the
sketchy Apple documentation.

2. Jump islands were being filled with garbage instead of the the location
of the referenced symbol. This caused relocations of type X86_64_RELOC_GOT and
X86_64_RELOC_GOT_LOAD to eventually lead to crashes.  The fix is simply to
look up the symbol.

Enough debug statements have been added to follow the operation of the Mach-O
linker while it loads modules.  They are not yet as informative and well
organized as for ELF.  Improving the debug statements will require some
reorganization of the code -- the Mach-O linker seems basically sound, but
is crying out for some refactoring and commenting.

Use removeDups to find top-level duplicate names
findDupsEq is quadratic, whereas removeDups is n log n.
Fixes T1969 regression.

Remove unnecessary imports

Add NoFoo form to the extensions list that dummy-ghc generates

Fix a long-standing bug the float-out pass

We were failing to float out a binding that could be floated,
because of a confusion in the Lam case of floatExpr.

In investigating this I also discoverd that there is really
no point at all in giving a different level to variables in
a binding group, so I've now given them all the same (in
SetLevels.lvlLamBndrs

The overall difference is quite minor in a nofib run:

        Program           Size    Allocs   Runtime   Elapsed
-------------------------------------------------------------
            Min          +0.0%     -8.5%    -28.4%    -28.7%
            Max          +0.0%     +0.7%     -0.7%     -1.1%
 Geometric Mean          +0.0%     -0.0%    -11.6%    -11.8%

I don't trust those runtimes, but smaller is good!  The 8.5%
improvement in allocation in fulsom, and seems real.  The
0.7% allocation increase only happens in programs with
very small allocation.  I tracked one down to a call of this form

  GHC.IO.Handle.Internals.mkDuplexHandle5
    = \ args -> GHC.IO.Handle.Internals.openTextEncoding1
                  mb_codec ha_type
                  (\mb_encoder mb_decoder -> blah)

With the new floater the argument of openTextEncoding1 becomes

     (let lvl = .. in \mb_encoder mb_decoder -> blah)

And rightly so.  However in fact this argument is a continuation
and hence is called once, so the floating is fruitless.

Roll on one-shot-function analysis (which I know how to do
but fail to get to!).

Comments only

Fix initialisation of strictness in the demand analyser

Previously, the demand analyser assumed that every binder
starts off with no strictness info.  But now that we are
preserving strictness on nesting bindings in interface files,
that assumption is no longer correct, because an inlined function
might have a nested binding with strictness set.

So we need to know when we are in the initial sweep, so that we can
set the strictness to 'bottom'.

See Note [Initialising strictness]

Don't look through SCC in exprIsConApp_maybe

By not taking account of SCC notes we were inadvertently
discarding some, which led to mis-counted entries with -O

Should fix (part of) Trac #4414

Make isIrrefutableHsPat say True for existentials; fixes Trac #4439

At last. A bug that is really easy to fix.

Serialise nested unfoldings across module boundaries

As Roman reported in #4428, nested let-bindings weren't
being recorded with their unfoldings.  Needless to say,
fixing this had more knock-on effects than I expected.

Do not (ever) use substExprSC in the simplifier

"Short-cut" substitution means "do nothing if the substitution
is empty". We *never* want do to that in the simplifier because
even though the substitution is empty, the in-scope set has
useful information:

 * We get up-to-date unfoldings; and that in turn may
   reduce the number of iterations of the simplifier

 * We avoid space leaks, because failing to substitute may
   hang on to old Ids from a previous iteration

(This is what was causing the late inlining of foo in
Trac #4428.)

Use new showMultiLineString to fix Trac #4436

There is an accompanying patch for libraries
    base
    template-haskell

For a non-recursive let, make sure we extend the value environment

This has been wrong for a long time.  Fixes Trac #4431.

instance Outputable IntMap

Make the ffi.h->ffitarget.h dep a proper dep, rather than an order-only dep

libffi: missing dependency on ffitarget.h
dist-install/build/ffi.h should have a dependency on ffitarget.h as *_stub.c requires it during the stage-2 build.

Remove the need to explicitly flatten the dynflags

Follow GHC.Bool/GHC.Types merge

Don't build packages that need TH if we are making a profiling compiler
You can't use TH with a profiling compiler.

OS X uninstaller: Pass create-links its argument

Tweak the OS X installer uninstaller script

Improve the OS X installer
Major changes are:
* Version number now includes full GHC version and arch
* Uninstaller copes with multiple versions

Optimised the representation of Inert Sets to use Maps to get to the relevant inert constraint faster.

Add rebindable syntax for if-then-else

There are two main changes

 * New LANGUAGE option RebindableSyntax, which implies NoImplicitPrelude

 * if-the-else becomes rebindable, with function name "ifThenElse"
   (but case expressions are unaffected)

Thanks to Sam Anklesaria for doing most of the work here

Lint should check for duplicate top-level bindings with same qualified name

This would have produced a more civilised error for Trac #4396

Fix unused import warning on OS X

Switch more uniqFromSupply+splitUniqSupply's to takeUniqFromSupply

Whitespace only

Whitespace only

Whitespace only

Windows installer improvements from Claus
- add link to inno setup docs, so readers don't have to guess what
  ghc.iss might be

- add Task section, and associated most Registry actions with separate
  (sub)tasks, so that file associations, default action, and PATH
  setting can be optional

- copy license file into doc directory

- install icon file again, so that DefaultIcon is no longer a dangling
  pointer (#4352)

- only delete ghc_haskell key if empty (in case there were other tools
  using it)

- add versioned GHCi to right-click menu (to allow for multiple tool installs)

Fix Trac #4396, by localising pattern binders in the desugarer

See Note [Localise pattern binders]

White space only

Add an assertion

Use takeUniqFromSupply in ByteCodeGen

Fix some whitespace

Use takeUniqFromSupply in emitProcWithConvention
We were using the supply's unique, and then passing the same supply to
initUs_, which sounds like a bug waiting to happen.

Use takeUniqFromSupply in IfaceEnv
This is a little nicer than having to explicitly split supplies and
throw half of them away.

Define takeUniqFromSupply

Remove some extraneous whitespace

Add a comment on why some seq's are done

Tidy up RuntimeUnkSkols a bit more

Fix haddock markup

Improve rule checking, to fix panic Trac #4398

Lots of comments with decomposeRuleLhs

Improve the simple expression optimiser so it does simple beta reduction

Template Haskell: add view patterns (Trac #2399)

Tidy-up sweep, following the Great Skolemisation Simplification

Fix haddock markup

Tweak the haddock rules; no functional change

Don't seq unfoldings
We generate intermediate unfoldings which are just thrown away, so
evaluating them is a waste of time.

Avoid hanging on to old unfoldings; fixes #4367 (compiler space regression)

Comments and layout only

Look for sources in Cabal's autogen directory too

Follow Cabal change: Use usedExtensions rather than extensions

fix markup

remove xref to hasktags

Update the documentation on using DLL's from Windows, fixing several errors, in particular those relating to bug 3605

(1) More lenient kind checking, (2) Fixed orientation problems and avoiding double unifications, (3) Comments

Midstream changes to deal with spontaneous solving and flatten skolem equivalence classes

hasktags was dropped in GHC 6.12, remove it from the docs

Refactor, plus fix Trac #4418

We weren't doing fundeps for derived superclasses

Add a comment, connecting the seq to the test (#4367) that shows its usefulness

Define setIdUnfoldingLazily, and use it in Vectorise
Fixes a loop in the compiler, when running the dph tests

Evaluate the results in coreToStgApp

Retab CoreToStg, and remove trailing whitespace

seq the unfolding in setUnfoldingInfo
Contrary to the comment, for the module in #4367 at least, it is a big
improvement. Without it we get a huge spike of drag.

Comments only

Fix debugger

A bit yukky; see Note [Runtime skolems] in TcErrors.
But it works, and the debugger just is yukky in places.

Fix IPRun by fixing the inferred quantification mechanism

Recover after an error in an implication constraint

Reject programs with equality superclasses for now

Layout and tiny refactoring only

Clean up the debugger code

In particular there is much less fiddly skolemisation now
Things are not *quite* right (break001 and 006 still fail),
but they are *much* better than before.

Add new VarEnv functions minusVarEnv, intersectsVarEnv, unionInScope

Major pass through type checker:(1) prioritizing equalities, (2) improved Derived mechanism, (3) bugfixes

(1) Caching FD improvements for efficiency, (2) preventing cascading deriveds from entering the inert, (3) Fixing bugs in the creation of FlexiTcS variables

Midstream changes for performance improvement related to superclasses and functional dependencies.

Minor

Commentary changes

Kind checking bugfix (#4356) and preventing wanteds from rewriting wanteds

Fix a retainer profiling segfault
The bitmap type wasn't big enough to hold large bitmaps on 64 bit
platforms. Profiling GHC was segfaulting when retainStack was handling a
size 33 bitmap.

Fix -auto-all: Add SCCs to IDs which have a monotype too

Define SpecConstrAnnotation in GHC.Exts, and import it from there

Reason: avoid having to link the entire ghc package in modules
that use compile-time annotations:

     import GHC.Exts( SpecConstrAnnotation )
     {-# ANN type T ForceSpecConstr #-}

It's a kind of bug that the package exporting SpecConstrAnnotation
is linked even though it is only needed at compile time, but putting
the data type declaration in GHC.Exts is a simple way to sidestep
the problem

See See Note [SpecConstrAnnotation] in SpecConstr

Fix warnings in AsmCodeGen

LLVM: Fix compilation of writebarrier, #4308

Change how the OS X installer's create-links finds the versin number
It now gets created by configure, rather than trying to work out the
version number at runtime.

Add more quoting to distrib/MacOS/installer-scripts/create-links

change os x installer to allow multiple installed versions
This puts the ghc version into the package name so they are considered separate
packages.

Only put the boot packages in the haddock contents/index
We don't install dph etc, so don't put them in the doc index.

Correct the regexp used to search for extra packages
We weren't ignoring comment lines

New member "archiveMemberName" for struct _ObjectCode

struct _ObjectCode should be able to retain the name of archive members.
Though currently the only use of those names are for debugging outputs.

Add a -fghci-sandbox flag so that we can en/disable the ghci sandbox
It's on by default (which matches the previous behaviour).

Motivation:
GLUT on OS X needs to run on the main thread. If you
try to use it from another thread then you just get a
white rectangle rendered. For this, or anything else
with such restrictions, you can turn the GHCi sandbox off
and things will be run in the main thread.