Fix context for fwd_pure_anal to match that of forward_sol

FIX validate: Fix warnings in new literal code

Validate uses -Werror so the warnings broke it.

Vectorise even with -O0

Remove ilxGen; part of trac #2243

Remove javaGen; part of trac #2243

Add a comment about why DsMeta needs the warning kludge

Fix Trac #2246; overhaul handling of overloaded literals

The real work of fixing Trac #2246 is to use shortCutLit in
MatchLit.dsOverLit, so that type information discovered late in the
day by the type checker can still be exploited during desugaring.

However, as usual I found myself doing some refactoring along the
way, to tidy up the handling of overloaded literals.   The main
change is to split HsOverLit into a record, which in turn uses
a sum type for the three variants.  This makes the code significantly
more modular.

data HsOverLit id
  = OverLit {
ol_val :: OverLitVal,
ol_rebindable :: Bool, -- True <=> rebindable syntax
-- False <=> standard syntax
ol_witness :: SyntaxExpr id, -- Note [Overloaded literal witnesses]
ol_type :: PostTcType }

data OverLitVal
  = HsIntegral   !Integer    -- Integer-looking literals;
  | HsFractional !Rational    -- Frac-looking literals
  | HsIsString   !FastString  -- String-looking literals

Fix type signature to work without -XRelaxedPolyRec, and hence earlier GHCs

Eliminate a warning for compiler/basicTypes/OccName.lhs

External Core tools: add note to README about where to find documentation

Some External Core doc fixes

External Core tools: track new syntax for newtypes

Update External Core tools to reflect new syntax for
newtypes. (Notice that the typechecker is 90 lines shorter!)

Also: improve dependency-finding, miscellaneous refactoring.

Improve External Core newtype syntax

I realized that recursive newtypes no longer have to be
distinguished in the External Core AST, because explicit coercions
allow the typechecker to typecheck newtypes without ever
expanding newtypes. So, now all newtypes in External Core have
a representation clause. O frabjous day!

Remove a duplicate module import in BuildTyCl

Make SimplEnv warning-free

Make SimplUtils warning-free

Remove a hack for GHC 3.03 in SimplMonad

Make SimplMonad warning-free

Make LiberateCase warning-free

Make FloatOut warning-free

Make FloatIn warning-free

Make SetLevels warning-free

Make Vectorise warning-free

Remove some dead code from VectType

Make VectType warning-free

Make IfaceEnv warning-free

Make IfaceSyn warning-free

Make IfaceType warning-free

Make BuildTyCl warning-free

Make BinIface warning-free

Make LoadIface warning-free

Make MkIface warning-free

Make TcIface warning-free

Make StgLint warning-free

Make CoreToStg warning-free

Make DsArrows warning-free

Make DsCCall warning-free

Make DsMeta almost warning-free
GHC claims that OccName is unused, but it is wrong.

Make MatchLit warning-free

Add an Outputable EquationInfo instance

Whitespace only (TcInstDcls)

Fix the stage 1 build

Remove unused function mapInScopeSet

Make part of the parser a bit stricter

Fix some space-wasting in the Parser
(fst x, snd x) => x

Make ByteCodeGen warning-free

Tiny code tweak in the definition of io in GhciMonad; no semantic change

Make GhciMonad warning-free

Tiny code recatoring in GhciTags

Make GhciTags warning-free

Make ObjLink warning-free

Remove a hack from a time when ghc couldn't do seq

Make RnExpr warning-free

Make RnEnv warning-free

Fix warnings in RnNames

Make RnBinds warning-free

Change a mappM to mapM_

Make RnPat warning-free

Make RnHsDoc warning-free

Make RnSource warning-free

Make RnHsSyn warning-free

Whitespace only

Vectorise polymorphic let bindings

Improve syntax for primitive coercions in External Core

Add new syntax in External Core for primitive coercions (trans,
sym, etc.) rather than wiring their names into the ext-core
parser.

Fix External Core interpreter

