Fix Trac #2456: eliminate duplicate bindings when deriving

Condsider deriving two overlapping Data declarations for the same type
deriving instance Data (T A)
deriving instance Data (T B)

We were getting duplicate bindings for the data-con and tycon auxiliary
bindings for T.  This patch fixes the problem by doing these two decls
the same way as we do con2tag etc.

(Why might you want such instances; see Trac #2456.)

Elaborate for-all message slightly

set $(BOOTSTRAPPING_PACKAGE_CONF_HC_OPTS) automatically based on $(HC)
This fixes nofib

Fix Trac #2518: add hs-boot files as an infelicty

use System.FilePath's isSearchPathSeparator instead of our own

FIX #2521: trailing colon in GHC_PACKAGE_PATH
This was broken in the System.FilePath switchover, since filepath's
splitSearchPath doesn't do what we want (it ignores empty
components on Windows, and treats them as "." on Unix).  So we use our
own hand-rolled version, just like GHC.

Test for and reject duplicate dependencies (#2330)

When doing :l, abandon all breakpoints before we unload everything
I'm not 100% sure if this is the right fix, but it seems sensible and
stops break008 segfaulting for me on amd64/Linux.

Comment fixes; trac #2468

Stop dph/dph-{par,seq} reconfiguring themselves all the time

Follow changes in Cabal

When distcleaning in utils/, distclean (rather then merely clean) the utils

Only clean utils/pwd/pwd when distcleaning, not when cleaning
Otherwise "make clean" in utils leaves us without a pwd, and lots of bad
things happen.

In cabal.mk, clean is no longer identical to distclean
distclean will now also remove files listed in EXTRA_DISTCLEAN

Improve -fwarn-orphans documentation (thanks to Tim)

Fix #2441 (unregister/expose/hide packages in non-first package databases)

add --no-user-package-conf

move INPLACE_DATA_DIR into mk/config.mk and share it

FIX #1963: use Cabal's writeFileAtomic to write the new package.conf
This depends on #2298 also being fixed, which I'll do shortly

FIX #2492: ghc-pkg insists on having HOME environment variable set

FIX #2491 (ghc-pkg unregister should complain about breaking dependent packages)

put back -fwarn-depcrecations
It was replaced by -fwarn-warnings-deprecations, but I think we want
to keep it for backwards compatibility.  I'm not sure we want to
deprecate it either...

add special globbing file for Windows to ghc-pkg.cabal

Improve error message for deprecated flags (Trac #2513)

Improve docs for orphan decls (thanks Yitzchak Gale)

fix cut-and-pasto

build base3-compat

Don't warn if 'import Prelude' doesn't import anything
... even if Prelude doesn't come from the base package (it might come from
a old backwards-compatible version of base, for example).

Add -XPackageImports, new syntax for package-qualified imports

Now you can say

  import "network" Network.Socket

and get Network.Socket from package "network", even if there are
multiple Network.Socket modules in scope from different packages
and/or the current package.

This is not really intended for general use, it's mainly so that we
can build backwards-compatible versions of packages, where we need to
be able to do

module GHC.Base (module New.GHC.Base) where
import "base" GHC.Base as New.GHC.Base

Suppress uniques when (and only when) we have -dsuppress-uniques

get exception names from Control.Exception.Base instead of Control.Exception

Fix Trac #2490: sections should be parenthesised

When I added bang patterns I had to slightly generalise where the
parser would recognise sections.  See Note [Parsing sections] in
parser.y.pp.

I forgot to check that ordinary H98 sections obey the original
rules.  This patch adds the check.

Refactoring: define TcRnMonad.failWith and use it in the renamer

Layout only

Use dph-{seq|par} instead of dph_{seq|par}

Simplify how we build dph

Generalise libraries/Makefile.local
It's now possible to build libraries in, e.g.,
    libraries/foo/bar
rather than just
    libraries/foo

The dph packages still contain warnings

Print tidy rules in user style, to avoid gratuitous uniques

The uniques that come out in dumpStyle make it harder to compare
output in the testsuite.  And the rules are tidied, so uniques
are not necessary.  If you want the uniques, use -dppr-debug.

Export Depth (needed for mkUserStyle); collapse identical PrintUnqualified, QueryQualifies

When suppressing uniques, don't print the separating underscore

Make -dsuppress-uniques apply regardless of -ppr-debug

Fix Trac #2367: selectors for GADTs

The generation of record selectors for GADTs and the like was
pretty screwed up.  This patch fixes it.

Note that Unify.refineType is now used only in the generation of
record seletctors -- but it really does seem to be needed there.

Thanks to Max for finding this bug.

Mostly fix Trac #2431: make empty case acceptable to (most of) GHC

See the comments with Trac #2431.  This patch makes an empty HsCase
acceptable to the renamer onwards.  If you want to accept empty case
in Haskell source there's a little more to do: the ticket lists the
remaining tasks.

Fix Trac #2412: type synonyms and hs-boot recursion

Max Bolingbroke found this awkward bug, which relates to the way in
which hs-boot files are handled.

   --> HEADS UP: interface file format change: recompile everything!

When we import a type synonym, we want to *refrain* from looking at its
RHS until we've "tied the knot" in the module being compiled.  (Reason:
the type synonym might ultimately loop back to the module being compiled.)
To achieve this goal we need to know the *kind* of the synonym without
looking at its RHS.  And to do that we need its kind recorded in the interface
file.

