Fix bug in DPH docs

Add short DPH section to users guide

MERGE TO 6.10

Users Guide: added type family documentation

  MERGE TO 6.10

Track changes to package dph

MERGE TO 6.10

Build a profiled GHC API by default if p is in GhcLibWays

Check whether mk/validate.mk defines anything after validating

Remove #define _BSD_SOURCE from Stg.h
It's no longer needed, as base no longer #includes it

Make ghctags compile again.

Revert AutoLinkPackages change for dynamic libraries. Cabal handles that now.

Change suffix for dyn. linked executables from _real to .dyn

Add accessors to 'Target' fields and haddockify.

MERGE TO 6.10

Make 'gblock' and 'gunblock' part of 'ExceptionMonad'.  This way the
default implementations of 'gbracket' and 'gfinally' just work.

MERGE TO 6.10

Add Word8 support to vectoriser

MERGE TO 6.10

Fix generating OS X installers: Set COMMAND_MODE=unix2003
If we don't specify COMMAND_MODE=unix2003 then xcodebuild defaults
to setting it to legacy, which means that ar builds archives
without a table of contents. That makes the build fail later on.

We need to set datadir = $(libdir) in bindists
We already do in the normal Makefiles.

This is because GHC needs package.conf and unlit to be in the same place
(and things like ghc-pkg need to agree on where package.conf is, so we
just set it globally).

prep-bin-dist-mingw complains if it finds a bad version of windres

removed Data.Generics.Basics, added Data.Data

Fix a build problem with GHC 6.4.2

No AutoLinkPackages for dynamic library linking

use ghcError for error in command line

Fix warnings

Always use extensible exceptions in ghc-pkg, rather than using ifdefs

Use a proper exception for IOEnvFailure, not just a UserError

Use an extensible-exceptions package when bootstrapping
Ifdefs for whether we had extensible exceptions or not were spreading
through GHC's source, and things would only have got worse for the next
2-3 years, so instead we now use an implementation of extensible
exceptions built on top of the old exception type.

Expunge ThFake, cure Trac #2632

This patch fixes a dirty hack (the fake ThFake module), which in turn
was causing Trac #2632.

The new scheme is that the top-level binders in a TH [d| ... |] decl splice
get Internal names.  That breaks a previous invariant that things like
TyCons always have External names, but these TyCons are never long-lived;
they live only long enough to typecheck the TH quotation; the result is
discarded.  So it seems cool.

Nevertheless -- Template Haskell folk: please test your code.  The testsuite
is OK but it's conceivable that I've broken something in TH.  Let's see.

Make a debug check more refined

Add ASSERTs to all calls of nameModule

nameModule fails on an InternalName.  These ASSERTS tell you
which call failed.

Let parseModule take a ModSummary like checkAndLoadModule did.

To get the ModSummary for a ModuleName getModSummary can be used.
It's not called find* or lookup* because it assumes that the module is
in the module graph and throws an exception if it cannot be found.
Overall, I'm not quite sure about the usefulness of this function
since the user has no control about which filetype to grab (hs or
hs-boot).

Remove some out-of-date entries from .darcs-boring

TFs: Allow repeated variables in left-hand sides of instances

  MERGE TO 6.10

Clean up some comments

  MERGE TO 6.10

Make the new binder-swap stuff in OccurAnal work right for GlobalIds

See Note [Binder swap on GlobalId scrutinees].  I hadn't got this
right before, so repeated cases on imported Ids weren't getting optimised.

Minor refactoring only

Comments only

Zap dead-ness info appropriately in SpecConstr

SpecConstr can make pattern binders come alive, so we must remember
to zap their dead-variable annotation.  See extendCaseBndrs.

(This was triggering a Core Lint failure in DPH.)

Suppress invalid Core Lint complaint about lack of constructors

add some more GC roots (fixes conc048, and possibly some others)

Document +RTS -hT
We forgot to document this in GHC 6.8

fix new-qualified-operators link

Proper error message for unsupported pattern signatures
- Pattern signatures must be identical to the type expected for the pattern;
  see Note [Pattern coercions]
