We don't need a SIGCONT handler any more
The SIGCONT handler was used to put stdin back in O_NONBLOCK mode,
after the process is resumed, but we don't want to do that now: the
standard handles are kept in blocking mode.

Add first cut of the validate script

Added support for update frames to the CPS pass
(This required a bit of refactoring of CmmInfo.)

Fix error message in CPS pass

Factor cmmToRawCmm completely out of CPS
This patch also fixes how the CPS handles functions with an empty body.
Factoring cmmToRawCmm out of the CPS pass made that fix easier.

Remove dead code in the CPS pass

Minor formatting cleanup.

Moved 'continuationToProc' into a separate file, 'CmmCPSGen.hs'.

Finished support for foreign calls in the CPS pass

Multiple improvements to CPS algorithm.
These include:
 - Stack size detection now includes function arguments.
 - Stack size detection now avoids stack checks just because of
   the GC block.
 - A CmmCall followed by a CmmBranch will no longer generate an extra
   continuation consisting just of the brach.
 - Multiple CmmCall/CmmBranch pairs that all go to the same place
   will try to use the same continuation.  If they can't (because
   the return value signature is different), adaptor block are built.
 - Function entry statements are now in a separate block.
   (Fixed bug with branches to the entry block having unintended effects.)
 - Other changes that I can't recall right now.

Allow safety information on calls in Cmm files

FIX BUILD (Windows): catch up with changes to .cmm syntax

Improve formatting of errors, and fix a typo

Fix for function info tables: the SRT field cannot be omitted if there are fields following it

pprTypeInfo: print slow entry pt

fix compilation for x86_64

Fix stack check amount for user declared continuation functions

Remove unused parameter in force_gc_block for CPS

Fix a bug in the Cmm parser where formal params didn't get bound

Make CPS account for on-stack arguments when doing the stack check

Comment and formatting updates for the CPS pass

Fix typo from amend-record

Implemented and fixed bugs in CmmInfo handling

Formatting only

Added stack checks to the CPS algorithm

This eliminates one of the panics introduced by
the previous patch:
'First pass at implementing info tables for CPS'

The other panic introduced by that patch still remains.
It was due to the need to convert from a
  ContinuationInfo to a CmmInfo.
  (codeGen/CgInfoTbls.hs:emitClosureCodeAndInfoTable)
  (codeGen/CgInfoTbls.hs:emitReturnTarget)

First pass at implementing info tables for CPS

This is a fairly complete implementation, however
two 'panic's have been placed in the critical path
where the implementation is still a bit lacking so
do not expect it to run quite yet.

One call to panic is because we still need to create
a GC block for procedures that don't have them yet.
(cmm/CmmCPS.hs:continuationToProc)

The other is due to the need to convert from a
ContinuationInfo to a CmmInfo.
(codeGen/CgInfoTbls.hs:emitClosureCodeAndInfoTable)
(codeGen/CgInfoTbls.hs:emitReturnTarget)

Added an SRT to each CmmCall and added the current SRT to the CgMonad

Added pointerhood to LocalReg
This version should compile but is still incomplete as it introduces
potential bugs at the places marked 'TODO FIXME NOW'.
It is being recorded to help keep track of changes.

Fix bug relating to the return values of prim ops
The return values were getting put in a LocalReg
but that LocalReg needed to be stored into the enclosing
expression's return register (e.g. R1).

Removed trailing whitespace

Fixed typo in comment

Add forgotten compiler/cmm/CmmInfo.hs

Add formal parameters to the Cmm parser
This patch is incomplete and will probably not compile by itself
but it is being recorded to help keep track of later changes.

Minor comment update

Changed C-- parser to allow multiple return values

Added early draft of parameter passing to the CPS converter

Minor code cleanup

Fix bug with proc-point detection (only a temporary fix)

Move global register saving from the backend to codeGen (CPS specific parts)

Moved global register saving from the backend to codeGen

This frees the Cmm data type from keeping a list of live global registers
in CmmCall which helps prepare for the CPS conversion phase.

CPS conversion does its own liveness analysis and takes input that should
not directly refer to parameter registers (e.g. R1, F5, D3, L2).  Since
these are the only things which could occur in the live global register
list, CPS conversion makes that field of the CmmCall constructor obsolite.

Once the CPS conversion pass is fully implemented, global register saving
will move from codeGen into the CPS pass.  Until then, this patch
is worth scrutinizing and testing to ensure it doesn't cause any performance
or correctness problems as the code passed to the backends by the CPS
converting will look very similar to the code that this patch makes codeGen
pass to the backend.

Formatting changes for CPS code.

Formatted documentation for compiler/cmm/Dataflow.hs

Renamed CmmCPSData to CmmBrokenBlock and documented it

Minor re-organizing of compiler/cmm/CmmCPS.hs

Fixed missing '#include "HsVersions.h"'

Factored proc-point analysis into separate file (compiler/cmm/CmmProcPoint)

Removed an older version of selectStackFormat

Refined the handling of stack frame headers

Misc. cleanups to CPS converter

Fixed CPS converter to preserve function names

Added Proc-Point analysis to the CPS converter (not polished yet)

Make CmmProc take CmmFormals as argument

Since a CmmCall returns CmmFormals which may include
global registers (and indeed one place in the code
returns the results of a CmmCall into BaseReg) and
since CPS conversion will change those return slots
into formal arguments for the continuation of the call,
CmmProc has to have CmmFormals for the formal arguments.

Oddly, the old code never made use of procedure arguments
so this change only effects the types and not any of the code.
(Because [] is both of type [LocalReg] and CmmFormals.)

A small move of the comments in ./compiler/cmm/Dataflow.hs