I slightly refactored the way that the IfaceSyn data constructor
fields work, eliminating the previous tricky re-use of the same field
as either a type or a kind.

See Note [Synonym kind loop] in TcIface

Fix Trac #2506: infix assert

Use do-notation

Fix Trac #2494: tcSimplifyRuleLhs

tcSimplifyRuleLhs is a cut-down constraint simplifier, intended for
use in RULE left-hand-sides.  But it was written before implication
constraints, and the exmaple of this bug report shows that when higher
rank types are involved we need to be a bit cleverer.

The whole business of simplifying constraints on rule LHSs is a bit
of a hack; but for a good reason.  See the comments with tcSimplifyRuleLhs.
This patch at least cures the crash.

Make comparison on equalities work right (ie look at the types)

This patch makes
(s1~t1) == (s2~t2) iff s1==s2, t1==t2

The comparison and equality instances for Insts are really only
used in making the AvailEnv in TcSimplify, which equalities are
never put into, which is why we've gotten away with this for so long.

But I'm now using 'nub' in the error messages for equalities,
and in any case it makes sense to have the right equality!

Minor refactoring; no functionality change

Fix Trac #2486: restore the specialiser to a working state

In improving the specialiser's data reprsentaion, thus
  Mon Apr 28 16:57:11 GMT Daylight Time 2008  simonpj@microsoft.com
  * Fix Trac #1969: perfomance bug in the specialiser
I got the sense of a pair of filter functions back to front.
As a result, almost all specialisation opportunities were being
filtered out, and no specialisations were being generated.

Fortunately, dolio notice and reported Trac #2486.  The fix is
simple: put the filters the right way roud.

Remove a pointless use of $(HERE_ABS)/

Don't give the -d flag to rm; it goes wrong on Windows

Add mk/bindist.mk

Remove references to the files that the RTS no longer knows about
Spotted by Simon

We don't need to generate driver/package.conf any more; spotted by Simon

Remove inplace-datadir when cleaning

Remove driver/ghc; The Cabal package in ghc/ now makes a wrapper itself

Make "make clean" in ghc/ only clean the stage we want to clean

Make "make clean" in compiler/ only clean the stage we want to clean
If you "make clean" in the root then we still clean all stages

Also clean pwd.hi and pwd.o

bindist fixes

bindists are now some way towards working

Use Cabal to build pwd

Move allM to MonadUtils

Remove redundant fromIntegral calls

Remove CoreSyn SOURCE imports

Fixed performance bug in ext-core preprocessor

The Core preprocessor was rebuilding the type and data constructor environments every time it called the typechecker, which was horribly inefficient. Fixed.

Fix darcs-all get

Fix errors with haddock 0.8

Document Name and expand it's API

Follow OccName changes in Convert

Use DynFlags.getMainFun in TcRnDriver

Fix Vectorise after introduction of MonadThings

Follow introduction of MkCore in VectUtils

Fix VectMonad after introduction of MonadThings

Minor refactorings in TcEnv

Handle introduction of MkCore in DsMonad and expand API

Add MkCore, holding general Core construction facilities

Document HscTypes, refactor it somewhat, remove unused type and add MonadThings

Use new RdrName export in RdrHsSyn

Document CoreUtils

Document Packages and a minor refactoring

Document CoreSyn and expand its API

Document IdInfo

Document DynFlags and expand API

Document OccName and expand it's API

Follow Digraph changes in VectType

Follow OccName changes in VectBuiltIn

Document Util

Document UniqSet

Document UniqFM and add listToUFM_C

Follow FastString changes in Pretty

Document Outputable

Document FiniteMap

Document FastString and rename strLength to lengthLS

Add more functionality to Digraph and refactor it's interface somewhat, including adding a Graph ADT

Document TypeRep and follow OccName change

Document Type

Document TyCon