Rank 2 and rank n types enable explicit forall syntax

RULES pragmas only need explicitForallEnabled, no -fglasgow-exts

Implement -XDeriveDataTypeable flag

Adding hpcError, that improves error messages with usage

Adding support for packages into hpc tools

Adding tick boxes to the interface syntax; fixes #1510

calling pprPanic rather than error when something goes wrong

Adding better support for HsSyn

Adding support for package names into hpc outputed code
We store .mix files in

 .hpc/<package>/<the.module.name>.mix

The package main the empty package (aka other naming passes),
so Main just is stored in

 .hpc/Main.tix

This change in backwards compatable.

Stoping constant folding of calls to chr# that are invalid

import GHC.Exts
main = print (C# (chr# 0xffffffff#))

This crashed at compile time (with or without hpc)
Tickled by pending cross-module hpc inlining patch.

Be finer-grained when turning on extensions for generated code

Tweak error message

Fix tcInstHeadTyNotSynonym
It was returning False for type variables amongst other things, so
"instance C a" was telling us to use -XTypeSynonymInstances.

Add flag -XConstrainedClassMethods

Just alpha-rename a variable

Add -XUnliftedFFITypes flag

Implement unboxed tuples flags
-XUnboxedTuples
-XExpressionSignaturesUnboxedTuples
-XTypeSynonymUnboxedTuples

Tweak the undecidable-instance-checking logic
Just looking at Opt_GlasgowExts is not sufficient to see if we need
to do an instance undecidability check. Rather than try to enumerate
all the extensions that may require us to do the check we now always
do it.

Define -XPartiallyAppliedClosedTypeSynonyms flag

Add -XPatternSigs flag

PA is now a class instead of a record

Add dsLookupClass

Lookup of class and family instances in vectorisation monad

oops, revert part of the +RTS -V0 patch which was accidentally included

FIX rts build failure for powerPC build

The rts was failing with

../compiler/ghc-inplace -H64m -Onot -fasm -optc-O2 -static -I../gmp/gmpbuild -I. -#include HCIncludes.h -dcmm-lint  -hisuf thr_p_hi -hcsuf thr_p_hc -osuf thr_p_o -optc-DTHREADED_RTS -prof -#include posix/Itimer.h  -c PrimOps.cmm -o PrimOps.thr_p_o
ghc-6.7.20070709: panic! (the 'impossible' happened)
  (GHC version 6.7.20070709 for powerpc-apple-darwin):
        iselExpr64(powerpc) %MO_U_Conv_I32_I64(16 / 4 - 2)

There was a special case for x86; so it has been transliterated to the PPC, and the output code looks plausable.

Add vectorisation modules to package ghc

Put vectorisation monad into a separate file

Vectorisation of type abstractions

Utility functions for vectorisation

Fix #1505; failure to catch syntax error in :break command

Fix the +RTS -V0 option introduced recently; it didn't work at all, now it does.
Also, I documented it.  +RTS -V0 disables the internal RTS timer
completely, which is useful for repeatable debugginng.

FIX -fexcess-precision
Ugly hack; see comments for details

Remove unused binding

Add -XTypeOperators flag

Add -fprint-explicit-foralls flag; fixes trac #1474

Add -XFlexibleContexts flag

Add -XExistentialQuantification flag

Implement -XPolymorphicComponents

rename tv -> explicitForall

Implement -XUnicodeSyntax

libraries/hpc is boring (in the GHC repo)

Add flags for Rank2Types and RankNTypes

Make CPP a -X flag

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)