More modules that need LANGUAGE BangPatterns

Add LANGUAGE BangPatterns to modules that use them

Warn about top-level bangs (Trac #4477)

A simple refactoring in the parser

Slurp author spellings file from base and add more authors

A (final) re-engineering of the new typechecker

Regression testing and user feedback for GHC 7.0 taught
us a lot.  This patch fixes numerous small bugs, and some
major ones (eg Trac #4484, #4492), and improves type
error messages.

The main changes are:

* Entirely remove the "skolem equivalance class" stuff;
  a very useful simplification

* Instead, when flattening "wanted" constraints we generate
  unification variables (not flatten-skolems) for the
  flattened type function application

* We then need a fixup pass at the end, TcSimplify.solveCTyFunEqs,
  which resolves any residual equalities of form
      F xi ~ alpha

* When we come across a definite failure (e.g. Int ~ [a]),
  we now defer reporting the error until the end, in case we
  learn more about 'a'.  That is particularly important for
  occurs-check errors.  These are called "frozen" type errors.

* Other improvements in error message generation.

* Better tracing messages

Allow the old [$foo| ... |] syntax for quasi-quotes

This is just a backward-compatibility thing, to be removed
eventually.

Fix multi-line string (minor glitch in stage-1 compiler)

Add upstream URLs for vector and primitive

Obey the -rtsopts flag when making shared libraries; part of #4464

Avoid scary message from tar if dph isn't in the tree

Whitespace only

Remove no-longer-necessary withFlattenedDynflags

Use liftIO rather than io

Fix a #if test
showMultiLineString is only in >= 7.1.

Fix building genprimopcode with GHC 7.0, and remove haskell98 imports

On Windows, when returning memory to the OS, we try to release it
as well as decommiting it.

Whitespace only, in rts/win32/OSMem.c

Improve error messages

In particular, instead of
   Cannot match 'a' with 'b'
we get
   Could not deduce (a~b) from context (F a ~ b)
or whatever

Uncomment and fix an OS X linker debug print

fix bugs in tryTakeMVar/tryPutMVar
I'm surprised that these haven't caused any problems (or maybe they have?)

Remove duplicate PrimopWrappers generation
We were generating PrimopWrappers.hs twice in two different places,
one for the normal build and one for Haddock (I think).  Unfortunately
one of these was causing extra rebuilding, because the file dropped
into the dist-install/build/autogen directory, where it was picked up
by the automatic HS_SRCS detection in subsequent make runs.  This was
exposed by a recent change to HS_SRCS:

  Wed Oct 20 11:47:59 BST 2010  Ian Lynagh <igloo@earth.li>
    * Look for sources in Cabal's autogen directory too

This should fix the stage3 failures in the build bots.

Comment out bogus debug line that broke build on OSX

Fix import warning

Cleanup comments and formatting only

Nicer error message for #3782
It now says:

ghc-stage2: sorry! (this is work in progress)
  (GHC version 7.1.20101028 for i386-apple-darwin):
Vectorise.Builtins.indexBuiltin

    DPH builtin function 'sumTyCon' of size '11' is not yet implemented.
    This function does not appear in your source program, but it is needed
    to compile your code in the backend. This is a known, current limitation
    of DPH. If you want it to to work you should send mail to cvs-ghc@haskell.org
    and ask what you can do to help (it might involve some GHC hacking).

I added 'pprSorry' that behaves like 'pprPanic' except it say sorry! instead
of panic!, and doesn't ask the user to report a bug.

Replace some exit(n) calls with stg_exit(n); fixes trac #4445
Also changed exitcode of -1 to 1 in hpc.

Remove -ds-multi-tyvar static flag

It was always secret, and has now vanished as silently as it came

Deprecate -fmethod-sharing, which no longer does anything

We can remove it altogether in GHC 7.2

Do w/w *recursive* things even if they are small

A wibble to my previous change in WorkWrap, fixes simplrun010

Two signficant changes to the simplifier

1. Do eta-expansion at let-bindings, not lambdas.
   I have wanted to do this for a long time.
   See Note [Eta-expanding at let bindings] in SimplUtils

2. Simplify the rather subtle way in which InlineRules (the
   template captured by an INLINE pragma) was simplified.
   Now, these templates are always simplified in "gentle"
   mode only, and only INLINE things inline inside them.

   See Note Note [Gentle mode], Note [Inlining in gentle mode]
   and Note [RULEs enabled in SimplGently] in SimplUtils

Yet another go at CoreArity

Amazingly, there were still Wrong Things in the arity analysis,
exposed by my fiddling with eta expansion.

I simplified the code, clarified the comments, added more examples,
and tidied it all up.  I hope it's better this time.

Buglet in tcIface, now that nested binders can have pragmas

This fix ties the knot for recursive groups properly

Add strictness for raiseIO# primop

Don't worker-wrapper INLINABLE things

See Note [Don't w/w INLINABLE things] in WorkWrap

This fixes a bug that Milan found.

Refactoring and tidyup of HscMain and related things (also fix #1666)
While trying to fix #1666 (-Werror aborts too early) I decided to some
tidyup in GHC/DriverPipeline/HscMain.

 - The GhcMonad overloading is gone from DriverPipeline and HscMain
   now.  GhcMonad is now defined in a module of its own, and only
   used in the top-level GHC layer.  DriverPipeline and HscMain
   use the plain IO monad and take HscEnv as an argument.

 - WarnLogMonad is gone.  printExceptionAndWarnings is now called
   printException (the old name is deprecated).  Session no longer
   contains warnings.

 - HscMain has its own little monad that collects warnings, and also
   plumbs HscEnv around.  The idea here is that warnings are collected
   while we're in HscMain, but on exit from HscMain (any function) we
   check for warnings and either print them (via log_action, so IDEs
   can still override the printing), or turn them into an error if
   -Werror is on.

 - GhcApiCallbacks is gone, along with GHC.loadWithLogger.  Thomas
   Schilling told me he wasn't using these, and I don't see a good
   reason to have them.

 - there's a new pure API to the parser (suggestion from Neil Mitchell):
      parser :: String
             -> DynFlags
             -> FilePath
             -> Either ErrorMessages (WarningMessages,
                                      Located (HsModule RdrName))

follow changes in the GHC API

tweaks

comment

Warn (not error) for SPECIALISE pragmas without INLINE

See Note [SPECIALISE pragmas] in TcBinds.  Fixes Trac #444.

fix stage1_libs pseudo-target

Fix #4424.  Allow `-hide-all-packages` to be set dynamically.

Fix whitespace and layout in PrelRules.

Fix for #4318 (Linker failure on OS X 10.6)

This patch fixes two bugs in the Mach-O linker and adds debugging statements
to the same. The bugs:

1. The test for symbol->n_value == 0 is removed and replaced by a test of the
flag field.  Checking the n_value field was just wrong; the value of a
symbol should only be examined when allocating space for a common block,
in which case the n_value field gives the size of the block.  This bug
led to an infrequently occuring linker crash.

I believe the behavior of the linker now agrees with the intent of the
sketchy Apple documentation.

2. Jump islands were being filled with garbage instead of the the location
of the referenced symbol. This caused relocations of type X86_64_RELOC_GOT and
X86_64_RELOC_GOT_LOAD to eventually lead to crashes.  The fix is simply to
look up the symbol.

Enough debug statements have been added to follow the operation of the Mach-O
linker while it loads modules.  They are not yet as informative and well
organized as for ELF.  Improving the debug statements will require some
reorganization of the code -- the Mach-O linker seems basically sound, but
is crying out for some refactoring and commenting.

Use removeDups to find top-level duplicate names
findDupsEq is quadratic, whereas removeDups is n log n.
Fixes T1969 regression.

Remove unnecessary imports

Add NoFoo form to the extensions list that dummy-ghc generates

Fix a long-standing bug the float-out pass

We were failing to float out a binding that could be floated,
because of a confusion in the Lam case of floatExpr.

In investigating this I also discoverd that there is really
no point at all in giving a different level to variables in
a binding group, so I've now given them all the same (in
SetLevels.lvlLamBndrs

The overall difference is quite minor in a nofib run:

        Program           Size    Allocs   Runtime   Elapsed
-------------------------------------------------------------
            Min          +0.0%     -8.5%    -28.4%    -28.7%
            Max          +0.0%     +0.7%     -0.7%     -1.1%
 Geometric Mean          +0.0%     -0.0%    -11.6%    -11.8%

I don't trust those runtimes, but smaller is good!  The 8.5%
improvement in allocation in fulsom, and seems real.  The
0.7% allocation increase only happens in programs with
very small allocation.  I tracked one down to a call of this form

  GHC.IO.Handle.Internals.mkDuplexHandle5
    = \ args -> GHC.IO.Handle.Internals.openTextEncoding1
                  mb_codec ha_type
                  (\mb_encoder mb_decoder -> blah)

With the new floater the argument of openTextEncoding1 becomes

     (let lvl = .. in \mb_encoder mb_decoder -> blah)

And rightly so.  However in fact this argument is a continuation
and hence is called once, so the floating is fruitless.

Roll on one-shot-function analysis (which I know how to do
but fail to get to!).

Comments only

Fix initialisation of strictness in the demand analyser

Previously, the demand analyser assumed that every binder
starts off with no strictness info.  But now that we are
preserving strictness on nesting bindings in interface files,
that assumption is no longer correct, because an inlined function
might have a nested binding with strictness set.

So we need to know when we are in the initial sweep, so that we can
set the strictness to 'bottom'.

See Note [Initialising strictness]

Don't look through SCC in exprIsConApp_maybe

By not taking account of SCC notes we were inadvertently
discarding some, which led to mis-counted entries with -O

Should fix (part of) Trac #4414

Make isIrrefutableHsPat say True for existentials; fixes Trac #4439

At last. A bug that is really easy to fix.

Serialise nested unfoldings across module boundaries

As Roman reported in #4428, nested let-bindings weren't
being recorded with their unfoldings.  Needless to say,
fixing this had more knock-on effects than I expected.

Do not (ever) use substExprSC in the simplifier

"Short-cut" substitution means "do nothing if the substitution
is empty". We *never* want do to that in the simplifier because
even though the substitution is empty, the in-scope set has
useful information:

 * We get up-to-date unfoldings; and that in turn may
   reduce the number of iterations of the simplifier

 * We avoid space leaks, because failing to substitute may
   hang on to old Ids from a previous iteration

(This is what was causing the late inlining of foo in
Trac #4428.)

Use new showMultiLineString to fix Trac #4436

There is an accompanying patch for libraries
    base
    template-haskell

For a non-recursive let, make sure we extend the value environment

This has been wrong for a long time.  Fixes Trac #4431.

instance Outputable IntMap

Make the ffi.h->ffitarget.h dep a proper dep, rather than an order-only dep

libffi: missing dependency on ffitarget.h
dist-install/build/ffi.h should have a dependency on ffitarget.h as *_stub.c requires it during the stage-2 build.

Remove the need to explicitly flatten the dynflags

Follow GHC.Bool/GHC.Types merge

Don't build packages that need TH if we are making a profiling compiler
You can't use TH with a profiling compiler.

OS X uninstaller: Pass create-links its argument

Tweak the OS X installer uninstaller script

Improve the OS X installer
Major changes are:
* Version number now includes full GHC version and arch
* Uninstaller copes with multiple versions

Optimised the representation of Inert Sets to use Maps to get to the relevant inert constraint faster.

Add rebindable syntax for if-then-else

There are two main changes

 * New LANGUAGE option RebindableSyntax, which implies NoImplicitPrelude

 * if-the-else becomes rebindable, with function name "ifThenElse"
   (but case expressions are unaffected)

Thanks to Sam Anklesaria for doing most of the work here

Lint should check for duplicate top-level bindings with same qualified name

This would have produced a more civilised error for Trac #4396

Fix unused import warning on OS X

Switch more uniqFromSupply+splitUniqSupply's to takeUniqFromSupply

Whitespace only

Whitespace only

Whitespace only

Windows installer improvements from Claus
- add link to inno setup docs, so readers don't have to guess what
  ghc.iss might be

- add Task section, and associated most Registry actions with separate
  (sub)tasks, so that file associations, default action, and PATH
  setting can be optional

- copy license file into doc directory

- install icon file again, so that DefaultIcon is no longer a dangling
  pointer (#4352)

- only delete ghc_haskell key if empty (in case there were other tools
  using it)

- add versioned GHCi to right-click menu (to allow for multiple tool installs)

Fix Trac #4396, by localising pattern binders in the desugarer

See Note [Localise pattern binders]

White space only

Add an assertion

Use takeUniqFromSupply in ByteCodeGen

Fix some whitespace

Use takeUniqFromSupply in emitProcWithConvention
We were using the supply's unique, and then passing the same supply to
initUs_, which sounds like a bug waiting to happen.

Use takeUniqFromSupply in IfaceEnv
This is a little nicer than having to explicitly split supplies and
throw half of them away.

Define takeUniqFromSupply

Remove some extraneous whitespace

Add a comment on why some seq's are done

Tidy up RuntimeUnkSkols a bit more

Fix haddock markup

Improve rule checking, to fix panic Trac #4398

Lots of comments with decomposeRuleLhs

Improve the simple expression optimiser so it does simple beta reduction

Template Haskell: add view patterns (Trac #2399)

Tidy-up sweep, following the Great Skolemisation Simplification

Fix haddock markup

Tweak the haddock rules; no functional change

Don't seq unfoldings
We generate intermediate unfoldings which are just thrown away, so
evaluating them is a waste of time.

Avoid hanging on to old unfoldings; fixes #4367 (compiler space regression)

Comments and layout only

Look for sources in Cabal's autogen directory too

Follow Cabal change: Use usedExtensions rather than extensions

fix markup

remove xref to hasktags

Update the documentation on using DLL's from Windows, fixing several errors, in particular those relating to bug 3605

(1) More lenient kind checking, (2) Fixed orientation problems and avoiding double unifications, (3) Comments