Update Jeff Lewis' email address

Do a much better job of slurping RULES.  

Now that stuff is slurped in lazily, as the simplifier pokes on it,
we may not get the rules as early as we might wish.  In the current
HEAD, no new rules are slurped in after the beginning of SimplCore,
and that means we permanently miss many rules.

This commit arranges that every time round the simplifier loop we
slurp in any new rules, and put them into the in-scope set, where the
simplifier can find them.

It's still possible that a rule might be slurped in a little later than
in earlier versions of GHC, leading to more simplifier iterations,
but let's see if that turns out to be a problem in practice.

Import wibbles

In Template Haskell suppport
	dyn "M.x"
to mean "look up the qualified name M.x in the environment", which is
what you'd expect.  George Russel wanted this.

Elaborate IfaceSyn.HsWorker to give the full IfaceExtName of the worker,
rather than just the internal OccName.  Very occasionally, the worker for
a function in module A turns out to be (by simplification) a function
defined in module B.  So we must remember the module. This shows up in
package ObjectIO,
	Graphics.UI.ObjectIO.OS.Window.osValidateWindowRect
which has a worker
	Graphics.UI.ObjectIO.OS.WindowCCall_12.$wwinValidateRect

*** Unfortunately this changes the binary format of hi files slightly, so
*** you'll have to recompile all your libraries from scratch.

Comments only

Fix the OSTYPE test for Cygwin, and comment

Add amd64-unknown-openbsd to the list of supported platforms.

i386-unknown-netbsd no longer refers to PCs running OpenBSD.
They are binary incompatible these days.

Add OpenBSD/amd64 to the known x86_64's

amd64 => x86_64
"x86_64" is what GHC has been calling this arch.

Add amd64-unknown-openbsd

Change the mangler to allow a tab before .section on sparc. Fixes a
problem which shows up as symbols not being made global so not being
defined when compiling with gcc >= 3.something.

Fix integer truncation

Subimitted by: Ralf Wildenhues <Ralf.Wildenhues@gmx.de>, via
               Nicholas Nethercote <njn25@cam.ac.uk>

merge rev. 1.173.2.21:

Fix bug in deleteAllThreads() - shouldn't throw away the contents of
the run queue, we still need to deal with those ThreadKilled threads.

Fixed a long-standing buglet in the signatures of hs_free_stable_ptr
and hs_free_fun_ptr, both had a superfluous "*". Now everything
conforms to the FFI addendum.

Synched with versions from autoconf 2.59

A complete rewrite of ar-related tests:
* Modularized the tests
* Fixed (i.e. introduced :-) caching
* Made the test for support of "-input" more robust

Buglet in desugaring TH syntax

Document -fcontext-stack as static

The "rebindable-syntax" stuff wasn't dealing with the new location
information correctly.  This commit fixes the problem, and thereby
makes mdofail004 work right.  Maybe others too.

Revert to previous kind-check of for-alls, to avoid error message worsening

Document :kind

Wibble to :k

import wibble

Improve documentation about ambiguous types

Remove the entirely-redundant location from the argument of 
constructor HsPredTy,
    so that we have
	HsPredTy HsType
    rather than
	HsPredTy LHsType

Remove redundant case-analysis for single-constructor case of gunfold

Add :k(ind) command to ghci to find the kind of a type.
This works very, very similarly to :t(ype)

In the derived code for gunfold, use a wild-card for the 
final case, to avoid a redundant test, and to eliminate the
annoying warning about un-matched cases.

While I'm at it, rename HsUtils.wildPat to nlWildPat, for
consistency.

Don't convert Exact RdrNames into Orig ones when comparing RdrNames.
This implicit conversion (via nukeExact) was making the carefully-distinct
RdrNames conjured up by Template Haskell into the same RdrName, and
that in turn was reporting duplicate bindings.  

I'm not 100% certain that the implicit conversion isn't needed
for some other purpose, but it seems unclean anyway, so I'm removing
it, and we'll see if anything else breaks.

Import trimming

Fix parsing bug in new deriving stuff, which was killing the HEAD

Another stage-2 wibble to last commit

Wibble to last commit

Extend the "newtype deriving" feature a little bit more
(at the request of Wolfgang Jeltsch)

Here's the example:
    class C a b
    instance C [a] Char
    newtype T = T Char deriving( C [a] )

Perfectly sensible, and no reason it should not work.
Fixing this required me to generalise the abstract syntax of
a 'deriving' item, hence the non-local effects.

Some updates I've had sitting in my tree for a while:

  - when there are two logs only, print a summary table at the beginning
    of the output with columns for allocs, runtime, memory reads/writes, instrs.

  - handle multiple runs of each program, and average the results. (changes
    to nofib build system to follow).

cachegrind: update command line syntax for recent versions of valgrind

Document -fno-state-hack

Add a flag -fno-state-hack, which switches off the "state hack".

It's claims that every function over realWorldStatePrimTy is a
one-shot function.  This is pretty true in practice, and makes a big
difference.  For example, consider
	a `thenST` \ r -> ...E...
The early full laziness pass, if it doesn't know that r is one-shot
will pull out E (let's say it doesn't mention r) to give
	let lvl = E in a `thenST` \ r -> ...lvl...
When `thenST` gets inlined, we end up with
	let lvl = E in \s -> case a s of (r, s') -> ...lvl...
and we don't re-inline E.