Add Outputable GhcMode instance

Improve error reporting for 'deriving' (Trac #2604)

Add link to GADT paper re rigid types

Fix MacOS X build: don't believe __GNUC_GNU_INLINE__ on MacOS X

require Alex version 2.1.0
Having 2.0.1 causes some unicode tests to fail

Type families: fixes in the new solver

ext-core library: Parser fixes; make it build with the HEAD

In the ext-core parser I guess I never tested:
* existential type variable bindings in case alts
* empty data declarations

That'll learn me!

Wibble ghc-pkg imports to fix building on Windows

ghc-pkg needs to make package.conf with sensible permissions
It was calling openTempFile which uses a 600 permissions mask.

Change 'loadWithCompiler' callback argument to just print warnings.
Rename function accordingly.

The callback wasn't very flexible to begin with.  There's pretty much
no way around to calling 'compile' inside that callback since
'upsweep' depends on certain side effects of compile.  It therefore
makes more sense to restrict the callback to its intended use only,
namely to log warnings and errors.

Fix: GhcStage2HcOpts were being added to stage 3 too

Type families: unify with family apps in checking mode

Type families: bug fixes

Keep sysnonyms folded in equalities if possible

Type families: apply flattening coercions in the right order

TcTyFuns: tidy warning

Signature for Inst.isValidWantedEqInst

Remember if RewriteInst is swapped & bug fixes

Type families: fixed all non-termination in the testsuite

Type families: completed the new equality solver
- Implements normalisation of class constraints containing synonym family
  applications or skolems refined by local equalities.
- Clean up of TcSimplify.reduceContext by using the new equality solver.
- Removed all the now unused code of the old algorithm.
- This completes the implementation of the new algorithm, but it is largely
  untested => many regressions.

Use the new -optdep flag replacements when building with >= GHC 6.9
Fix building the HEAD with itself

Use "exec" when running ghc in the wrapper

Add "#!/bin/sh" to runghc.wrapper

Add a "#!/bin/sh" to ghc.wrapper

Fixing directory creation to not create "" directories inside hpc report (harmless but needless)

Fix Trac #2052 Allowing hpc to understand hsc files.

Fix Trac #2311: creates subdirs for package coverage information

FIX #2469: sort out our static/extern inline story
gcc has changed the meaning of "extern inline" when certain flags are
on (e.g. --std=gnu99), and this broke our use of it in the header
files.

Fix a warning

Stop using mremap() to allocate space for trampolines

This was causing problems because sometimes mremap() moved the memory
we had allocated from the low 2Gb to above the 2Gb boundary, causing
some linkages to fail.  There's no MAP_32BIT flag to mremap().

So now we just use mmap(MAP_ANON|MAP_32BIT) to allocated space for the
trampolines.  People without MAP_32BIT (eg. *BSD) will still have to
do something else here, such as allocating memory from a fixed
address; so I've made it slightly easier for those guys, but there's
still work to do (#2063).

One solution (that Simon PJ is advocating) is to turn on -fPIC by
default on x86-64.  This is a good solution as it removes the need for
MAP_32BIT, but doesn't work with -fvia-C, so probably this is for
later.

add $(GhcStage[123]HcOpts)

Improve handling of -fdph-* flags

Add -fdph-this

Remove last traces of package ndp

Clean up vectorisation error messages

Fix vectoriser bug

We were using mkWildId in situations where it cause disastrous shadowing

Track changes to dph

Change desugaring of PArr literals

Expose the dph packages automatically if -dph-* is set

Don't panic on non-vectorisable expressions

-Odph implies -fno-spec-constr-count

Improve warning for SpecConstr

White space only

Minor refactoring to get rid of Type.splitNewTyConApp

Refactor the desugaring of RULE lhss a bit

This is just a tidy-up.  Previously we were calling occurAnalyse
twice on each LHS which was silly and a bit unclean too.

This patch should have no overall effect, though.

Do not use the Static Arg Transformation by default with -O2

Max has some more heuristics to add, and is meanwhile worried
that having SAT on by default will make some highly-tuned array
programs worse.  So it's off by default.

Use -fstatic-argument-transformation to switch it on.

Comments, and a couple of asserts, only

Fix Trac #2587: take account of type lets

GHC allows a non-recursive let for type varaibles
let a = TYPE ty in ...
But the free-variable finder had not caught up with this
fact. This patch catches up.

Don't try to float type-lets

A type let shouldn't really occur in SetLevels, but if it does,
this patch makes sure it is left alone.

add refs and fix a bug (noted by Peter Gammie) in docs of arrow notation

Generalise type of 'withExtendedLinkEnv'.

Use 'GhcMonad' in ghci/InteractiveUI.

Use 'GhcMonad' in ghci/GhciTags.

Use 'GhcMonad' in ghci/Debugger.

Use 'GhcMonad' in ghci/GhciMonad.

Use 'GhcMonad' in ghc/Main.

Require PatternSignatures for bootstrapping compiler.

Use 'GhcMonad' in InteractiveEval.

Use 'GhcMonad' in GHC and split up checkModule into phases.

I'm not sure I covered all the ways of throwing errors in the code.
Some functions throw ProgramErrors, some error messages.  It's still
quite a mess, but we're getting closer.  The missing cases are mostly
errors that cannot be fixed by the API client either or are a result
of wrong usage, so are in any case fatal.

One function, 'getModuleInfo', still returns a 'Maybe', but the
documentation suggests it should always succeed.  So I may change that
soon.

The spit-up of of 'checkModule' has pros and cons.  The various forms
of 'checkModule*' now become:

 checkAndLoadModule ms False ~~>
    loadModule =<< typecheckModule =<< parseModule (ms_mod_name ms)

 checkAndLoadModule ms True ~~>
   loadModule =<< desugarModule =<< typecheckModule =<< parseModule (ms_mod_name ms)

 checkModule mn False ~~>
   typecheckModule =<< parseModule mn

 checkModule mn True ~~>
   desugarModule =<< typecheckModule =<< parseModule mn

The old APIs cannot easily be provided, since the result type would be
different depending on the second argument.  However, a more
convenient API can be modelled on top of these four functions
({parse,typecheck,desugar,load}Module).

Use 'GhcMonad' in DriverPipeline.  Also haddockify a bit while we're at it.

Use 'GhcMonad' in HscMain.

Use 'GhcMonad' in DriverMkDepend.

Haddockify DynFlags (partial).

Haddockify 'IE'.

Provide accessors for 'ImportDecl'.

Start haddockifying 'HsBindLR'.

Document 'parseStaticFlags'.

Introduce 'GhcMonad' class and two default implementations 'Ghc' and 'GhcT'.

This monad will be required by most public API calls.

Give the "Failing due to -Werror" message a name.

Make typechecker top-level functions also return messages instead of
printing them.

Reflect changes of desugarer error reporting in VectMonad.

Generalise 'handleGhcException' to work with any 'ExceptionMonad'.

Introduce an 'ExceptionMonad' class.

This monad provides variants of 'catch', 'bracket', and 'finally', so
exceptions can be handled in monads that wrap IO.  The latter two
methods need to be part of the class definition, because GHC uses
'block' and 'unblock' which are used in the definition of those two
methods for the IO monad.  A perhaps better class interface would
consist of 'gcatch', 'gblock', and 'gunblock' and let the latter two
default to 'id' like is done for non-GHC implementations of 'bracket'
and 'finally'.

Provide default MonadIO instance for IO.

Return instead of print warnings and errors in desugarer.

Return parser errors and warnings instead of dying.

Add aliases for bags of warnings and errors.

Slightly more helpful panic message in DynFlags

Comments only: ".core" => ".hcr"

We need to tell ghc-pkg to --force if we've only built a profiling library

If we're profiling GHC, don't bother building the GHC package the vanilla way

Remove the duplicate show rule in libraries/Makefile

Move the "show" target from target.mk to boilerplate.mk
target.mk isn't included everywhere, but show is always handy

Change how we detect if we are using the bootstrapping compiler or not
I think looking for $(GHC_COMPILER_DIR_ABS) was failing on the Windows
buildbot due to different path separators. Now we just look for
"inplace".

wibble the distrib Makefile
We now need to install driver after ghc

Reinstate the driver/ghc directory, to create a versioned GHC program
e.g. $(bindir)/ghc-6.9.20080911

If USE_NEW_MKDEPEND_FLAGS is YES then don't use the deprecated -optdep flags

Use --force-local when calling tar in bindisttest/
Otherwise it thinks that c:/foo is a remote file

Fix #2586, bug in THUNK_SELECTORs (again)
This time, we had forgetten the write barrier in one place.

Fix crash in biographical heap profiling (#2576)

Fix retainer profiling (#2576)

Fix some bugs in the stack-reducing code (#2571)

ext-core library: Add dead code eliminator for Core

Added code for dead code elimination to the ext-core library. This can be used in concert with Language.Core.Merge to produce a single self-contained module without unnecessary cruft.

ext-core library: expose some more modules

ext-core library: Change syntax for primitive coercions

Changed the ext-core syntax to include primitive coercions (left, right, sym, trans, etc.) as syntax rather than referring them to their names as in GHC. (I hope I updated the docs to reflect this...)

ext-core library: Export a lot more things from Prims

See comments for details.

ext-core library: Extend Core preprocessor

See comments for details.

ext-core library: Export a bunch more stuff from the parser

ext-core library: Fix performance bug

isUtupleTy was implemented inefficiently (and is called a lot by the typechecker). Replaced with uglier but faster code.

ext-core library: Remove some cruft