Generate conversion from PRepr to original type

Refactoring

Generate conversion to PRepr during vectorisation

Use NDP's own (:*:) and (:+:)

Utility functions for vectorisation

More refactoring

Refactoring

Add built-ins to vectorisation monad

Refactoring

Vectorise nullary constructors correctly

Rename vectorisation-related stuff

Generate PRepr instances during vectorisation

Use functions from BuildTyCl for vectorisation

Add a couple of built-ins to the vectorisation monad

Get the PA dictionary for closures from the right module

Remove packPA and combinePA from vectorisation built-ins for now

Add NDP-related PrelNames

Print infix function definitions correctly in HsSyn

Trim imports

Add a bindisttest directory
After
    make binary-dist stage=2
you can run make in bindisttest/ to test it

Include package.mk in target.mk, in the bindists's mk/

Build fix: modBreaks -> modBreaks_decls modbreaks

Use unsafeDupableInterleaveIO in UniqSupply
We'll need to change this if we ever use threads in GHC, but for now it
drops mkSplitUniqSupply from 35% time down below 0.1% when compiling
J.hs from #1136.

Link ghc-pkg and hpc with containers if building ghc 6.7 or newer

makeRelativeRefTo checks tablesNextToCode, so we don't have to before using it

Allow redirection of -ddump-* to file
Whilst compiling Main.hs with -ddump-stg, ddump-asm and friends
you can how add -ddump-to-file and you'll get the dumps redirected
to Main.dump-stg, Main.dump-asm etc.

Instrument linear register allocator.

Linear register allocator now keeps track of why it spilled certain
registers. It had to be refactored somewhat to thread the information
through, but the algorithm is unchanged.

NCG debugging cleanup

Add vreg-conflicts and vreg-conflict-lifetimes to drop-asm-stats

Add vreg-population-lifetimes to drop-asm-stats

Add dumping of native code gen stats to file.

Compiling module Foo with -ddrop-asm-stats produces a file
called Foo.dump-asm-stats which will contain increasingly
interesting information.

Refactor dumping of register allocator statistics.

Linker.lhs to prefer DSO when it's build as dynamic library

A partial attempt to improve :stepover

  With this patch, :stepover can effectively appear to step over recursive calls and
  calls to locally bound functions (in a where clause).

  However, when we run out of ticks in the current expression,
  the illusion vanishes and laziness brings us to the body of the last function
  we "stepped over".
  This is not desired at all, it is potentially very confusing.
  As a countermeasure, when this happens :stepover emits a warning

     "Warning: no more breakpoints in this function body, switching to :step"

Better document :stepover and its limitations

:stepover only works lexically locally, in the context of the
current expression. I have tried to make this point clear
in the users guide with an example.

Small rearrangements

Extend ModBreaks with the srcspan's of the enclosing expressions

Doc for new manifest-related flags

FIX #1271: create manifests, and embed them in executables on Windows

We have 4 new flags:

  -fno-gen-manifest
     suppresses creation of foo.exe.manifest

  -fno-embed-manifest
     suppresses embedding of the manifest in the executable

  -pgmwindres
     specify a program to use instead of windres

  -optwindres
     extra options to pass to windres

"windres" is now copied from mingw and included in a binary
distribution.

FIX #1427, #1569: gcc 4.2.x needs -fno-toplevel-reorder
We now have various flags that need to be passed to gcc, but only if
the local gcc version supports them.  So instead of wiring this
knowledge into ghc when it is built, we now put these "extra gcc
flags" into a text file in $libdir, extra-gcc-flags, which is created
by configure.  It is also created by the configure script of a binary
distribution, so a binary dist is independent of the gcc version used
to build it.

Hopefully I got the binary-dist stuff right, but binary dists aren't
currently working so we'll need to come back and check this.

we need to add utils/pwd to a binary distribution

binary-dist: remove comment from the middle of a shell command
This appears to cause trouble in at least some shells

Add R_X86_64_PC64 relocation support to the Linker

Also build gmp shared if neccessary

Add __PIC__ define for -fPIC compiled C code

Remove unused -optdll option.

Link Windows DLLs and OSX dylibs correctly in linkDynLib

Add graph coloring register allocator.

Refactored linear allocator into separate liveness annotation and allocation stages.
Added graph coloring allocator, use -fregs-graph to enable.
  New dump flags are
    -ddump-asm-native          -- output of cmm -> native transform.
    -ddump-asm-liveness        -- code annotated with register liveness info
    -ddump-asm-coalesce        -- output of register move coalescing
                                    (this is a separate pass when using the coloring allocator)
                                    (this could change in the future)
    -ddump-asm-regalloc        -- code after register allocation
    -ddump-asm-regalloc-stages -- blocks after each build/spill stage of coloring allocator
    -ddump-asm-conflicts       -- a global register liveness graph in graphviz format

The new register allocator will allocate some registers, but it's not
quite ready for prime-time yet. The spill code generator needs some work...

Make ghc-inplace return GHC's exitcode on Windows

Remove odd recursive call in the driver/ghci Makefile
I'm not sure why this was here, but it makes ghci.o get built twice on
Windows, which can cause the build to fail if it tries to link it
in the middle.

Fix quoting of double quotes in the Makefile on Windows

Fix ghc-inplace.c on Windows; new code based on ghci.c

FIX part of #1372, improvements to the recompilation checker
This patch adds a check that each imported module is listed in
the dependencies from the previous interface.  It catches the
following cases and forces recompilation:
   - an exposed package has been upgraded
   - we are compiling with different package flags
   - a home module that was shadowing a package module has been removed
   - a new home module has been added that shadows a package module

I haven't yet added the package timestamping as described in #1372.

put CmmReturnInfo into a CmmCall (and related types)

Add a paragraph break

annotate C-- calls that do not return
  * The correct definition of C-- requires that a procedure not
    'fall off the end'.  The 'never returns' annotation tells us
    if a (foreign) call is not going to return.

    Validated!

(short) Documentation for :stepover in the Users Guide

Make :stepover <expr> work like :step

Check for correct number of parameters in type instances

FIX: family instances for infix type constructors
- Fixed test "Infix" in the testsuite, which Roman added

ATs inherit kind annotations from class partameters
- Fixes the test "Kind" in the testsuite, which Roman added

Updated comments

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