Generalised the {read,write}{Int,Word}{8,16,32,64}Array operations
to ST, plus the arrays are indexed using Ix.

Look inside build tree too for happy binary

Acknowledge the existence of both literal-literals and assertions.

assertError: raise an AssertionFailed exception

re-export PrelGHC.assert

Fix for parsing __scc expressions.

profiling-related sanity checker fixes.

Fix bug in allocGroup() when allocating an entire megablock in one go.

More profiling fixes.

Profiling fixes.

	- top-level CAF CCSs now *append* themselves to the
	  current CCS when called.

	- remove DICT stuff.

	- fixes to the auto-scc annotating in the desugarer.

Remove #ifdef __CONCURRENT_HASKELL__, update for H98.

enable __CONCURRENT_HASKELL__

RET_DYN doesn't have a proper header, just an info pointer.

In case the desugaring of a lit-lit should fail, give a more informative error msg

tidied up the error handling defs.

Fix pretty-printing of FunTys to not throw away NoteTys (eg type synonyms).
(re-commit because first mail message didn't get sent)

Fix pretty-printing of FunTys to not throw away NoteTys (eg type synonyms).

Pragmas, Haskell (98) report style.

Int and Word have to be treated like other Prelude modules in a DLLish
world.

*_SECTION_END_MARKER_DECLs are now void*

Fix cost centres on PAPs.

Previous commit broke let-no-escape.  Fix it up again.

PAPs are ReEntrant, not SingleEntry.

decodeFloat and decodeDouble were accidentally allocating too much
due to a StgWord/byte confusion.

Fix cost centre restores for unboxed tuple alternatives.

raise# now prints "uncaught exception" if it finds a STOP_FRAME.

Fix the HsForAll case in TcMonoType.tc_type_kind so that it
permits types like

	f :: forall a. Num a => (# a->a, a->a #)

Previously it insisted that the body of a for-all was a boxed
type, but 'f' makes perfect sense, and indeed occurs in interface
files as a result of CPR analysis.

Update from autoheader.

Missing ';'.

cpp wibble

Some fixes to profiling stuff.

Minor documentation fixes, and addition of SRT explanation.

egcs sometimes leaves a 'popl %ecx' in the epilogue, it seems.

Add infixr 1 =<<

Make mut_link field be NULL when removing CAF_{UN}ENTERED from
mut_once_list.  Convention is to have the field be NULL iff
the caf is not on a mut_once_list.  This gives a O(1) cost way
to avoid putting a caf onto a mut_once_list more than once.

Add missing semicolon

- Stack overflow now generates an (AsyncException StackOverflow)
  exception, which can be caught as normal.

- Add a stack overflow handler to the top-level mainIO handler, with
  the standard behaviour (i.e. call the stack overflow hook and then
  exit).

- Add a test for stack overflow catching.

- Fix a couple of bugs in async exception support.

Ignore type lambdas for the purposes of occurrence analysis.

Print (ICanSafelyBeINLINEd InsideLam _) as "__Ul".

Make it so that Local (i.e. non-top-level) names record
whether they originally came from an interface file.  This
means that when unifying two type variables we can readily
choose one that occurred in the source, rather than one
imported from an interface file.  That in turn improves 
compiler error messages.  E.g.

  rd :: (RealFloat a, RealFrac b) => b -> Transformation a
  rd degrees  = r ((degrees / 180.0) * pi)

used to say

    Could not deduce `Floating a'
	(arising from use of `pi' at Foo.hs:11)
	from the context: (RealFloat a1, RealFrac a)
    Probable cause: missing `Floating a' in type signature for `rd'

[here the 'a' came from the signature for 'pi' in PrelBase;
 the 'a1' is a renamed version of the 'a' in the source pgm]

but now says

    Could not deduce `Floating b'
	(arising from use of `pi' at Foo.hs:11)
	from the context: (RealFloat a, RealFrac b)
    Probable cause: missing `Floating b' in type signature for `rd'