Fix bindist creation on Windows

Fix up bindist creation and publishing

Refactor, improve, and document the deriving mechanism

This patch does a fairly major clean-up of the code that implements 'deriving.

* The big changes are in TcDeriv, which is dramatically cleaned up.
  In particular, there is a clear split into
a) inference of instance contexts for deriving clauses
b) generation of the derived code, given a context
  Step (a) is skipped for standalone instance decls, which
  have an explicitly provided context.

* The handling of "taggery", which is cooperative between TcDeriv and
  TcGenDeriv, is cleaned up a lot

* I have added documentation for standalone deriving (which was
  previously wrong).

* The Haskell report is vague on exactly when a deriving clause should
  succeed.  Prodded by Conal I have loosened the rules slightly, thereyb
  making drv015 work again, and documented the rules in the user manual.

I believe this patch validates ok (once I've update the test suite)
and can go into the 6.8 branch.

Further documentation about mdo, suggested by Benjamin Franksen

Refactor MachRegs.trivColorable to do unboxed accumulation

trivColorable was soaking up total 31% time, 41% alloc when
compiling SHA1.lhs with -O2 -fregs-graph on x86.

Refactoring to use unboxed accumulators and walk directly
over the UniqFM holding the set of conflicts reduces this
to 17% time, 6% alloc.

change of representation for GenCmm, GenCmmTop, CmmProc
The type parameter to a C-- procedure now represents a control-flow
graph, not a single instruction.  The newtype ListGraph preserves the
current representation while enabling other representations and a
sensible way of prettyprinting.  Except for a few changes in the
prettyprinter the new compiler binary should be bit-for-bit identical
to the old.

enable and slay warnings in cmm/Cmm.hs

fix warnings

FIX #1650: ".boot modules interact badly with the ghci debugger"

In fact hs-boot files had nothing to do with it: the problem was that
GHCi would forget the breakpoint information for a module that had
been reloaded but not recompiled.  It's amazing that we never noticed
this before.

The ModBreaks were in the ModDetails, which was the wrong place.  When
we avoid recompiling a module, ModDetails is regenerated from ModIface
by typecheckIface, and at that point it has no idea what the ModBreaks
should be, so typecheckIface made it empty.  The right place for the
ModBreaks to go is with the Linkable, which is retained when
compilation is avoided.  So now I've placed the ModBreaks in with the
CompiledByteCode, which also makes it clear that only byte-code
modules have breakpoints.

This fixes break022/break023

Fix boot: it was avoiding autoreconfing
Two problems here: find needs to dereference symbolic links (-L
option, I really hope that's portable), and we need to notice when
aclocal.m4 is updated.

Somehow I think this was easier when it just always ran
autoreconf... what was wrong with that?

don't generate .hi-boot/.o-boot files in GHCi

refactoring only

completion for modules in 'import M'

make the GhcThreaded setting lazy, because GhcUnregisterised might not be set yet

{Enter,Leave}CriticalSection imports should be outside #ifdef __PIC__

warning police

Do conservative coalescing in register allocator

Avoid coalescing nodes in the register conflict graph if the
new node will not be trivially colorable. Also remove the
front end aggressive coalescing pass.

For typical Haskell code the graph coloring allocator now does
about as well as the linear allocator.

For code with a large amount of register pressure it does much
better, but takes longer.

For SHA1.lhs from darcs on x86

          spills    reloads    reg-reg-moves
          inserted   inserted  left in code   compile-time
  linear    1068      1311        229            7.69(s)
  graph      387       902        340           16.12(s)

Use dlsym on OS X if available

On OS X 10.4 and newer, we have to use dlsym because the old NS* interface has
been deprecated. The patch checks for HAVE_DLFCN_H instead of switching on
the OS version.

There is one additional quirk: although OS X prefixes global symbols with an
underscore, dlsym expects its argument NOT to have a leading underscore. As a
hack, we simply strip it off in lookupSymbol. Something a bit more elaborate
might be cleaner.

bug fix in Decomp step of completion algorithm for given equations

fix of wanted equational class context

Previously failed to account for equational
class context for wanted dictionary contraints, e.g. wanted C a
in

class a ~ Int => C a
instance C Int

should give rise to wanted a ~ Int and consequently discharge a ~ Int by
unifying a with Int and then discharge C Int with the instance.

All ancestor equalities are taken into account.

Set datarootdir to the value configure gives us (if any) so datadir works
We then set datarootdir to something else later on so that things still
work when configure doesn't set it.

FIX: Correct Leave/EnterCriticalSection imports

Don't hardwire the build path into the Haddock docs
Formerly, the ghc-pkg was called to get the HTML dirs for other packages, but
of course doing this at *build* time is totally wrong. Now we use a relative
path, just like before. This is probably not perfect, but much better than
before.

As a sidenote: Cabal calls the relevant flag "html-location", ghc-pkg calls the
field "haddock-html", and Haddock itself uses it as part of "read-interface".
Too much creativity is sometimes a bad thing...

put the @N suffix on stdcall foreign calls in .cmm code
This applies to EnterCriticalSection and LeaveCriticalSection in the RTS

Add a -Warn flag

Always turn on -Wall -Werror when compiling the compiler, even for stage 1

Fix CodingStyle#Warnings URLs

OPTIONS_GHC overrides the command-line, not the other way around

fix cut-and-pasto

FIX #1651: unBox types when deferring unification
- This fixes the first part of #1651; ie, the panic in ghci.

Better error message for unsolvable equalities

Use := rather than = when assigning make variables to avoid cycles

Don't use autoconf's datarootdir as <2.60 doesn't have it

Use OPTIONS rather than OPTIONS_GHC for pragmas
Older GHCs can't parse OPTIONS_GHC.
This also changes the URL referenced for the -w options from
WorkingConventions#Warnings to CodingStyle#Warnings for the compiler
modules.

Fix building RTS with gcc 2.*; declare all variables at the top of a block
Patch from Audrey Tang.

fix build (sorry, forgot to push with previous patch)

remove debugging code

NCG space leak avoidance refactor

Do aggressive register coalescing
Conservative and iterative coalescing come next.

Add coalescence edges back to the register graph

FIX #1623: disable the timer signal when the system is idle (threaded RTS only)
Having a timer signal go off regularly is bad for power consumption,
and generally bad practice anyway (it means the app cannot be
completely swapped out, for example).  Fortunately the threaded RTS
already had a way to detect when the system was idle, so that it can
trigger a GC and thereby find deadlocks.  After performing the GC, we
now turn off timer signals, and re-enable them again just before
running any Haskell code.

FIX #1648: rts_mkWord64 was missing
Also noticed a few others from RtsAPI were missing, so I added them all

FIX for #1080

Arrow desugaring now uses a private version of collectPatBinders and
friends, in order to include dictionary bindings from ConPatOut.

It doesn't fix arrowrun004 (#1333), though.

Fix space leak in NCG

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