4.04 changes.

- add 4.04 release notes
- several other docfixes and markup fixes.

link in NonTermination_static_closure.

add NonTermination_closure.

Fix my email address.

Small typos from Wolfram Kahl.

USE_REPORT_PRELUDE patches from Wolfram Kahl.

Add NonTermination to the exception type.  Prints as "<<loop>>"
(better suggestions welcome).

Keep the original name for non-exported record selectors and class
methods.

Cygwin B19 compatibility fixes

foreign export regression test

A 'foreign export' (static) declaration doesn't bind a name but
simply adds an occurrence of a name.

Fix shadowing bug in rule matcher (showed up in spectral/rewrite)

Back out rev 1.30 - it broke a lot of things.

Reduce ScrutConDiscount from 3 to 2.

- charge 1 for a case expression

- give a discount of opt_UF_ScrutConDiscount each time a constructor
  is scrutinised

(previously a case expression was not charged for at all, and the
discount for a scrutinised constructor was (opt_UF_ScrutConDiscount *
tyconFamilySize).  In 4.02, a case expression was also charged
tyconFamilySize to balance the discount, but this had the disadvantage
of charging for alternatives which may not be present in the actual
case expression).

Back out yesterday's change - needs more thought.

All Simon's recent tuning changes.  Rough summary follows:

* Fix Kevin Atkinson's cant-find-instance bug.  Turns out that Rename.slurpSourceRefs
  needs to repeatedly call getImportedInstDecls, and then go back to slurping
  source-refs.  Comments with Rename.slurpSourceRefs.

* Add a case to Simplify.mkDupableAlt for the quite-common case where there's
  a very simple alternative, in which case there's no point in creating a
  join-point binding.

* Fix CoreUtils.exprOkForSpeculation so that it returns True of (==# a# b#).
  This lack meant that
	case ==# a# b# of { True -> x; False -> x }
  was not simplifying

* Make float-out dump bindings at the top of a function argument, as
  at the top of a let(rec) rhs.  See notes with FloatOut.floatRhs

* Make the ArgOf case of mkDupableAlt generate a OneShot lambda.
  This gave a noticeable boost to spectral/boyer2


* Reduce the number of coerces, using worker/wrapper stuff.
  The main idea is in WwLib.mkWWcoerce.  The gloss is that we must do
  the w/w split even for small non-recursive things.  See notes with
  WorkWrap.tryWw.

* This further complicated getWorkerId, so I finally bit the bullet and
  make the workerInfo field of the IdInfo work properly, including
  under substitutions.  Death to getWorkerId.  Kevin Glynn will be happy.

* Make all lambdas over realWorldStatePrimTy
  into one-shot lambdas.  This is a GROSS HACK.

* Also make the occurrence analyser aware of one-shot lambdas.

* Make various Prelude things into INLINE, so that foldr doesn't
  get inlined in their body, so that the caller gets the benefit
  of fusion.  Notably in PrelArr.lhs.

Assembler/Disassembler: handle and print calls to compiled code
Evaluator: return to scheduler when entering unknown closure
StgCRun: debugging trace in miniinterpreter (temporary)
Updates: fix normal and vectored returns to Hugs

Make vectored returns to Hugs work, and make IS_CODE_PTR etc work
for dynamically loaded objects.

Should really call OnExitHook() in shutdownHaskellAndExit().

Mods to enable interworking with simple compiled code.  Supports fns and
data decls.  Classes, instances, primops, don't work yet.
Unregisterised, mininterpreted x86-ELF is the supported object format.
GC appears to work correctly.

we're on to 4.04 now.

Mods to enable interworking with simple compiled code.  Supports fns and
data decls.  Classes, instances, primops, don't work yet.
Unregisterised, mininterpreted x86-ELF is the supported object format.
GC appears to work correctly.

Add a note about @raiseInThread@.

-ddump-rdr is now -ddump-parsed

only pop explicit layout contexts with '}'.

print the compiler version on the same line as the compilee version;
looks a bit tidier.

Header file for an alternative bignum implementation, which is in
interpreter/sainteger.c.  Currently used by STGHugs.
Temporary -- until we resolve GMP licensing issues.

Re-jig some stuff in here so it doesn't look like you need so many
tools to build GHC.

Added maxPrecedence

Added needed includes of SchedAPI.h

Whoops, add index terms too.

Add -ddump-most and -ddump-all, with the obvious meanings.

Redo previous commit to cut down on the use of COMPILING_RTS where
possible - SchedAPI.h is now an RTS internal header file which
RtsAPI.h no longer includes.

Don't include RtsAPI.h when compiling RTS.

Temporary workaround for problem which caused the following program

  main = putStrLn ("aa" ++ IOExts.trace "bb" "cc")

to deadlock - when the (untouched) stderr is evaluated (which
IOExts.trace forces), it will touch stdout (see code for details of
why), but it has already been locked by putStrLn. Boom - game over.

This temporary 'fix' is, to put it kindly, in the fancy-footwork
category as it doesn't solve the problem, but merely turns it on its
head. Instead of stderr depending on stdout, stdout now depends on
stderr, so the following program will deadlock

  main = hPutStrLn stderr ("aa" ++ myTrace "bb" "cc")

  myTrace msg v = unsafePerformIO $ do
     putStrLn msg
     return v

The 'theory' is that this is far less likely to occur in practice than
the other way around.

The next step / real solution would be to give up the lock on an
output Handle while filling up its output buffer. However, that
requires ripping out / re-org'ing a fair bit of buffer management
code, which I'll delay doing.

Remove -#include "RtsAPI.h" - you now get it for free.

Stg.h contains all the defs and protos that are visible when compiling
.hc code (==> .hs code). Augment this set with the externally visible
RTS API.

Tidied up the handling of the code that emits the precedence level
predicates that gets used in applications of showParen and readParen.