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

ext-core library: Add code for merging multiple Core modules into a single module

I added a new module, Merge, to the ext-core library that combines a list of ext-core modules into a new, uniquely renamed module.

See comments in Merge.hs for more details.

Use OSThreadProcAttr for workerStart

Include docs in the bindists

Don't install pwd

In stgReallocForGMP, we need to copy min(old_size,new_size)
We used to always copy old_size

Tell perl to autoflush output in darcs-all. Suggested by Claus Reinke

Remove dataConInstOrigDictsAndArgTys

This suspicious function had just one call, in BuildTyCl.mkNewTyConRhs.
I've done it another way now, which is tidier.

We always install stage2, so we need to always put stage2 into bindists

Add a do-nothing install-docs rule in ext-core/ when LATEX_DOCS=NO

Link to core.pdf, not core.ps.gz

Fix debug message formatting on Windows

Check the *right* set of type variables for escape!

I did the wrong checkSigTyVars, which (happily) triggered an ASSERT
failure.  This should fix it.

More refactoring of instance declarations (fixes Trac #2572)

In refactoring instance declarations I'd taken a short cut over
scoped type variables, but it wasn't right as #2572 shows.

Fixing it required a significant chunk of further refactoring,
alas. But it's done!  Quite tidily as it turns out.

The main issue is that when typechecking a default method, we
need two sets of type variables in scope
class C a where
      op :: forall b. ...
  op = e
In 'e', *both* 'a' and 'b' are in scope.  But the type of the
default method has a nested flavour
op :: forall a. C a => forall b. ....
and our normal scoping mechanisms don't bring 'b' into scope.
(And probably shouldn't.)

Solution (which is done for instance methods too) is to use
a local defintion, like this:

  $dmop :: forall a. C a => forall b. ....
  $dmop a d = let
                 op :: forall b. ...
                 op = e
              in op

and now the scoping works out.  I hope I have now see the
last of this code for a bit!

Fix Trac #2581: inlining of record selectors

Bryan discovered that a non-trivial record selector (non-trivial in
the sense that it has to reconstruct the result value because of
UNPACK directives) weren't being inlined.  The reason was that the
unfolding generated by MkId.mRecordSelId was never being optimised
*at all*, and hence looked big, and hence wasn't inlined.

(The out-of-line version *is* put into the code of the module
and *is* optimised, which made this bug pretty puzzling.  But the
unfolding inside the record-selector-Id itself, which is a GlobalId
and hence does not get its inlining updated like LocalIds, was
big and fat.)

Solution: I wrote a very simple optimiser, CoreUnfold.simplOptExpr,
which does enough optimisation to solve this particular problem.
It's short, simple, and will be useful in other contexts.

Fix Trac #2573; and explanatory comment

Fix the zonking of HsWrappers

HsWrappers are horribly inconsistent at the moment. I intended that
  WpLam, WpApp     are for evidence abstraction/application
  WpTyLam, WpTyApp are for type abstraction/application

But when we zonk (WpApp co), where co is a coercion variable, we
get a *coercion* not a coercion *variable*.   So for now I'm making
it into a WpTyApp, which the desugarer handles perfectly well.

(I'd forgotten to zonk it properly at all; that is the bug that
this patch fixes.)

Add newDictOcc, newDictOccs

Layout and type synonyms only

Robustify the setting of implied flags

When setting implied flags, do so recursively.  So if -Xa implies -Xb,
and -Xb implies -Xc, we do the right thing.

I thought we needed this, but we don't.  But it seems like a good idea
anyway.

Rename a variable

Comments only

Simplify the type signature for tcPolyBinds

Tell GHC which module nON_EXHAUSTIVE_GUARDS_ERROR_ID comes from

This one was missed when the error-ids all moved to Control.Exception.Base
(The nofib test 'fluid' showed it up.)

Improve float-in somewhat

See Note [Floating in past a lambda group]. The new thing
here is that we previously were not floating in past a group
that had (\(a:*) \(x:State# a). e), with a type var *and* a
one-shot lambda.

The fix makes wave4main allocate 2% less, and doesn't change any other
nofib number, so it's not a big deal.

Important performance wibble to callSiteInline (the n_vals_wanted > 0 thing)

See Note [Inlining in ArgCtxt].  This very small change gives quite a
big performance win. Just showing the bigger ones:

        Program           Size    Allocs   Runtime
--------------------------------------------------------------------------------
           anna          -0.7%     -4.3%      0.15
       cichelli          -0.6%     -6.4%      0.15
         fulsom          -0.4%    -18.5%     -8.1%
            gcd          -0.6%    -12.0%      0.06
        integer          -0.6%    -16.2%     -8.4%
          power          -0.7%    -19.3%     -4.8%
--------------------------------------------------------------------------------
            Min          -0.7%    -19.3%    -15.7%
            Max          -0.1%     +0.1%     +5.7%
 Geometric Mean          -0.6%     -1.9%     -4.3%

The original change was to improve a case that Roman found (see test
eyeball/inline1) but that seems to work ok now anyway.

when a memory leak is detected, report which blocks are unreachable

Separate pruning from marking of spark pools
Fixes crash when using compacting GC in parallel programs

un-disable warnings in some modules

Fix warnings

More sanity checking for the TSO write barrier
Check that all threads marked as dirty are really on the mutable list.

Move checkGlobalTSOList() call from GarbageCollect() to checkSanity()

small bugfix in traverseBlackHoleQueue()

Fix race condition in wakeupThreadOnCapability() (#2574)
wakeupThreadOnCapbility() is used to signal another capability that
there is a thread waiting to be added to its run queue.  It adds the
thread to the (locked) wakeup queue on the remote capability.  In
order to do this, it has to modify the TSO's link field, which has a
write barrier.  The write barrier might put the TSO on the mutable
list, and the bug was that it was using the mutable list of the
*target* capability, which we do not have exclusive access to.  We
should be using the current Capabilty's mutable list in this case.

Fix compacting GC bug: don't forget to thread the blackhole_queue

Capability stopping when waiting for GC

Scheduler code cleanup

This patch removes old code from the Schedule.c file.

I removed GRAN code for GranSim, a simulator for parallel Haskell execution with GpH model.
This code is inactive since ghc-4.x.

Code for PARALLEL_HASKELL has been partially removed. The remaining code is valid, but can
refer to nonexisting functionality in other files.

Fix parallel GC bug (crash in concprog001(threaded2))
Two threads were trying to move the same TSO.  I like this test, it
has caught plenty of bugs in the past.