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

Document Coercion

Follow Digraph changes in TcTyDecls

Make IOEnv a MonadUnique

Follow TcEnv API addition in TcForeign

Follow Digraph changes in TcBinds

Follow OccName and MkCore changes in Inst

Document Rules

Follow Literal change in Simplify

Follow Digraph changes in OccurAnal

Follow Digraph changes in RnBinds and small refactoring

Document TysWiredIn and follow OccName changes

Follow OccName changes in TysPrim

Follow OccName changes in ParserCore

Follow Digraph changes in RegLiveness

Follow Digraph changes in RegAllocLinear.hs

Follow Digraph changes in AsmCodeGen

Document InteractiveEval and follow OccName change

Follow Digraph changes in GHC; patch from Max Bolingbroke

Expand ErrUtils api with another plain variant

Follow OccName changes and minor refactorings in TcIface

Follow Digraph changes in MkIface

Minor refactoring in RtClosureInspect

Handle optSrcSpanFileName in InteractiveUI

Handle introduction of MkCore in MatchLit

Handle introduction of MkCore in MatchCon

Handle introduction of MkCore in Match

Handle introduction of MkCore in DsUtils

Handle introduction of MkCore in DsMeta

Handle introduction of MkCore in DsListComp

Handle introduction of MkCore in DsForeign

Handle introduction of MkCore in DsExpr

Handle introduction of MkCore in DsBinds

Handle introduction of MkCore in DsArrows

Handle optSrcSpanFileName rename in Coverage

Document CgUtils, follow Digraph changes

Document UniqSupply

Document SrcLoc

Document RdrName and expand its API

Make Module Uniquable

Tweak comments in MkId and follow mkStringLit renaming

Document Literal, expand it's API and rename mkStringLit to mkMachString

Document Id

Split the Id related functions out from Var into Id, document Var and some of Id

Eq and Ord have moved into GHC.Classes