lay ground for more readable dumping of CmmGraph

add a function to help identify unique predecessors

scrub away remaining MidNop

changes needed to get map_blocks to actually compile :-(

remove an unwanted language extension

drop the old, redundant implementation of postorder_dfs

eliminate the last vestige of UniqSM from ZipCfg

add map_blocks to ZipCfg

get rid of MidNop

get freshBlockId out of ZipCfg and bury it in MkZipCfg where it belongs

Make DESTDIR work again
installPackage is a horror, using --force is probably not the perfect way
to make DESTDIR functionality work again, but given the current state of
affairs, I can't find a quick and clean solution.

MERGE TO STABLE

Resurrect the "lib" subdirectory in the installation tree, it was somehow lost
Having all package directory directly in the toplevel installation directory
would be a bad thing because of potential name clashes, and it wasn't done this
way earlier, so reinstantiate the old layout.

MERGE TO STABLE

Overhaul of the rewrite rules
- Cleaned up and simplified rules
- Added many missing cases
- The rules OccursCheck and swap have been eliminated and integrate with
  the other rules; ie, Subst and Unify perform the occurs check themselves
  and they can deal with left-to-right and right-to-left oriented rewrites.
  This makes the code simpler and more efficient.
- Also added comments.

added foldUFM_Directly, used where appropriate, killed all warnings

(temporarily) check consistency of new postorder DFS no matter what DEBUG is

Wibbles to MkZipCfgCmm stuff

Watch out: I've added MkZipCfg.sequence, which clashes with the
Prelude (like some other names in MkZipCfg.  Maybe you can think
of a better name for it.

make remove_entry_label actually work inside ZipDataflow

export 'entry' from ZipCfg, at least for now

Remove export of remove_entry_label

replace #ifdef DEBUG with debugIsOn in cmm/MkZipCfg

new signatures for splicing functions, new postorder_dfs

tidying cmm/CmmSpillReload.hs

tidying cmm/CmmLiveZ.hs

Unbreak "clean" and "distclean" targets when there is no testsuite

Use sed to make stage-specific ghc-inplace.c's
When trying to do it with -D we were having trouble getting the double
quotes through in all Windows configurations.

Fix copy+paste-o, spotted by Simon Marlow

Add documentation about -shared, shared library name mangling, and a xrefs

distclean: ghcprof-inplace

distclean: <lib>/.depend[.bak]

distclean: extra-gcc-opts, testsuite

fix install-docs for non-html docs

Refer to "boot" libs, not "core" libs

Give darcs-all a -s (silent) flag

warning police

Better calculation of spill costs / selection of spill candidates.

Use Chaitin's formula for calculation of spill costs.
  Cost to spill some vreg = (num writes + num reads) / degree of node

With 2 extra provisos:
  1) Don't spill vregs that live for only 1 instruction.
  2) Always prefer to spill vregs that live for a number of instructions
       more than 10 times the number of vregs in that class.

Proviso 2 is there to help deal with basic blocks containing very long
live ranges - SHA1 has live ranges > 1700 instructions. We don't ever
try to keep these long lived ranges in regs at the expense of others.

Because stack slots are allocated from a global pool, and there is no
slot coalescing yet, without this condition the allocation of SHA1 dosn't
converge fast enough and eventually runs out of stack slots.

Prior to this patch we were just choosing to spill the range with the
longest lifetime, so we didn't bump into this particular problem.

comment wibbles

Bump version number 6.7 -> 6.9

More library installation path fiddling

libsubdir for libraries is now always $$pkgid

Define RelocatableBuild variable
default YES on Windows, NO otherwise.

We need to thread lots more paths through installPackage to make bindists work

Comments only

Comments, and remove export of checkAmbiguity

Define and use PprTyThing.pprTypeForUser

When printing types for the user, the interactive UI often wants to
leave foralls implicit.  But then (as Claus points out) we need to be
careful about name capture. For example with this source program

class C a b where
  op :: forall a. a -> b

we were erroneously displaying the class in GHCi (with suppressed
foralls) thus:

class C a b where
  op :: a -> b

which is utterly wrong.

This patch fixes the problem, removes GHC.dropForAlls (which is dangerous),
and instead supplies PprTyThing.pprTypeForUser, which does the right thing.

Minor refactoring: give an explicit name to the pretty-printing function for TyThing, and use it

Improve documentation for Template Haskell

Better modelling of newtypes in the Term datatype

This helps to get pretty printing right,
nested newtypes were not being shown correctly by :print

GHCi debugger: Added a -fprint-evld-with-show flag

    The flag enables the use of Show instances in :print.
    By default they are not used anymore

Update .darcs-boring

export stopTimer(), we need this in the unix package

move generic graph-colouring code into util
It is needed by cmm/StackColor, and hence is needed even when there is no
native code generator.

remove remaining redundancies from ZipCfgCmmRep
  -- LastBranch no longer takes parameters
  -- LastJump and LastReturn no longer carry CmmActuals;
     instead, those are carried by a CopyOut in the same basic block

Forgot to import Data.List.find

Remove warning flags from individual compiler modules
We now set the flags once and for all in compiler/Makefile.

Give push-all the ability to pull with a --pull flag
OK, so the name is a bit wrong now...

Handle doc-index*.html, not just doc-index.html
haddock sometimes makes doc-index-A.html etc files. Not sure why it
doesn't for me.
Patch from Judah Jacobson.

Fix installation code

Further tweaking of haddock doc installation
On Windows we now always use a path beginning $topdir/ so bindists are
relocatable.

