Fixed warnings in parser/ParserCoreUtils

Fixed warnings in hsSyn/Convert, except for incomplete pattern matches

Fixed warnings in types/Unify

Fixed warnings in ndpFlatten/FlattenInfo

Fixed warnings in vectorise/VectBuiltIn

Fixed warnings in vectorise/VectCore

Fixed warnings in deSugar/DsExpr, except for incomplete pattern matches

Fixed warnings in deSugar/DsGRHSs, except for incomplete pattern matches

Fixed warnings in deSugar/DsListComp, except for incomplete pattern matches

Fixed warnings in deSugar/Check, except for incomplete pattern matches

Fixed warnings in deSugar/Match, except for incomplete pattern matches

Fixed warnings in deSugar/MatchCon, except for incomplete pattern matches

Fixed warnings in deSugar/DsMonad

Wibble the Makefile: DQ, \" and '"'

Don't use -w when compiling Config.hs

Add typesigs to Config.hs

Allow skipping "make clean" or only re-running the testsuite in validate

Mac installer: added support for full docs

Fixed permissions and other cleanup in Mac installer package

Adjust error message (Trac #2079)

Redo inlining patch, plus some tidying up

This adds back in the patch
  * UNDO: Be a little keener to inline

It originally broke the compiler because it tickled a Cmm optimisation bug,
now fixed.

In revisiting this I have also make inlining a bit cleverer, in response to
more examples from Roman. In particular

  * CoreUnfold.CallCtxt is a data type that tells something about
    the context of a call.  The new feature is that if the context is
    the argument position of a function call, we record both
- whether the function (or some higher up function) has rules
- what the argument discount in that position is
    Either of these make functions keener to inline, even if it's
    in a lazy position

  * There was conseqential tidying up on the data type of CallCont.
    In particular I got rid of the now-unused LetRhsFlag

Comments, and a type signature

FIX #2080: an optimisation to remove a widening was wrong

Remove some of the old compat stuff now that we assume GHC 6.4

Allow runghc to take input from stdin, just like Ruby & Python

remove a bogus assertion

Convert more UniqFM's back to LazyUniqFM's
These fix these failures:
   break008(ghci)
   break009(ghci)
   break026(ghci)
   ghci.prog009(ghci)
   ghci025(ghci)
   print007(ghci)
   prog001(ghci)
   prog002(ghci)
   prog003(ghci)
at least some of which have this symptom:
    Exception: expectJust prune

Be a bit more consistent about what's a set and what's a map

Make some more modules use LazyUniqFM instead of UniqFM
If these modules use UniqFM then we get a stack overflow when compiling
modules that use fundeps. I haven't tracked down the actual cause.

Remove unused import

Make UniqFM strict in its elements

Use uniqSetToList rather than eltsUFM

Use isEmptyUniqSet rather than isNullUFM

Added Uninstaller

FIX BUILD on x86_64

matchesPkg: match against the pkg Id (foo-1.0) not just the package name (foo)
Fixes the ghcpkg01 test.

Teach cheapEqExpr about casts

Previously, cheapEqExpr would always return False if it encountered a cast.
This was bad for two reasons. Firstly, CSE (which uses cheapEqExpr to compare
expressions) never eliminated expressions which contained casts and secondly,
it was inconsistent with exprIsBig. This patch fixes this.

Inject implicit bindings before the simplifier (Trac #2070)

With constructor unpacking, it's possible for constructors and record
selectors to have non-trivial code, which should be optimised before
being fed to the code generator.  Example:

  data Foo = Foo { get :: {-# UNPACK #-} !Int }

Then we do not want to get this:
  T2070.get =
    \ (tpl_B1 :: T2070.Foo) ->
    case tpl_B1 of tpl1_B2 { T2070.Foo rb_B4 ->
        let {
          ipv_B3 [Just S] :: GHC.Base.Int
          [Str: DmdType m]
          ipv_B3 = GHC.Base.I# rb_B4
        } in  ipv_B3 }

If this goes through to codegen, we'll generate bad code.  Admittedly,
this only matters when the selector is used in a curried way (e.g
map get xs), but nevertheless it's silly.

This patch injects the implicit bindings in SimplCore, before the
simplifier runs.  That slows the simplifier a little, because it has
to look at some extra bindings; but it's probably a slight effect.
If it turns out to matter I suppose we can always inject them later,
e.g. just before the final simplification.

An unexpected (to me) consequence is that we get some specialisation rules
for class-method selectors.  E.g. we get a rule
RULE  (==) Int dInt = eqInt
There's no harm in this, but not much benefit either, because the
same result will happen when we inline (==) and dInt, but it's perhaps
more direct.

Make do-notation a bit more flexible (Trac #1537)

This is a second attempt to fix #1537: to make the static typechecking
of do-notation behave just like the desugared version of the same thing.
This should allow parameterised monads to work properly (see Oleg's comment
in the above ticket).

We can probably merge to 6.8.3 if it goes smoothly.

Incidentally, the resulting setup suffers from greater type ambiguity
if (>>=) has a very general type.  So test rebindable6 no longer works
(at least not without more type signatures), and rebindable5 requires
extra functional dependencies.  But they are weird tests.

White space only

FIX #2047: Windows (and older Unixes): align info tables to 4 bytes, not 2
Perhaps in the past '.align 2' meant align to 4 bytes, but nowadays it
means align to 2 bytes.  The compacting collector requires info tables
to be aligned to 4 bytes, because it stores tag bits in the low 2
bits.

This only affects -fvia-C - the native code generator was already
emitting the correct alignment.  The incorrect alignment might well
have been adversely affecting performance with -fvia-C on Windows.

Most of installer for framework on system volume

Split into two types of Mac installer specs

Lambda logo for packages
- This image is in the public domain, cf
  http://en.wikipedia.org/wiki/Image:Greek_lc_lamda_thin.svg

xcode build target for fixed /Library/Frameworks inst
- Also moving all MacOS-specific Makefile components into
  distrib/MacOS/Makefile

First stab at an installer package for the Mac
- GHC as a Mac framework
- I tried to make a package where the user could choose whether to install
  in /Library/Frameworks or ~/Library/Frameworks (to allow installation for
  non-admins).  However, that doesn't work well without including the whole
  distribution twice as the decision as to whether the admin password needs
  to be entered is made at packaging time (not at install time).

Support for using libffi to implement FFI calls in GHCi (#631)
This means that an unregisterised build on a platform not directly
supported by GHC can now have full FFI support using libffi.

Also in this commit:

 - use PrimRep rather than CgRep to describe FFI args in the byte
   code generator.  No functional changes, but PrimRep is more correct.

 - change TyCon.sizeofPrimRep to primRepSizeW, which is more useful

Use the correct libffi type for pointers

Fix DEBUG build

Make seqAlts actually seq everything

Strictness tweaks

Whitespace

Whitespace only

Tweak strictness

Fix warnings in deSugar/DsBinds

UNDO: Be a little keener to inline

This patch caused at least the following test failures:
   1744(normal)
   ghci028(ghci)
   unicode001(normal)
and additionally made the stage3 build fail.

A little more validation please!

I didn't find the exact cause of the failure yet, but it appears that
the Lexer is miscompiled in some strange way.  If any of {Encoding,
StringBuffer, or Lexer} are compiled without -O, the problem goes
away.

FIX BUILD with GHC 6.4.x

FIX BUILD with ghc-6.4.x

Some tweaks to the building from source section

Warning clean up

Move spiltDmdTy within module (no change in code)

Fix typo where I forgot the new substitution

Add missing (error) case in isIrrefutablePat

Add missing (error) case in pprConDecl

Fix warnings on non-Windows

Fixed warnings in main/ErrUtils

Fixed warnings in main/HeaderInfo, except for incomplete pattern matches

Fixed warnings in main/DynFlags

Fixed warnings in hsSyn/HsSyn

Fixed warnings in hsSyn/HsUtils

Fixed warnings in hsSyn/HsTypes

Fixed warnings in hsSyn/HsDoc

Fixed warnings in hsSyn/HsLit

Fixed warnings in hsSyn/HsImpExp, except for incomplete pattern matches

Fixed warnings in hsSyn/HsPat, except for incomplete pattern matches

Fixed warnings in hsSyn/HsBinds, except for incomplete pattern matches

Fixed warnings in hsSyn/HsDecls, except for incomplete pattern matches

Fixed warnings in simplCore/CSE

Fixed warnings in profiling/CostCentre, except for incomplete pattern matches

Fixed warnings in types/InstEnv

Fixed warnings in types/FamInstEnv

Fixed warnings in simplStg/SRT, except for incomplete pattern matches

Fixed warnings in simplStg/StgStats, except for incomplete pattern matches

Fixed warnings in simplStg/SimplStg

Fixed warnings in vectorise/VectUtils

Fixed warnings in types/Generics

Fixed warnings in stgSyn/StgSyn

Fixed warnings in types/TyCon

Fixed warnings in types/Type, except for incomplete pattern matches

Fixed warnings in types/TypeRep

Fixed warnings in types/FunDeps

Fixed warnings in basicTypes/OccName

Fixed warnings in basicTypes/RdrName

Fixed warnings in utils/Encoding

Fixed warnings in utils/Digraph

Fixed warnings in basicTypes/Demand

Fixed warnings in basicTypes/Unique

Fixed warnings in coreSyn/ExternalCore

Fixed warnings in simplCore/OccurAnal

Fixed warnings in basicTypes/BasicTypes