Add another GHC layout rule relaxation to RelaxedLayout

Remove an unused build system variable: GhcDir

Remove unused build system variable: GhcHasEditline

Remove unused variables from the build system: HBC, NHC, MKDEPENDHS

Remove references to Haskell 98
They are no longer right, as we have Haskell' generating new Haskell
standards.

Tweak a configure test

Add a configure test for the visibility hidden attribute

sanity: fix places where we weren't filling fresh memory with 0xaa

Just some alpha renaming

Fix bug #3165 (:history throws irrefutable pattern failed)

I ran across this bug and took the time to fix it, closing
a long time due TODO in InteractiveEval.hs

Instead of looking around to find the enclosing declaration
of a tick, this patch makes use of the information already collected during the
coverage desugaring phase

For bindists, build ghc-pwd with stage 1
rather then the bootstrapping compiler. This fixes problems where the
bootstrapping compiler dynamically links against libraries not on the
target machine.

Makefile tweak

Fix a makefile include ordering sanity check

Add an extension for GHC's layout-rule relaxations
Still TODO: Add the other relaxation (#1060) and update the alternative
layout rule to use the extension.

Tweak the bindist configure.ac.in

configure.ac tweaks

When testing the bindist, tell it where gcc is
The location isn't baked into the bindist, as it may differ from
machine to machine.

Comments only

ForceSpecConstr now forces specialisation even for arguments which aren't scrutinised

Move the superclass generation to the canonicaliser

Doing superclass generation in the canonicaliser (rather than
TcInteract) uses less code, and is generally more efficient.

See Note [Adding superclasses] in TcCanonical.

Fixes Trac #4497.

Fix the generation of in-scope variables for IfaceLint check

Comments only

Omit bogus test for -XDeriveFunctor

It was duplicated in the case of 'deriving( Functor )'
and wrong for 'deriving( Foldable )'

Improve error message on advice from a user

See Trac #4499

Fix the type sanity test in genprimopcode's Syntax.hs
We assume this is what it's supposed to be checking. Certainly the old
test (t2 == t2) can't be right.
Spotted by Andres Loeh.

Build random with the stage2 compiler

remove -XNoMonomorphismRestriction
This was apparently needed at some point during the new typechecker
development, but does not seem to be required now.

add some {-# LANGUAGE BangPatterns #-} to mollify GHC

Eventlog: Put correct size for startup event

Document SPECIALISE for imported functions

This is a really useful new facility, but I'd forgotten to document it.
Pls merge to 7.0 branch

Fix Trac #4498: bang-pattern bindings are monomorphic

This patch forces bang patterns to be monomorphic,
and documents this fact.

Comments only

Fix Trac #4501: a transposition error in DynFlags

Push to STABLE

Refactoring of the way that inlinings and rules are activated

Principally, the SimplifierMode now carries several (currently
four) flags in *all* phases, not just the "Gentle" phase.
This makes things simpler and more uniform.

As usual I did more refactoring than I had intended.

This stuff should go into 7.0.2 in due course, once
we've checked it solves the DPH performance problems.

Some infrastruture for lambda-lifting

This stuff should have no effect but it sets things
up so that we can try floating out lambdas of n value
arguments.

The new (secret) flag is -ffloatt-lam-args=n.

This is *not* working yet, but it's got tangled up with
other stuff I want to commit, and it does no harm.

Occurrence analyser takes account of the phase when handing RULES

See Note [Finding rule RHS free vars]

This should make Roman happy.

Add -fwarn-lazy-unlifted-bindings to the list of flags

Warn a bit less often about unlifted bindings.

Warn when
   (a) a pattern bindings binds unlifted values
   (b) it has no top-level bang
   (c) the RHS has a *lifted* type

Clause (c) is new, argued for by Simon M

Eg     x# = 4# + 4#      -- No warning
       (# a,b #) = blah  -- No warning
       I# x = blah       -- Warning

Libraries bytestirng, time, binary need -fno-warn-identities

They all have redundant uses of fromIntegral, but are no under
GHC HQ control.

Improve documentation for -fwarn-incomplete-patterns

Add warning for probable identities (fromIntegral and friends)

See Trac #4488.  The basic idea is to check for

    fun :: ty -> ty

where fun is one of
  toIntegerName     toRationalName
  fromIntegralName  realToFracName

There's a (documented) flag to control it -fwarn-identities.
Currently -Wall switches it on.

Remove unncessary fromIntegral calls

Fix -fwarn-missing-import-lists (fix Trac #4489)

Deriving Typeable changes

* Fix a bug that led to a crash with
    data family T a
    deriving Functor T

* Allow deriving Typeable for data families
    data family T a
    deriving Typeable1 T

* Some refactoring and tidying

Ensure that instance overlap errors are report properly

This (annoyingly) requires us to re-flatten the class predicate.
See Note [Flattening in error message generation]

Ensure that unification variables alloc'd during solving are untouchable

This fixes Trac #4494.  See Note [Extra TcsTv untouchables] in TcSimplify.

Fix paths used for doc publishing in the nightly builds

Remove -Ofile docs
They said:
    (NOTE: not supported since GHC 4.x.  Please ask if you're interested
    in this.)

Update to docbook 4.5; fixes trac #4447

Add a build system dependency; fixes #4357

Build system tweak: Inline DQ now it's the same on all platforms

Fix up the ifdefs in Task.c

Use standard task ID print style (hexadecimal).

Remove use of (now-gone) VarPatOut

Remove the now-unused constructor VarPatOut

Track change in isInlinePragma

In TcBinds we want to use isAnyInlinePragma, to get
both INLINE and INLINABLE.  I don't know why this isn't
leading to failures for others!  The (bogus) error I got,
triggered by this bug was:

  libraries\haskeline\System\Console\Haskeline\Key.hs:23:1:
    You cannot SPECIALISE `M.findWithDefault'
      because its definition has no INLINE/INLINABLE pragma

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.