FIX #1713: watch out for type families in splitAppTy functions

  MERGE TO STABLE

Catch any exceptions thrown by getEnv; fixes #1704

Make the error message mentioning -XPatternSignatures spell the flag correctly

Give Windows its own definitions of docdir (and htmldir etc)

Include build.mk or validate{,-settings}.mk through custom-settings.mk

Install extra-gcc-opts in bindists

Add validate.mk to .darcs-boring

add support for EM_AMD64 elf machine type, openbsd/amd64 ghci works

patch Linker.c for amd64/openbsd

MERGED: Another attempt at getting bindists working everywhere
Ian Lynagh <igloo@earth.li>**20070916005328] {

Tune coalescing in non-iterative register allocator

If iterative coalescing isn't turned on, then do a single aggressive
coalescing pass for the first build/color cycle and then back off to
conservative coalescing for subseqent passes.

Aggressive coalescing is a cheap way to eliminate lots of the reg-reg
moves, but it can make the graph less colorable - if we turn it on
for every pass then allocation for code with a large amount of register
pressure (ie SHA1) doesn't converge in a sensible number of cycles.

Bugfix to iterative coalescer

Coalescences must be applied to the unsimplified graph in the same order
they were found by the iterative coalescing algorithm - otherwise
the vreg rewrite mapping will be wrong and badness will ensue.

Add -dasm-lint

When -dasm-lint is turned on the register conflict graph is checked for
internal consistency after each build/color pass. Make sure that all
edges point to valid nodes, that nodes are colored differently to their
neighbours, and if the graph is supposed to be colored, that all nodes
actually have a color.

Count CmmTops processed so far in the native code generator
To help with debugging / nicer -ddump-asm-regalloc-stages

Change spill cost function back to inverse length of live range.

On further testing it turns out that using Chaitin's spill cost formula
of counting the number of uses of a var and then dividing by the degree
of the node isn't actually a win. Perhaps because this isn't counting
the number of actual spills inserted in the output code.

This would be worth revisiting if other work manages to increase the
register pressure in the native code.

Replace missing '#' on options pragma

Better cleaning of spills in spill cleaner

Track what slots each basic block reloads from. When cleaning spill
instructions we can use this information to decide whether the slot
spilled to will ever be read from on this path.

added node to push a closure onto the current call context

tightened some dataflow code as part of preparing a talk

added 'filterRegsUsed' to CmmExpr

Writing out .tix file only if you are the original process, not a child.
This lets us gain coverage on programs that use fork, like xmonad.

* To be merged to STABLE *

removing the functions hs_hpc_read and hs_hpc_write inside Hpc.c, they are dead code.

* To be merged to STABLE. *

Clean stage<n>/ghc-inplace.c

Comments only

Loosen the syntax of types slightly

This change allows you to write
f :: (Eq a) => (Ord b) => a -> b -> b
Previously you could only have a forall and context after '->'
but not after '=>' which is strange and inconsistent.

Making the parser a bit more generous didn't change the number
of shift/reduce conflicts.

tc236 tests.

avoid platform dependencies: my_uintptr_t ==> StgWord

FIX: TypeFamilies: should_compile/Simple12
- checkTauTvUpdate now distinguishes between whether
  (1) a type variables occurs only in type family parameters
      (in which case unification is to be deferred)
  (2) other variable occurences
      (which case we fail with a cannot create infinite type message, as before)

Keep valgrind happy when calling timer_create
Fill all of the sigevent structure with zeroes before individual fields are
set. Although not strictly necessary, this keeps tools like valgrind from
complaining about passing uninitialized data, which is a good thing.

MERGE TO STABLE

reloads are now sunk as deep as possible

added instance declarations so we can fold over local registers used in Middle and Last nodes

added monadic mapM_blocks.  the fear, the fear...

fix misspelled constructor

add another way to run in the fuel monad (this is a mess right now)

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