Add PatternGuards flag

Add flags for TypeSynonymInstances and FlexibleInstances

Implement -XFunctionalDependencies

Implement -XRecursiveDo

Implement -XGeneralizedNewtypeDeriving

Add -XParallelListComp

Vectorise lets

Split vectorisation environment into a global and a local part

First cut at vectorisation of expressions

Construction of PA dictionaries for vectorisation

Vectorisation-specific imports

Utilities for handling closure types during vectorisation

Add orElse combinator for vectorisation monad

Extend vectorisation environment

Allow variables to be mapped to arbitrary CoreExprs in vectorisation monad

Add failure to vectorisation monad

Fixing native code generator for PowerPC

Add -XMultiParamTypeClasses flag

Implement -XKindSignatures

Add -XEmptyDataDecls flag

Support the MagicHash extension as a flag and LANGUAGE pragma

Tidy up comments in DynFlags

FIX #1472 (also #249, which was not completely fixed previously): -caf-all bugs

allow build settings to be overriden by adding mk/validate.mk

Remove foldl' from Util; use the Data.List one instead

undo: Get the path right for :list
This is breaking :list for someone.  If there's a problem here, we
should fix it another way.

-ddump-hi-diffs shouldn't imply -fforce-recomp, that defeats the purpose

Added comment to the Cmm parser showing code for use one CPS is enabled

Eliminated use of 'fromJust' from the CPS pass

Fixed a bug in the CPS pass

Updated the call to the CPS pass for the factoring out of cmmToRawCmm
That call was and is commented out, but it serves as documentation
for when the CPS pass will be turned on.

Added support for GC block declaration to the Cmm syntax

Ensure no statements after CmmReturn are emitted

FIX BUILD (Windows)

Vectorise unlifted and tuple tycons

Vectorisation of types

Add TyCons to vectorisation  monad

Vectorisation monad

Add ndp docs

Include vectorisation into the simplifier pipeline

Add vectorise subdirectory and dummy module

Add -fvectorise

Add NDP-related PrelNames

Make package ndp wired-in

FIX BUILD (OS X): Include correct gmp.h if using GMP.framework

On OS X, we have to #include <GMP/gmp.h> if we are using GMP.framework. Before
the recent GMP changes, gcc (incorrectly) used the gmp.h supplied by ghc but
that is gone now.

hpc is now a corelib, so always build it

Update the in-tree GMP; fixes trac #832
gmp is now in a top-level directory and we only have the tarball in the
darcs repo. It gets untarred if it is needed.

FIX BUILD (with GHC 6.2.x): System.Directory.Internals is no more
Update functions in Compat.Directory from originals in System.Directory

Warning Police

Tidy up IsIrred (no need for argument any more)

Fix Trace #1494

A tricky bug to do with the way the implication constraints are
solved in TcSimplify.  See Note [Reducing implication constraints].

The standard SUBDIRS in the top level Makefile should include libraries

Remove mapAccumL, mapAccumR, mapAccumB
mapAccumL and mapAccumR are in Data.List now.
mapAccumB is unused.

Remove the unused "Eager monad"

Add a type signature

Remove unused functions (applyToPair, applyToFst, applyToSnd)

Remove unused cfst (== const)

Remove prefixMatch and suffixMatch from Util
Use standard isPrefixOf/isSuffixOf instead.

Use $(HC), not $(GHC) to compile ghc-inplace

$(GHC) is always the installed compiler, $(HC) changes depending on
the stage.  This has the nice effect that we build stage2/ghc-inplace
using the stage1 compiler, and get to take advantage of bugfixes in
stage1 relative to $(GHC) (in particular I want the non-blocking stdin
fix for stage2, otherwise piping the testsuite output through tee
fails).

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.