Document the compiler --info flag

Improve runghc's argument handling

Add some runghc docs to the users guide

Make runghc warning-free and turn -Wall on in the Makefile

Make the runghc code prettier and fix some warnings

Implement --info, and change how can_split is defined
We now get the value of can_split from the SplitObjs setting in the
build system, rather than working out whether it should be possible
based on the platform.

Make "runghc -f path-to-ghc Main.hs" work

Update user guide bug list
Remove the bug that claims GHC treats source files as ISO-8859-1 rather
than UTF8.

Use the qualified name for catch
Unqualified it's ambiguous with some configurations.

Add some invariants to OrdList
isNilOL is now constant time, rather than possibly having to walk a
tree of Two's. Compiling J.hs from trac #1136 now makes 10302 isNilOL
calls rather than 50050152. It's gone from 10.8% time to being unlisted
(i.e. <= 0.1%).

Fix trac #1565: :r DoesNotExist needs to remove any let-bound values

Fix passing double quotes to GHC on Windows

Make :i (->) work; fixes trac #1587

Remove dupliate "io (revertCAFs)" and discardActiveBreakPoints calls

Add a comment that -Onot is deprecated

Add a GhcDebugged build setting, for whether GHC is linked with -debug

Make ghc-inplace understand -v
If the first arg is -v, make ghc-inplace print out the real GHC path
and extra flags it adds

Don't freeProfiling1 until after calling reportCCSProfiling
Fixes usage of free'd memory

Fix description and type profiling
Consistently make the type and description in the info table an offset
or a pointer, depending on whether tables are next to code or not.

Compute max_era more simply

Document +RTS --info, and make it a Read'able Haskell value

Fix the threaded RTS on Windows
When calling EnterCriticalSection and LeaveCriticalSection from C--
code, we go via wrappers which use ccall (rather than stdcall).

Add newline to end of Hpc.hs

Convert the remaining _scc_s in the GHC source to pragmas

Optimise Digraph.postOrd, used when finding strongly connected components

Replace _scc_'s in the GHC source with SCC pragmas

Add a deprecated warning for _scc_

Make dependencies of source files on Makefiles disableable
Avoids lots of unnecessary recmopilation when you're fiddling with
Makefiles.

Cosmetic changes only

Stop ghc-6.7 linking in ghc-inplace.o

Use a C program for ghc-inplace

Document :stepover in ghci help

Steal the bold trick from :list for :history

Teach :history to show the name of the enclosing declaration
 together with src locs

Purely for convenience and user friendliness

Generalize some code dealing with SrcSpan sorting
and the subspan relation, and move it to the SrcLoc module

A new :stepover command for the debugger

  Step from statement to statement without leaving the block.
  Tries to do the sensible thing when used on expressions.

      The idea is to:
      1 - Step to the next breakpoint and examine the srcloc
      2 - If it is contained in the same statement block as we were,
          then stop and give control to the user,
        else continue to the next breakpoint
      3 - Repeat from 1. If we reach the end of the statement block,
          i.e. no more ticks in this expression after the current one,
          then step normally.

  Replace statement block with 'declaration block' (of an expression) in the
  pseudo algo. above.
  Let's see how well this idea works in practice...

:step does not delete the :history anymore, and now it logs like :trace

Functor instance for the GHCi monad

Fix building GHC with profiling

Fix the build when GMP_INCLUDE_DIRS == ""

Fix build with external gmp library.

ghc fails to build if you use an external gmp library. This is because
ghc requires the header file gmp.h, which used to be provided by the
internal gmp source code.  The file gmp.h is no longer part of the
gmp source code, but is generated as part of the build procedure.
If an external gmp is specified, the internal gmp is not build and the
gmp.h file never gets generated.

Of course, it was a bad idea anyway to use a header file from a potentially
different version of the library.

The patch sets HAVE_LIB_GMP if the gmp library is found during configuration
and conditionalizes including the library header file on it.

Update config.sub and config.guess

Use lookupOrig to find built-in NDP-related names

Implicitly import NDP stuff when vectorising

We add the following declaration to all vectorised modules:

  import qualified <NDP interface module> as :NDP

This allows us to refer to NDP stuff by RdrName later on but does not expose
NDP names to the user's code.

fix typo in ghci.xml

Add bytestring to core-packages

Fix installation (we need to use the right ghc-pkg)

Get closer to GhcCompilerWays=p working
We also now have GhcThreaded rather than GhcNotThreaded.

Add a type sig

Split off packedstring and array packages

Add a containers package

Tweak package build order

bytestring is now in its own package

more cmpFS refactoring

