make a panic message more informative and suggest -dcore-lint (see #4534)

Re-jig simplifySuperClass (again)

This fixes the current loop in T3731, and will fix other
reported loops.  The loops show up when we are generating
evidence for superclasses in an instance declaration.

The trick is to make the "self" dictionary simplifySuperClass
depend *explicitly* on the superclass we are currently trying
to build.  See Note [Dependencies in self dictionaries] in TcSimplify.

That in turn means that EvDFunApp needs a dependency-list, used
when chasing dependencies in isGoodRecEv.

A little refactoring (remove redundant argument passed to isGoodRecEv)

Make rebindable if-then-else a little more permissive

See Note [Rebindable syntax for if].  Fixes Trac #4798.
Thanks to Nils Schweinsberg <mail@n-sch.de>

Improve error message (Trac #4799)

Fix a nasty bug in RULE matching: Trac #4814

See Note [Matching lets], which explains it all in detail.
It took me a day to think of a nice way to fix the bug,
but I think the result is quite respectable. Subtle, though.

Rename -XPArr to -XParallelArrays

FIX #1845 (unconditional relative branch out of range)

Don't use mmap on powerpc-apple-darwin as mmap doesn't support
reallocating but we need to allocate jump islands just after each
object images. Otherwise relative branches to jump islands can fail
due to 24-bits displacement overflow.

rts/Linker.c (loadArchive):

This routine should be aware of Mach-O misalignment of malloc'ed memory regions.

rts/Linker.c (machoGetMisalignment):

Use fseek(3) instead of rewind(3) to move the file position indicator back to the initial position. Otherwise we can't use this function in loadArchive().

rts/Linker.c (ocFlushInstructionCache):

I found this function causes a segfault when ocAllocateSymbolExtras() has allocated a separate memory region for jump islands.

Remove NewQualifiedOperators
The extension was rejected by Haskell', and deprecated in 7.0.

fix ref to utils/ext-core, which moved to Hackage (extcore package)

fix floating-point/FFI section: fenv is C99, not POSIX

Fixed some 'unused vars' warnings

vectScalarLam handles int, float, and double now

Handling of lets, letrec and case when checking if a lambda expr needs to be vectorised

Document the behaviour of fenv.h functions with GHC (#4391)

Remove the no-ghci-lib warning in ghc-pkg
GHCi libs are no longer necessary, as we can use the .a or .so versions
instead.

Add GNU-variant support to the .a parser, and other improvements/tidyups

Re-indent only

Improve linker debugging for archive files

Always enable the archive-loading code
If the GHCi .o lib doesn't exist, load the .a instead

Inherit the ForceSpecConstr flag in non-recursive nested bindings

This makes sure that join points are fully specialised in loops which are
marked as ForceSpecConstr.

Document -ddump-rule-firings and -ddump-rule-rewrites

New flag -dddump-rule-rewrites

Now, -ddump-rule-firings only shows the names of the rules that fired (it would
show "before" and "after" with -dverbose-core2core previously) and
-ddump-rule-rewrites always shows the "before" and "after" bits, even without
-dverbose-core2core.

Acutally, wild-card variables *can* have occurrences

This patch removes the Lint test, and comments why

Tidy up the handling of wild-card binders, and make Lint check it

See Note [WildCard binders] in SimplEnv.  Spotted by Roman.

Substitution should just substitute, not optimise

This was causing Trac #4524, by optimising
     (e |> co)  to   e
on the LHS of a rule.  Result, the template variable
'co' wasn't bound any more.

Now that substition doesn't optimise, it seems sensible to call
simpleOptExpr rather than substExpr when substituting in the
RHS of rules.  Not a big deal either way.

Make SpecConstr "look through" identity coercions

Comment only

White space only

Keep a maximum of 6 spare worker threads per Capability (#4262)

Unicide OtherNumber category should be allowed in identifiers (#4373)

vectoriser: fix warning

vectoriser: fix warning

vectoriser: take class directly from the instance tycon

vectoriser: comments only

vectoriser: follow changes in mkClass

vectoriser: tracing wibbles

mkDFunUnfolding wants the type of the dfun to be a PredTy

vectoriser: fix conflicts

Comments and formatting only

Comments and formatting to type environment vectoriser

Don't mix implicit and explicit layout

Whitespace only

Separate NondecreasingIndentation out into its own extension

Add another GHC layout rule relaxation to RelaxedLayout

Remove an unused build system variable: GhcDir

Remove unused build system variable: GhcHasEditline

Remove unused variables from the build system: HBC, NHC, MKDEPENDHS

Remove references to Haskell 98
They are no longer right, as we have Haskell' generating new Haskell
standards.

Tweak a configure test

Add a configure test for the visibility hidden attribute

sanity: fix places where we weren't filling fresh memory with 0xaa

Just some alpha renaming

Fix bug #3165 (:history throws irrefutable pattern failed)

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

For bindists, build ghc-pwd with stage 1
rather then the bootstrapping compiler. This fixes problems where the
bootstrapping compiler dynamically links against libraries not on the
target machine.

Makefile tweak

Fix a makefile include ordering sanity check

Add an extension for GHC's layout-rule relaxations
Still TODO: Add the other relaxation (#1060) and update the alternative
layout rule to use the extension.

Tweak the bindist configure.ac.in

configure.ac tweaks

When testing the bindist, tell it where gcc is
The location isn't baked into the bindist, as it may differ from
machine to machine.

Comments only

ForceSpecConstr now forces specialisation even for arguments which aren't scrutinised

Move the superclass generation to the canonicaliser

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.

Fix the generation of in-scope variables for IfaceLint check

Comments only

Omit bogus test for -XDeriveFunctor

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

Improve error message on advice from a user

See Trac #4499

Fix the type sanity test in genprimopcode's Syntax.hs
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.

Build random with the stage2 compiler

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

add some {-# LANGUAGE BangPatterns #-} to mollify GHC

Eventlog: Put correct size for startup event

Document SPECIALISE for imported functions

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

Fix Trac #4498: bang-pattern bindings are monomorphic

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

Comments only

Fix Trac #4501: a transposition error in DynFlags

Push to STABLE

Refactoring of the way that inlinings and rules are activated

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.

Some infrastruture for lambda-lifting

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.

Occurrence analyser takes account of the phase when handing RULES

See Note [Finding rule RHS free vars]

This should make Roman happy.

Add -fwarn-lazy-unlifted-bindings to the list of flags

Warn a bit less often about unlifted bindings.

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

Libraries bytestirng, time, binary need -fno-warn-identities

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

Improve documentation for -fwarn-incomplete-patterns

Add warning for probable identities (fromIntegral and friends)

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.

Remove unncessary fromIntegral calls

Fix -fwarn-missing-import-lists (fix Trac #4489)

Deriving Typeable changes

* 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

Ensure that instance overlap errors are report properly

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

Ensure that unification variables alloc'd during solving are untouchable

This fixes Trac #4494.  See Note [Extra TcsTv untouchables] in TcSimplify.

Fix paths used for doc publishing in the nightly builds

Remove -Ofile docs
They said:
    (NOTE: not supported since GHC 4.x.  Please ask if you're interested
    in this.)

Update to docbook 4.5; fixes trac #4447

Add a build system dependency; fixes #4357

Build system tweak: Inline DQ now it's the same on all platforms

Fix up the ifdefs in Task.c

Use standard task ID print style (hexadecimal).