- We now signal an appropriate error if an equality coercion would be needed
  (instead of just generating Core that doesn't typecheck)

  MERGE TO 6.10

Prevent excessive inlining with DPH

This adds a new flag -finline-if-enough-args which disables inlining for
partially applied functions. It is automatically set by -Odph. This is a
temporary hack and should remain undocumented.

MERGE TO 6.10

On Windows, check that we have a good version of windres when configuring

Call $(PERL) rather than perl when making the manpage

don't install the installPackage program

Fix #2637: conc032(threaded2) failure
There was a race condition whereby a thread doing throwTo could be
blocked on a thread that had finished, and the GC would detect this
as a deadlock rather than raising the pending exception.  We can't
close the race, but we can make the right thing happen when the GC
runs later.

Remove outdated link to OGI webpage

TFs: Fixed InstContextNorm (and simplification of IPs)

  MERGE TO 6.10

TcSimplify.reduceImplication: clean up
- This cleans up some of the mess in reduceImplication and documents the
  precondition on the form of wanted equalities properly.
- I also made the back off test a bit smarter by allowing to back off in the
  presence of wanted equalities as long as none of them got solved in the
  attempt.  (That should save generating some superfluous bindings.)

  MERGE TO 6.10

Make sure to zonk the kind of coercion variables

  MERGE TO 6.10

Remover PROT_EXEC flag from mmap()
Needed for #738 fix

Fix #2410: carefully generate unique names for CAF CCs

fix #2594: we were erroneously applying masks, as the reporter suggested
My guess is that this is left over from when we represented Int8 and
friends as zero-extended rather than sign-extended.  It's amazing it hasn't
been noticed earlier.

Unconditionalize definition of DYNAMIC_* so that libffi.so/.dll is removed even when BuildSharedLibs is reset to NO

Type families: need to instantiate flexible skolems before other flexibles

MERGE TO 6.10

Fix warnings

Type families: consider subst rules both way
- applySubstFam, applySubstVarVar & applySubstVarFam need to return their
  second argument -to be put into the todo list- if the rule would be
  applicable if the equalities would be supplied in the opposite order.

MERGE TO 6.10

Clean up a bit and improve an error message

Don't capture error calls in tryUser

A previous patch slightly changed the semantics of tryUser.
This patch restores the original behaviour
(as expected in :print)

tweaks to this section of the docs

Add -outputdir flag (#2295)

oops, forgot to add -XNewQualifiedOperators to the flags table

Fix making OS X installers from source tarballs
I'm not sure why it works in the HEAD, but when making an installer
from the 6.10.1 beta configure hangs when doing the CHECK_HIST_ERRORS
test (during rl_initialize, I believe). Giving make /dev/null as stdin
fixes it.

Make the matching of the filename ghc.exe case insensitive, fixes bug #2603

Fix #2411: missing case for CATCH_STM_FRAME in raiseAsync()

Fix parsing of -ignore-package flag.

Add an example of how to use SCCs to the user guide

Add some description of the +RTS -t/-s/-S output

Remove a redundant options pragma

Split ShowVersion etc off into a different type to DoInteractive etc
This fixes trac #1348 (ghci --help gave ghc's help), and also tidies
things up a bit. Things would be even tidier if the usage.txt files were
put into a .hs file, so that ShowUsage wouldn't need to be able to find
the libdir.

Pass SRC_HC_OPTS to GHC when building GHC's Main.hs

Improve runghc docs; fixes trac #2477

Type families: fixes in flattening & finalisation
* Finalisation didn't do the right thing for equalities x ~ y, where
  x was instantiated, but not zonked and y flexible (need to do y := x)
* During flattening we weren't careful enough when turning wanteds
  intermediates into locals

Both bugs showed up in a small example of SPJ:

  linear :: HasTrie (Basis v) => (Basis v, v)
  linear =  basisValue

  class HasTrie a where

  type family Basis u :: *

  basisValue :: (Basis v,v)
  basisValue = error "urk"

Fix the behaviour of flags like --help and --version; fixes trac #2620
They should override other mode flags, not conflict with them

Follow the integer package changes

Type families: fix decomposition problem
* Fixes the problem reported in
  <http://www.haskell.org/pipermail/haskell-cafe/2008-July/044911.html>

Don't exit ghci if :info is called on an undefined identifier.

Fix maintainer-clean

Use -f when making the runhaskell symlink
Otherwise installation fails if runhaskell already exists.

Use -perm -100 rather than -perm /a+x when looking for executable files
/a+x doesn't work on some Solaris and OS X machines. Spotted by
Christian Maeder.

Use $(FIND) rather than find, as the former may be gfind

Look for gfind as well as find

In configure, don't call FPTOOLS_HADDOCK
We now use the in-tree haddock, so we don't need to look for it.

Use $(TAR) rather than tar
Fixes problems on Solaris, where we need to use gtar instead of tar

Add $(strip) to a Makefile test
Fixes making bindists on solaris. Patch from Christian Maeder.

Use test -f rather than test -e, for portability (Solaris)

Remove some dependencies on bootstrapping.conf from libraries/Makefile
They were causing some unnecessary work:
Running make in a built tree reregisters the GHC package in
bootstrapping.conf, and the build system thought that this updated
timestamp meant that the configure stamps were out of date. This is
particularly bad for the libraries with configure scripts, as those
take a while to run.

The bootstrapping.conf is built in an earlier phase ("make boot") so
one shouldn't rely on the dependencies anyway.

Bump the version number to 6.11

Generalise type of 'defaultErrorHandler' so it can be used inside a Ghc session.

Make "sh -e boot" work

Use -f rather than -e for portability

Add some special cases for putting dph in bindists

Escape a hash in the Makefile (it was breaking source dist creation)

Disallow package flags in OPTIONS_GHC pragmas (#2499)

#2566: emit a warning for 'ghc -c foo.bar'

$ ghc -c foo.bar
Warning: the following files would be used as linker inputs, but linking is not being done: foo.bar
ghc: no input files
Usage: For basic information, try the `--help' option.

Fix to new executable allocation code (fixed print002 etc.)
The problem here is caused by the fact that info tables include a
relative offset to the string naming the constructor.  Executable
memory now resides at two places in the address space: one for writing
and one for executing.  In the info tables generated by GHCi, we were
calculating the offset relative to the writable instance, rather than
the executable instance, which meant that the GHCi debugger couldn't
find the names for constructors it found in the heap.

clean sm/Evac_thr.c and sm/Scav_thr.c

add -XNewQualifiedOperators (Haskell' qualified operator syntax)

Fix Trac #2597 (first bug): correct type checking for empty list

The GHC front end never generates (ExplicitList []), but TH can.
This patch makes the typechecker robust to such programs.

Fix Trac #2597 (second bug): complain about an empty DoE block

When converting an empty do-block from TH syntax to HsSyn,
complain rather than crashing.

Update dependencies