We also now tell "Setup configure" where we are putting the
documentation, and tell installPackage to override as little as
possible.

make in-place has bitrotted, so don't advertise or support it

TAG ghc-6.8 branched 2007-09-03

Fix repeated section name in documentation.

Clean ups for multi-way building of the GHC package

change the zipper representation of calls
This patch combines two changes:
  1. As requested by SimonPJ, the redundancy inherent in having
     LastCall bear actual parameters has been removed.  The actual
     parameters are now carried by a separate CopyOut node.
  2. The internal (to zipper) representation of calls has changed;
     the representation of calling conventions is more orthogonal,
     and there is now no such thing as a 'safe' or 'final' call
     to a CallishMachOp.   This change has affected the interface
     to MkZipCfgCmm, which now provides a static guarantee.  Simon's
     new upstream code will be affected; I've patched the existing
     code in CmmCvt (which becomes ever hairier).

make it easier to have debugging code typechecked even when debugging is turned off

fix a typo!

cleaned up all warnings (and added many type signatures) in Outputable

overlooked ZipCfgExtras for a name change

extra prettyprinting only when debugging

renaming, reorganizing, and better doco for ZipCfg

esacpe backslashes in the filename in the .rc file

Remove --export-all-symbols for DLL linking, it is default and prevents us from using .def files

Call windres with explicit preprocessor path in case gcc is not in $PATH

Weak.c incorrectly claims it's being compiled along RTS Main.c

Sign extension hack to work around PC64 relocation limitation for binutils <2.17 for x86_64.

binutils <2.17 can't generate PC64 relocations for x86_64. Hence we
emit only 32 bit PC relative offsets, and artifically stick a zero in
front of them to make them 64 bit (see PprMach.sh ppr_item in
pprDataItem). This works as long as the offset is <32bit AND it's
positive. This is not the case for offsets in jump tables, they are
all negative. This hack sign extends them with a MOVSXL instruction
into the dead index register, then adding the properly sign extended
offset to the jump table base label giving the correct target address
for the following jump.

foldl1' was added to Data.List in GHC 6.4.x

update .hi-boot-6 to track .lhs-boot

update to track .lhs-boot file

Refactoring & documenting the Term pprinter used by :print

Custom printer for the Term datatype that won't output TypeRep values

The term pretty printer used by :print shouldn't output
the contents of TypeRep values, e.g. inside Dynamic values

Try and rewrite reloads to reg-reg moves in the spill cleaner

Fix type error in MkZipCfg
- Fixes a bug introduced with the patch named
  'check for unreachable code only with -DDEBUG'
- Breakage occured only without -DDEBUG (which is 'valdiate's default!)

scrape some unused barnacles off of ZipCfg and put them into ZipCfgExtras

split the CmmGraph constructor interface from the representation
Interface MkZipCfgCmm should now be sufficient for all construction
needs, though some identifiers are re-exported from (and explained in)
MkZipCfg.  ZipCfgCmmRep should be used only by modules involved in
analysis, optimization, or translation of Cmm programs.

correct two single-identifier bugs that stopped the Adams optimization from working

default ppr method for CmmGraph now tells more about the representation
(Previously, ppr had tried to make the zipper representation look as
much like the ListGraph representation as possible.  This decision was
unhelpful for debugging, so although the old code has been retained,
the new default is to tell it like it is.  It may be possible to
retire PprCmmZ one day, although it may be desirable to retain it as
the internal form becomes less readable.

prettyprint 'hinted' things in a more readable way

check for unreachable code only with -DDEBUG

add a big diagnostic for failures in CmmCvt.toZgraph

Don't try and coalesce nodes with themselves

Try and allocate vregs spilled/reloaded from some slot to the same hreg

Better handling of live range joins via spill slots in spill cleaner

Make sure to coalesce all the nodes found during iterative scanning

Add iterative coalescing to graph coloring allocator

Iterative coalescing interleaves conservative coalesing with the regular
simplify/scan passes. This increases the chance that nodes will be coalesced
as they will have a lower degree than at the beginning of simplify. The end
result is that more register to register moves will be eliminated in the
output code, though the iterative nature of the algorithm makes it slower
compared to non-iterative coloring.

Use -fregs-iterative  for graph coloring allocation with iterative coalescing
    -fregs-graph      for non-iterative coalescing.

The plan is for iterative coalescing to be enabled with -O2 and have a
quicker, non-iterative algorithm otherwise. The time/benefit tradeoff
between iterative and not is still being tuned - optimal graph coloring
is NP-hard, afterall..

Custom printer for the Term datatype that won't output TypeRep values

The term pretty printer used by :print shouldn't output
the contents of TypeRep values, e.g. inside Dynamic values

FIX #1466 (partly), which was causing concprog001(ghci) to fail
An AP_STACK now ensures that there is at least AP_STACK_SPLIM words of
stack headroom available after unpacking the payload.  Continuations
that require more than AP_STACK_SPLIM words of stack must do their own
stack checks instead of aggregating their stack usage into the parent
frame.  I have made this change for the interpreter, but not for
compiled code yet - we should do this in the glorious rewrite of the
code generator.

Fix type signatures

Documentation for -fbreak-on-error

GHCi debugger: new flag -fbreak-on-error

    This flag works like -fbreak-on-exception, but only stops
    on uncaught exceptions.

Remove obsolete -fdebugging flag

A left over from the 1st GHCi debugger prototype

refactoring: eliminate DriverPipeline.CompResult and GHC.upsweep_compile