I ran across this bug and took the time to fix it, closing
a long time due TODO in InteractiveEval.hs

Instead of looking around to find the enclosing declaration
of a tick, this patch makes use of the information already collected during the
coverage desugaring phase

rather then the bootstrapping compiler. This fixes problems where the
bootstrapping compiler dynamically links against libraries not on the
target machine.

Still TODO: Add the other relaxation (#1060) and update the alternative
layout rule to use the extension.

The location isn't baked into the bindist, as it may differ from
machine to machine.

Doing superclass generation in the canonicaliser (rather than
TcInteract) uses less code, and is generally more efficient.

See Note [Adding superclasses] in TcCanonical.

Fixes Trac #4497.

It was duplicated in the case of 'deriving( Functor )'
and wrong for 'deriving( Foldable )'

See Trac #4499

We assume this is what it's supposed to be checking. Certainly the old
test (t2 == t2) can't be right.
Spotted by Andres Loeh.

This was apparently needed at some point during the new typechecker
development, but does not seem to be required now.

This is a really useful new facility, but I'd forgotten to document it.
Pls merge to 7.0 branch

This patch forces bang patterns to be monomorphic,
and documents this fact.

Push to STABLE

Principally, the SimplifierMode now carries several (currently
four) flags in *all* phases, not just the "Gentle" phase.
This makes things simpler and more uniform.

As usual I did more refactoring than I had intended.

This stuff should go into 7.0.2 in due course, once
we've checked it solves the DPH performance problems.

This stuff should have no effect but it sets things
up so that we can try floating out lambdas of n value
arguments.

The new (secret) flag is -ffloatt-lam-args=n.

This is *not* working yet, but it's got tangled up with
other stuff I want to commit, and it does no harm.

See Note [Finding rule RHS free vars]

This should make Roman happy.

Warn when
   (a) a pattern bindings binds unlifted values
   (b) it has no top-level bang
   (c) the RHS has a *lifted* type

Clause (c) is new, argued for by Simon M

Eg     x# = 4# + 4#      -- No warning
       (# a,b #) = blah  -- No warning
       I# x = blah       -- Warning

They all have redundant uses of fromIntegral, but are no under
GHC HQ control.

See Trac #4488.  The basic idea is to check for

    fun :: ty -> ty

where fun is one of
  toIntegerName     toRationalName
  fromIntegralName  realToFracName

There's a (documented) flag to control it -fwarn-identities.
Currently -Wall switches it on.

* Fix a bug that led to a crash with
    data family T a
    deriving Functor T

* Allow deriving Typeable for data families
    data family T a
    deriving Typeable1 T

* Some refactoring and tidying

This (annoyingly) requires us to re-flatten the class predicate.
See Note [Flattening in error message generation]