GhcThreaded was bogusly off by default due to things being in the wrong order

bump MAX_THUNK_SELECTOR_DEPTH from 8 to 16
this "fixes" #1038, in that the example runs in constant space, but
it's really only working around the problem.  I have a better patch,
attached to ticket #1038, but I'm wary about tinkering with this
notorious bug farm so close to the release, so I'll push it after
6.8.1.

comments only
I had planned to do findEnclosingDecl a different way, so add a ToDo
as a reminder.

Suppress some warnings on Windows

Fix warnings in ghc-pkg on Windows

Fix and supress some warnings, and turn on -Werror when validating

Explicitly set "docdir" when calling make, configure's --docdir seems to be ignored

Use DESTDIR for installation

Fixed TeX syntax

Set -Wall -fno-warn-name-shadowing in compiler/ when stage /= 2

Add {-# OPTIONS_GHC -w #-} and some blurb to all compiler modules

Add a --print-docdir flag

Follow Cabal module movements in installPackage

Follow Cabal's move Distribution.Program -> Distribution.Simple.Program

Don't use the --docdir etc that autoconf provides
Older autoconfs (<2.60?) don't understand them.

Don't try to copy haddock index files if we haven't built the docs.

M ./libraries/Makefile +2

Use cp -R instead of cp -a (it's more portable).

M ./libraries/Makefile -3 +3

Fix installing the libraries when there is no DESTDIR

Make the doc index page obey DESTDIR

Make rts docs obey DESTDIR

Make the manpage obey DESTDIR

Obey DESTDIR when installing library docs

typo in DLL code

Windows: give a better error message when running out of memory
I think this fixes #1209

Previously:

outofmem.exe: getMBlocks: VirtualAlloc MEM_RESERVE 1025 blocks failed: Not enoug
h storage is available to process this command.

Now:

outofmem.exe: out of memory

Remove NDP-related stuff from PrelNames

We don't need fixed Names for NDP built-ins. Instead, we can look them up
ourselves during VM initialisation.

Vectorisation of enumeration types

Number data constructors from 0 when vectorising

Rename functions

Refactoring

Refactoring

Fix vectorisation of nullary data constructors

Do not unnecessarily wrap array components

Remove dead code

Fix vectorisation of unary data constructors

Fix vectorisation of sum type constructors

Track changes to package ndp (use PArray_Int# instead of UArr Int)

Find the correct array type for primitive tycons

Add code for looking up PA methods of primitive TyCons

Delete dead code

Rewrite vectorisation of product DataCon workers

Rewrite generation of PA dictionaries

Complete PA dictionary generation for product types

Simplify generation of PR dictionaries for products

Remove unused vectorisation built-in

Adapt PArray instance generation to new scheme

Add UArr built-in

Modify generation of PR dictionaries for new scheme

Refactoring

Remove dead code

Fix buildFromPRepr

Move code

Move code

Delete dead code

Change buildToPRepr to work with the new representation scheme

Remove Embed and related stuff from vectorisation

Encode generic representation of vectorised TyCons by a data type

Remove dead code

Conversions to/from generic array representation (not finished yet)

Use n-ary sums and products for NDP's generic representation

Originally, we wanted to only use binary ones, at least initially. But this
would a lot of fiddling with selectors when converting to/from generic
array representations. This is both inefficient and hard to implement.
Instead, we will limit the arity of our sums/product representation to, say,
16 (it's 3 at the moment) and initially refuse to vectorise programs for which
this is not sufficient. This allows us to implement everything in the library.
Later, we can implement the necessary splitting.

Fix where all the documentation gets installed
The paths can also now be overridden with the standard configure flags
--docdir=, --htmldir= etc. We were always advertising these, but now we
actually obey them.

Added decidability check for type instances

Warning police

Use a Data.Sequence instead of a list in cvReconstructType

While I was there I removed some trailing white space

Fix a bug in RtClosureInspect.cvReconstructType.
Test is print025

Warning police

UNDO: Extend ModBreaks with the srcspan's of the enclosing expressions

Remnants of :stepover

remove "special Ids" section, replace with a link to GHC.Prim
This documentation was just duplicating what is in GHC.Prim now.

expand docs for unsafeCoerce#, as a result of investigations for #1616

Remove text about ghcprof.  It almost certainly doesn't work.

fix compiling GHC 6.7+ with itself - compat needs -package containers now

fix typo

no -auto-all for CorePrep

improvements to findPtr(), a useful hack for space-leak debugging in gdb

fix up some old text, remove things that aren't true any more

Windows: remove the {Enter,Leave}CricialSection wrappers
The C-- parser was missing the "stdcall" calling convention for
foreign calls, but once added we can call {Enter,Leave}CricialSection
directly.

Wibble

FIX: Remove accidential change to darcs-all in type families patch
- The type families patch includes a change to darcs-all that breaks it for
  ssh repos at least for Perl 5.8.8 (on MacOS).
- My Perl-fu is not sufficient to try to fix the modification, which was
  supposed to improve darcs-all on windows, so I just revert to the old
  code.

Remove INSTALL_INCLUDES; no longer used

Use DESTDIR when installing

Copy LICENSE files into the bindist, as Cabal now installs them

Better handling of join points in spill cleaner

comment wibble

Add count of reg-reg moves remaining for linear allocator stats

Add a count of how many spill/reloads/reg-reg-moves remain to dump-asm-stats

Use INSTALL_HEADERS in includes/ rather than abusing INSTALL_DATAS

Make some header-installing machinery, and use it to install gmp.h

Tidy up the gmp/ Makefile a bit

:stepover ---> :steplocal, :stepmodule

 :stepover is declared a failed experiment.
:steplocal steps only on ticks contained in the current
top level declaration.
:stepmodule steps only on ticks contained on the current
 module.
The current top level declaration and module are with
 respect to the breakpoint we are stopped on.

 The main reason for the failure of :stepover
(apart from lacking a lexical call stack of course)
is that it fails to detect when the expression being
evaluated is "complete", i.e. there are no ticks left in it.
My assumption of the rightmost tick as the "last one",
signaling that the expression is completely evaluated,
is not true at all under laziness.
This assumption was key in the implementation of :stepover.

Use a version of obtainTerm that takes a max depth bound
when printing the contents of binding at a breakpoint

Be more careful when calculating the enclosing top level declaration of a srcspan

Style: remove trailing spaces

Print contents of bindings when stopping at a breakpoint

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.

FIX #1533: foreign exporing the same identifier multiple times gave a link error
We were generating a new top-level binding derived from the name of
the existing top-level name, and making the name external.  Multiple
instances therefore clashed.  The fix is to make each name unique, by
appending an actual Unique to the derived name.

convert to use System.FilePath

Refactoring only: remove [Id] field from ForeignStubs
We used to pass the list of top-level foreign exported bindings to the
code generator so that it could create StablePtrs for them in the
stginit code.  Now we don't use stginit unless profiling, and the
StablePtrs are generated by C functions marked with
attribute((constructor)).  This patch removes various bits associated
with the old way of doing things, which were previously left in place
in case we wanted to switch back, I presume.  Also I refactored
dsForeigns to clean it up a bit.

Type checking for type synonym families

This patch introduces type checking for type families of which associated
type synonyms are a special case. E.g.

        type family Sum n m

        type instance Sum Zero n = n
        type instance Sum (Succ n) m = Succ (Sum n m)

where

        data Zero       -- empty type
        data Succ n     -- empty type

In addition we support equational constraints of the form:

        ty1 ~ ty2

(where ty1 and ty2 are arbitrary tau types) in any context where
type class constraints are already allowed, e.g.

        data Equals a b where
                Equals :: a ~ b => Equals a b

The above two syntactical extensions are disabled by default. Enable
with the -XTypeFamilies flag.

For further documentation about the patch, see:

        * the master plan
          http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions

        * the user-level documentation
          http://haskell.org/haskellwiki/GHC/Indexed_types

The patch is mostly backwards compatible, except for:

        * Some error messages have been changed slightly.

        * Type checking of GADTs now requires a bit more type declarations:
          not only should the type of a GADT case scrutinee be given, but also
          that of any identifiers used in the branches and the return type.

Please report any unexpected behavior and incomprehensible error message
for existing code.

Contributors (code and/or ideas):
        Tom Schrijvers
        Manuel Chakravarty
        Simon Peyton-Jones
        Martin Sulzmann
with special thanks to Roman Leshchinskiy

Fix retainer profiling

On Windows, stage1 also deps on stamp.inplace-gcc-lib