Added forgotten ./compiler/cmm/CmmLive.hs

Document use of no-break space in lexer for C--

Renamed BlockExitInfo to FinalStmt and all its constructors to match usage

Major cleanup of the CPS code (but more is still to come)

Added listSplitUniqSupply to ./compiler/basicTypes/UniqSupply.lhs

The function
  listSplitUniqSupply :: UniqSupply -> [UniqSupply]
splits a UniqSupply into an infinite list of supplies.
It is a generalization of splitUniqSupply.

Second working draft of a CPS algorithm for C--.
This is a safety check-in, before I begin a cleanup.

Fixed missing space in pretty printer for CmmJump

Added spLimReg to complement spReg and hpReg

Added types CmmActuals and CmmFormals for function parameters to Cmm

First complete draft of a CPS algorithm.  (Still hackish needs polishing)

Added "C--" foreign calling convention

Added 'return' to C--, and made arguments to 'jump' into CmmExpr

Typo fix in a comment.

Fixed liveness analysis to use a slower but more correct solution

Hooked the C-- CPS pass into the compilation pipeline
At present it just annotates each block with a comment
indicating what local registers are live at the start
of the block.

Added compiler/cmm/Dataflow.hs
Dataflow.hs contains an early draft of the live variable analysis.
This draft contains known bugs and is being recorded only to provide
a point to be revert back to if necessary.

Generate .LC_ indirection-symbols also on x86_64 (as on all other archs running Linux)

Restrict .type directives to Linux targets only

Have the users guide just refer to the wiki page on how to report a bug

Try harder to avoid making a variable with RULES into a loop-breaker

See Note [Recursive rules] in OccurAnal

Remove the large ghci banner, and the flags to choose which banner to show
Fans of the banner can add
    putStrLn "   ___         ___ _"
    putStrLn "  / _ \\ /\\  /\\/ __(_)"
    putStrLn " / /_\\// /_/ / /  | |   GHC Interactive, for Haskell 98."
    putStrLn "/ /_\\\\/ __  / /___| |   http://www.haskell.org/ghc/"
    putStrLn "\\____/\\/ /_/\\____/|_|   Type :? for help."
    putStrLn ""
to their ~/.ghci

Print the right usage message
The logic for printing the ghc and ghci usage messages was inverted.
However, the ghci case will never actually happen with the current code,
as we print a usage message when cli_mode == ShowUsage and choose the
ghci usage message if cli_mode == DoInteractive. This should be fixed
as part of a larger options handling overhaul.

-fasm doesn't really take an argument

clean installPackage too

FIX #1471: print strings using Haskell quoting syntax

Need to build filepath before directory

Tidy up -keep* flags

Improve loop-breaker scoring in OccAnal (idea from Roman)

See Note [Closure conversion] in OccurAnal for details of this
patch (which merely involves *deleting* a test!).  The test case
was produced by Roman, and shows up when doing closure conversion
and vectorisation for data parallelism.  But perhaps other times too.

Many comments about oclose, plus a fix for Trac #1456

There was a rather subtle bug in the way 'oclose' works when
generalising top-level function definitions.  See
Note [Important subtlety in oclose]
in FunDeps for an explanatoin.

I also tidied up duplication in comments while I was here.

Improve error message (Trac #1446)

Fixing hpc tools for 6.2 and 6.4

Refine printing of names in unification mis-match

Improve name-printing on unification mis-matches, when types share a common occurrence name

This improvement arose from a suggestion in Trac #1465

Add flags for record extensions; still not working properly though

FIX BUILD: we need --exclude-module Trace.* too

unbreak "recompile utils with stage 1"

Checking that type indexes contain no synonym family applications

RHS of a type instance must be a tau type

Overlap check for type families
- If two "type instance"s overlap, they right-hand sides must be syntactically
  equal under the overlap substitution.  (Ie, we admit limited overlap, but
  require the system to still be confluent.)

Further compileToCore improvements

Per suggestions from Simon M:

* Changed GHC.checkModule so that it doesn't call depanal.
* Changed GHC.checkModule to optionally return Core bindings
as a component of the CheckedModule that it returns (and
resulting changes to HscMain.hscFileCheck).
* As a result, simplified GHC.compileToCore and changed it
to load the given file so that the caller doesn't have to.

Fixed a documentation error

disable .type directives on Windows; they confuse mingw's assembler

Set .type @object for all global symbols in NCG

When linking against a dynamic library, the linker will emit a warning
if no type information is present within the library. We generate the
most trivial type for all externally visible labels, namely @object.

Also make proper references when not using fPIC but linking against dynamic libs

Generate RelocatableReadOnlyData as .data

The GNU linker expects read-only sections to be relocation
free. Presumably because the dynamic linker maps all read-only
sections as read-only mmaps and hence can't do relocations.

If we want text-relocation-free shared libraries we have to put all
relocations into writable sections, hence .data.  See
http://www.mail-archive.com/cvs-all@haskell.org/msg15119.html

Generalize linkDynLib for ELF platforms

To create a dynamic shared object (DSO) on ELF platforms, we invoke
"gcc -shared". This in turn invokes ld. We supply -Bsymbolic to the
linker, as "ld -Bsymbolic -shared -o <lib> <objs>" resolves all
references from <objs> to <objs> at library creation time.

See http://hackage.haskell.org/trac/ghc/wiki/Commentary/PositionIndependentCode

Renames functions and constructors to fit their new ability for dynamic linking
function: staticLink -> linkBinary (will link non static binaries too)
function: doMkDLL -> linkDynLib (as we can link on ELF too where DLL is an inappropriate term)
constructor: MkDLL -> LinkDynLib