The External Core interpreter works (in a limited sense).
For details, see the README.

This means we now have a marginally functioning set of
External Core tools.

The other exciting change is that the test driver (Driver.hs)
now computes module dependencies automatically instead of
having a wired-in list of library modules.

replace hints with kinds in parser as well

replace Cmm 'hint' with 'kind'
C-- no longer has 'hints'; to guide parameter passing, it
has 'kinds'.  Renamed type constructor, data constructor, and record
fields accordingly

new version of ZipDataflow
This version combines forward/backard into a type class
(actually two classes) of analysis and transformation.
These type classes will always be expanded away at the client,
so SLPJ may wonder why they exist: it is because the interface
to this module is already very broad, and by overloading the functions
for forward and backward problems, we cut the cognitive load on the
clients in half.

minor changes to Cmm left over from September 2007
Nothing too deep here; primarily tinking with prettyprinting
and names.  Also eliminated some warnings.  This patch covers
most (but not all) of the code NR changed at the very end
of September 2007, just before ICFP hit...

Make darcs-all act on all repos in libraries/, not just boot/extra libs

When validating, configure with "--prefix=`pwd`/inst"
This means a validate build can be installed locally.
`pwd`/inst probably won't give a useful value on all platforms (in
particular there are probably some Windows configurations it doesn't
work for), but I don't think it will ever make the build fail.

Improve the unboxed types documentation
Mainly adding descriptions of unboxed literals,

sumP on doubles and int

Fixed vect decl for sumP, enumfromToP

Missing .0 on float constant.

Replace C99 exp2f(32) call in __2Int_encodeDouble
with constant 4294967296.

exp2f is a C99-ism not availabl everywhere. Replace it
with its result. Helps building on OpenBSD>

Use panic rather than error in RegLiveness

Update an error message
error "RegisterAlloc.livenessSCCs" -> error "RegLiveness.livenessSCCs"

Update a panic message
It was (panic "RegisterAlloc.joinToTargets"), but had since moved to
RegAllocLinear.makeRegMovementGraph.

Remove BitSet, FieldLabel, RegisterAlloc from compiler/package.conf.in
The modules no longer exist. Spotted by Marc Weber.

Improve documentation of RULES pragmas

change topHandlerFastExit to topHandler, so the terminal state gets restored (#2228)

don't turn off stdin/stdout buffering after loading a module with ghc -e (#2228)

FIX #1933: use a better test for timer_create()

Fix Trac #1969: perfomance bug in the specialiser

The specialiser was using a rather brain-dead representation for
UsageDetails, with much converting from lists to finite maps and
back.  This patch does some significant refactoring.  It doesn't
change the representation altogether, but it does eliminate the
to-and-fro nonsense.

It validates OK, but it's always possible that I have inadvertently
lost specialisation somewhere, so keep an eye out for any run-time
performance regressions.

Oh, and Specialise is now warning-free too.

Fix Trac #2238: do not use newtype for a class with equality predicates

See Note [Class newtypes and equality predicates] in this module.

Add :list to ghci's :? help; fixes trac #2217

Fix an error if an SCC name contains a space; fixes trac #2071

Fix build on PPC: Add some missing parentheses

Refactor some code a bit, and improve an error
The "magic number mismatch: old/corrupt interface file?" error now tells
us what we got, and what we expected.

Whitespace changes only

Fix the ticky ticky build
Include TickyCounters.h in Stg.h if we are doing Ticky Ticky.

Fix a couple of format strings in Ticky.c

Comment out some unused code in Ticky.c

Spelling fixes in glasgow_exts.xml
Also adds a <para></para> element and replaces an occurance of SGML
with XML...

Vectorisation of: enumFromTo, div, intSqrt

Fix int64ToInteger 0xFFFFFFFF00000000 on 32bit machine; trac #2223
Patch from Mike Gunter.

Add 123## literals for Word#

Whitespace changes only

Added support for vectorising emptyP, squareRoot, combineP