Document ghc-pkg find-module, substring matching, and multi-field selection

Documentation and examples taken from
- ghc-pkg/Main.hs usageHeader
- patch: FIX 1463 (implement 'ghc-pkg find-module')
- patch: FIX #1839, #1463, by supporting ghc-pkg bulk queries
with substring matching

Improve the treatment of 'seq' (Trac #2273)

Trac #2273 showed a case in which 'seq' didn't cure the space leak
it was supposed to.  This patch does two things to help

a) It removes a now-redundant special case in Simplify, which
   switched off the case-binder-swap in the early stages.  This
   isn't necessary any more because FloatOut has improved since
   the Simplify code was written.  And switching off the binder-swap
   is harmful for seq.

However fix (a) is a bit fragile, so I did (b) too:

b) Desugar 'seq' specially.  See Note [Desugaring seq (2)] in DsUtils
   This isn't very robust either, since it's defeated by abstraction,
   but that's not something GHC can fix; the programmer should use
   a let! instead.

don't rebuild PrimEnv if genprimopcode and/or primops.txt don't exist

This helps if, for example, you want to build the Core tools on a machine that doesn't have a GHC build tree, and have a pre-existing copy of PrimEnv.hs.

Fix a division-by-zero when +RTS -V0 is given
In delayzh_fast we act as if tickInterval was 50, not 0.

Cabalize ext-core tools

I cabalized the ext-core tools, so now they can be built as
a library. The driver program has to be built separately.

Also updated genprimopcode to reflect the new module hierarchy
for the Core tools.

Remove Distribution.Compat.Char from compat again
Cabal now does this differently.

Fix an assertion
We were checking that a pointer was correctly tagged, but after we had
untagged it.

Fix sin/cos/tan on x86; trac #2059
If the value is > 2^63 then we need to work out its value mod 2pi,
and apply the operation to that instead.

FIX #1288: GHCi wasn't adding the @n suffix to stdcalls on Windows

FIX #2276: foreign import stdcall "&foo" doesn't work
This turned out not to be too hard, just a matter of figuring out the
correct argument list size by peeking inside FunPtr's type argument,
and in the C backend we have to emit an appropriate prototype for the label.

Use -fffi when compiling Cabal stuff with the bootstrapping compiler

Use zipLazy from Util in VectType, rather than defining our own lazy_zip

Add a type signature to help GHC 6.4
Needed in lieu of -XRelaxedPolyRec

Rewrite zipLazy to be warning-free for GHC 6.4

Add Distribution.Compat.Char to compat

Add Distribution.Compat.Exception to the compat library

Fix spelling of nonexistEnt

FIX #1641: don't add auto sccs to compiler-generated bindings
I also changed con2tag_Foo and related names to follow the standard
practice of prefixing $ to compiler-generated names, so now we have
$con2tag_Foo.

Fix the Windows build; the new Cabal doesn't like --prefix=/foo

Pull the configure options out into a variable in libraries/Makefile

typo in rules example. spotted by vixey@#haskell

Fixes to via-C prototype generation (FIX BUILD on Windows)

Previously we declared all external labels with type StgWord[],
because the same label might be used at different types in the same
file, e.g. if there are multiple foreign import declarations for the
same function.  However, we have to declare called functions with the
right type on Windows, because this is the only way to make the
compiler add the appropriate '@n' suffix for stdcall functions.

Related to this is the reason we were getting mangler complaints
(epilogue mangling) when compiling the RTS with -fvia-C.  The function
barf() doesn't return, but we had lost that information by declaring
our own prototypes, and so gcc was generating extra code after the
call to barf().

For more details see
http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/PprC

doc tweak

FIX #2234: don't generate <prog>.prof unless we're going to put something in it

FIX #1861: floating-point constants for infinity and NaN in via-C

Tell the mangler how to mangle for amd64/freebsd; fixes trac #2072

Follow distPref changes in Cabal

Follow Cabal changes in ghci/Linker

Follow changes in Cabal

Remove redundant imports from Inst

Fix a warning when DEBUG is not on

Update compat for changes to Cabal

Update ghc-pkg to follow Cabal changes

Make TcGenDeriv warning-free

Make TcMatches warning-free

Make TcHsSyn warning-free

Make TcRnMonad warning-free

Make TcDefaults warning-free

Make TcArrows warning-free

TcSplice is now mostly warning-free
There are some unused things, but I am not sure if the intention is that
they will be used in the future. Names implied they were related to
splicing in patterns and types.

Make Inst warning-free

Add a panic for lookupPred EqPred
It's possible that returning Nothing was the right thing to do here,
but the comment and variable name indicated that it was written for
implicit parameters, so make it a panic for now just in case.

Make FamInst warning-free

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_