use 'compare' when using the law of trichotomy

use {-# UNPACK #-} !Int rather than explicit Int# (#1405)

Remove a duplicate case

Change standalone deriving syntax and semantics; fixes trac #1481
You now say
    deriving instance Cxt => Head

Properly guard imports because they have to be precise on Windows and Darwin sets __PIC__ automatically

Add explicit imports for RTS-external variables

Improve error message (part of Trac #1606)

Print fewer parens when pretty-printing HsSyn

Print more "..." in long lists of declarations

Build RTS as dynamic library

Introduce new class for external symbols in Linker.c that use __imp__<sym> instead of &<sym>

Make the new functions accessible from the vectorisation monad

Add more NDP functions to PrelNames

PA functions are no longer methods

Vectorise Case on products

Utility functions for accessing parallel array representations

Fix bug in vectorised DataCon worker generation

Use dataConTag in flattened array representation

Add built-in PA dictionary for closures

Modify PA dictionary generation to the new record-based scheme

Change DataCon worker vectorisation to use PA records

Add built-in PA dictionaries for boxed tuples

Trace more vectorisation failures

Move code

Remove dead code

Associate vectorised tycons with their PA dfuns

PA is now an explicit record instead of a typeclass

Implicitly import NDP stuff when vectorising

We add the following declaration to all vectorised modules:

  import qualified <NDP interface module> as :NDP

This allows us to refer to NDP stuff by RdrName later on but does not expose
NDP names to the user's code.

Support for using built-in PA dictionaries for some types

Utility functions for accessing the RdrEnv during vectorisation

Add RdrEnv to vectorisation state

Add utility functions for accessing PA info during vectorisation

Make sure PA dfuns are keyed on the vectorised tycon in VectInfo

Add PA dfuns to VectMonad state

Fix grouping by module in the mi_exports, for indexed data type families

This is a little tricky.  See Note [Original module] in MkIface.

Trim imports

Rename a constructor CmmForeignCall to CmmCallee, and tidy Cmm code

This patch should have no effect; it's mainly comments, layout,
plus this contructor name change.

Tidy up the treatment of newtypes, refactor, and fix Trac #736

I've forgotten the precise details already, but this patch
significantly refactors the way newtypes are handled, fixes
the foreign-export problem Trac #736 (which concerned newtypes),
and gets rid of a bogus unsafeCoerce in the foreign export
desugaring.

Improvd documentation for overlapping instances

Better scoring for loop breakers; fixes simplifier loop in nofib/minimax

See Note [Inline candidates] in OccurAnal.  We were getting a recursive
loop exposed, which led to infinite inlinings.  Doesn't bite much, but
was obviously wrong.

I've change the "scoring order" for loop breakers, which could possibly
have a performance impact on other programs.  A full nofib run exposed
a 0.00% change in allocation in any nofib program, so I don't think it's
likely, but keep an eye out.

Remove dead code

Cabal depends on -package unix when GHC <= 6.2

joinToTargets to emit fixup code even when movement graph contains cycles

First, cycles can only start of with registers and their destination
must involve a register location. This is because memory locations are
allocated exclusively for a virtual register and hence can never cause
a conflict in the assignment, hence need no fixup code. Therefore, we
only have to deal with InReg -> InReg, or InReg -> InReg/InMem
movements.

The strategy is to take the first cycle element, which is guaranteed
to start with a register, spill it to a fresh memory location, compute
the fixup for the rest, and restore from the spill slot to its
destinations. The "rest" will degenerate into an acyclic scc, so we do
not need take care of the empty list case in CyclicScc.
 ***END OF DESCRIPTION***

Place the long patch description above the ***END OF DESCRIPTION*** marker.
The first line of this file will be the patch name.

This patch contains the following changes:

M ./compiler/nativeGen/RegisterAlloc.hs -6 +27

Make SpecConstr specialise for constant arguments again

Consider
  lvl = Just True

  foo :: Maybe Bool -> Int -> Int
  foo (Just True) i = i
  foo _           i = foo lvl i

SpecConstr should specialise foo, but it wasn't doing so (spotted
by Roman).

Reason: lvl's unfolding wasn't in the cloned version of lvl.
Solution: extend the value environment to record top-level bindings too

At the same time I made it work if 'lvl' is a lambda, in which case it
is again worth specialisg.  This meant renaming ConEnv to ValueEnv,
and adding a case for 'LambdaVal'.

(To make specialisation on lambdas work properly, we have to do lambda
lifting as well, but this gets part of the way, and fixes a bug too.)

Comments only: explain why StgConApp is still useful

Add missing case to sizeofPrimRep