Don't require Parser.y in a source dist

Add HpcParser.hs to source dists

Fix the list of generated files that need to go into the source dists

Improve documentation of overlapping instances

Put generated files in source dists
We don't want to require that users building source dists have alex/happy

Add libraries/syb to .darcs-boring

Fix a couple of issues with :print

      - Ticket #1995: Unsoundness with newtypes
      - Ticket #2475: "Can't unify" error when stopped at an exception

      In addition this patch adds the following:

      - Unfailingness: RTTI cannot panic anymore.
        In case of failure, it recovers gracefully by returning the "I know nothing" type
      - A -ddump-rtti flag

wibble

RichTokenStream support

This patch adds support for raw token streams, that contain more
information than normal token streams (they contains comments at
least). The "lexTokenStream" function brings this support to the
Lexer module. In addition to that, functions have been added to
the GHC module to make easier to recover of the token stream of
a module ("getTokenStream").

Building on that, I added what could be called "rich token
stream": token stream to which have been added the source string
corresponding to each token, the function addSourceToToken takes
a StringBuffer and a starting SrcLoc and a token stream and build
this rich token stream. getRichTokenStream is a convenience
function to get a module rich token stream. "showRichTokenStream"
use the SrcLoc information in such a token stream to get a string
similar to the original source (except unsignificant
whitespaces). Thus "putStrLn . showRichTokenStream =<<
getRichTokenStream s mod" should print a valid module source, the
interesting part being to modify the token stream between the get
and the show of course.

When passing gcc -B, also tell it where the mingw include directory is

Don't put the mingw directory in RTS's package.conf

Be more forceful when cleaning in compiler/ and ghc/
Now that the Cabal file is generated by configure, it would be nice
if clean worked even if the cabal file is missing. So now we just rm -rf
the dist directory.

Generate ghc.cabal and ghc-bin.cabal with configure
This allows us to put the proper version number into them

Make the ghci scripts point to the versioned GHC program, not just "ghc"

Fix Trac #1470: improve handling of recursive instances (needed for SYB3)

This bug has been hanging around for a long time, as you'll see by its
number. The fix implements a feature that is really needed by SYB3, to
allow an instance to (rather indirectly) refer to itself.  The trickiness
comes when solving the superclass constraints.

The whoel issue is explained in Note [Recursive instances and superclases]
in TcSimplify.

In cracking this one I found I could remove the WantSCs argument to the
ReduceMe flag, which is a worthwhile simplification.  Good!

Comments only

Replace ASSERT with WARN, and explain why

The DPH library tripped an ASSERT.  The code is actually OK, but it's
badly-optimised so I changed it to WARN.  The issue here is explained
in ClosureInfo, Note [Unsafe coerce complications].

Add a missing "prime" (env' --> env'') thereby fixing a tripping WARN.  Hurrah!

Fix nasty infelicity: do not short-cut empty substitution in the simplifier

I was perplexed about why an arity-related WARN was tripping. It took
me _day_ (sigh) to find that it was because SimplEnv.substExpr was taking
a short cut when the substitution was empty, thereby not subsituting for
Ids in scope, which must be done (CoreSubst Note [Extending the Subst]).

The fix is a matter of deleting the "optimisation".  Same with
CoreSubst.substSpec, although I don't know if that actually caused a
probem.

Avoid arity reduction when doing eta-reduce

We like things with high arity, so when doing eta reduction
it's probably a good idea to avoid reducing arity.

Add extra WARN test

This warning tests that the arity of a function does not decrease.
And that it's at least as great as the strictness signature.

Failing this test isn't a disater, but it's distinctly odd and
usually indicates that not enough information is getting propagated
around, and hence you may get more simplifier iterations.

Comments only

Re-adjust interaction between -ddump flags and force-recompilation

If you say -ddump-xx we effectively add -fforce-recomp, so that you
see your dump output.  But this works badly in --make mode, because
you get the ddump output for every module, which is probably not what
you want.  This patch forces recompilation with -ddump-X only in one-shot
mode.

Of course, this only affects people using -ddump options.

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.