Add tuple sections as a new feature

This patch adds tuple sections, so that

(x,,z)  means   \y -> (x,y,z)

Thanks for Max Bolinbroke for doing the hard work.

In the end, instead of using two constructors in HsSyn, I used
just one (still called ExplicitTuple) whose arguments can be
Present (LHsExpr id)
or Missing PostTcType

While I was at it, I did a bit of refactoring too.

NetBSD defines _REENTRANT in its header files, so compiling ghc gives
redefinition warnings for all files that are including includes/Rts.h.

Contributed by: Krister Walfridsson <krister.walfridsson@gmail.com>

includes/TSO.h: kill trailing whitespace

Say what StgTSOBlockInfo is for, where to read about it.

Make the Integer library used directly configurable in GHC and base
Rather than indirecting through an integer package

Fix cleaning with the new integer changes

Add integer-simple as a build option

Tweak whitespace

thenIO, bindIO, returnIO moved to GHC.Base

remove unused $(HscIfaceFileVersion)

Choose external names more predictably

Now, for a compiler-generated binding "x", if "x" is referred to by
the exported "f", then it will be named "f_x" rather than something
like "x23".  This means that hopefully

  - compilation will more often product the same results given the
    same input (the choice of names is not dependent on the
    non-deterministic order of bindings within the compiler).

  - less recompilation will be necessary after making changes

  - navigating Core might be a bit easier.

unfortunately, compilation with -O still does not consistently produce
the same ABI.  The simplifier sometimes does different things,
apparently.

Names will be longer, but I can't see a way around that.

Use stable ordering in the dependencies
Fixes another cause of wobbly interface files and unnecessary recompilation.

fall back on libffi for 'foreign import "wrapper"' if necessary

Take account of GADTs when reporting patterm-match overlap

When matching against a GADT, some of the constructors may be impossible.
For example
data T a where
          T1 :: T Int
          T2 :: T Bool
          T3 :: T a

        f :: T Int -> Int
        f T1 = 3
        f T3 = 4

Here, does not have any missing cases, despite omittting T2, because
T2 :: T Bool.

This patch teaches the overlap checker about GADTs, which happily
turned out to be rather easy even though the overlap checker needs
a serious rewrite.

Fix Trac #3382: desugaring of NPats

Max spotted that the short-cut rules for desugaring NPats (where
we compare against a literal) were wrong now that we have overloaded
strings.

Add a -fwarn-dodgy-exports flag; fixes #1911
This is used to control warnings that were previously unconditional.

Build terminfo if we /aren't/ on Windows, not if we /are/

Change how PACKAGES is constructed, so that everything gets cleaned properly
If Windows wasn't defined properly then the Win32 package wasn't being
cleaned, as it wasn't added to PACKAGES. Now we always add everything to
PACKAGES when CLEANING=YES.

temporarily turn off unused import warnings for the time library

Follow the split directory rename in the GHC build system rules

Add osuf to the name we use for the split dir
This avoids a collision between the directories we use when compiling
multiple ways, which in turn leads to a race condition in parallel
builds.

Temporarily turn off unused-do-bind warnings for the time package

Make ghc-cabal handle "Custom" Setup.hs files that have a configure script

Add the time library, and support for libraries in tarballs

Always serialise Int as 64bit values; fixes trac #3041
This means that, provided the values are small enough, files
serialized are portable between architectures. In particular,
.haddock files are portable.

Remove some code that has always been commented out

Fix Trac #3346: tcSimplify for LHS of RULES with type equalities

Allow mixed case in the LINE pragma; patch from squadette; fixes #1817

Comment only

Add missing case for eq_note.

Rename parameters to make debugging code compile.

Comment fix: use the same variable names in the conclusion as in the premise.

Typo fixes, from Alexey Mahotkin

Use names like '$fOrdInt' for dfuns (and TF instances), rather than '$f21'

2 reasons for this:
  - compilation is more predictable.  Adding or removing an instance
    is less likely to force unnecessary recompilation due to
    renumbering other dfun names.
  - it makes it easier to read Core / C-- / asm

The names aren't completely deterministic.  To do that, we'd have to
include package and module names, which would make the symbol names
long and reduce readability.  So the compromise is that if there's a
clash, we disambiguate by adding an integer suffix.  This is fairly
unlikely in practice unless you're using overlapping instances.

Type family instances are handled in the same way, with the same
disambiguation strategy.

Use a stable ordering for the export list in the interface
The export list was ordered according to the whim of FastStrings,
which meant that interface fingerprints could change for no good
reason, causing spurious recompilation.

Don't put all of $CFLAGS into $SRC_CC_OPTS
Instead, we just put the flags we need in there (e.g. -m64 on OS X 64).
This fixes a problem found by Simon M, where we were compiling
everything with -g, leading to a bloated RTS.

Move showOpt into DynFlags

Make the --info values printable with "ghc --print-foo"; trac #3122
Also, libdir is now part of the --info output, so this subsumes the old
--print-libdir flag.
The mode parsing was getting rather adhoc, so I've tidied it up a bit
in the process.

whitespace only

refactor: use packageConfigId in place of mkPackageId . package

Fix a flag name in the docs

Add the -fno-shared-implib flag
Patch from
    Max Bolingbroke <batterseapower@hotmail.com>
Rerecorded to avoid conflicts.

Derived Foldable instances should use Data.Foldable.foldr

remove Solaris-specific hacks, now unnecessary

Simplify timestamp restoration

FIX #3272

Fix warnings

Separate length from data in DPH arrays

Stop using -fno-warn-unused-do-bind when compiling the libraries
They're now fixed to not generate those warnings

Remove maybePrefixMatch, using stripPrefix instead
We already require GHC 6.8 to build, and that included stripPrefix
in Data.List.

TFs: FIX #2203 (second half)

TFs: Fix should_compile/Simple8

workaround new Cygwin bash CRLF behaviour

Use /usr/bin/test if it exists, and fix test syntax.
Should fix Solaris build failures

Allow mixed case pragmas; #1817. Patch from squadette
This patch allow you to use "Language CPP", or even "LaNgUaGe CPP",
if you wish, as the manual claims you can.

don't create inplace/bin/ghc-<version>

Fix ignored-monadic-result warnings

Fix an unused import warning

Fix unused import warnings

Fix unused import warnings

When exporting F(..), all the children of F are also exported
This fixes the unused imports warning when
    Foo (F(x,y,z))
is imported and
    Foo (F(..))
is exported.

Remove unused imports

Major patch to fix reporting of unused imports

This patch, joint work between and Ian and Simon, fixes Trac #1074
by reporting unused import declarations much more accuratly than
before.  The specification is described at

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/UnusedImports

The implementation is both easier to understand than before, and shorter
too.

Also fixed are #1148, #2267

Also fixed is -ddump-minimal imports, which now works properly, fixing
Trac #1792.

Trim unused imports detected by new unused-import code

Avoid unnecessary recompilation after ./configure (helps #3228)
We cache the old versions of files generated by configure, so that if
configure touches the file without changing it, we can detect that and
restore the timestamp.

check for tabs in compiler/ghc.cabal.in (#3344)

remove tabs

fix cleaning of libraries (now 'make clean' in libraries/* works again)

FIX #2677

Update driver/Makefile for the new build system

Fix generational GC bug (#3348)

Windows fixes to build system: use the 'find' and 'sort' found by configure

The build system should use 'find' and 'sort' that are discovered by
configure, not the ones in your path.  On Windows the ones in your path
might well be the non-Unixy Windows versions.

This patch fixes the ones I tripped over. There may be more.

Follow Cabal changes

Update TODO list

Make -fext-core a dynamic flag (it was a static flag)

Update a few points about shared libs in other sections
And add links to the new shared libs section.

Document -dynload flag. Also add it and -shared to the flags reference.

Add new section on using shared libs

Document foreign import prim in the user guide
Basically just stat that it exists and refer to the ghc dev wiki
for the details, because we don't really want people using it.

For now, use -fno-warn-unused-do-bind when building the libraries

Make changes to -fwarn-unused-do-bind and -fwarn-wrong-do-bind suggested by SPJ

Support for -fwarn-unused-do-bind and -fwarn-wrong-do-bind, as per #3263

Improved infrastructure for fast-rebuilding of parts of the tree

e.g.

  cd compiler
  make FAST=YES stage1/build/HscTypes.o

builds just the specified .o file, without rebuilding dependencies,
and omitting some of the makefile phases.  FAST=YES works anywhere, to
omit depenencies and phases.  'make fast' is shorthand for 'make
all FAST=YES'.

Fix Trac #3342: missed zonking in TcHsSyn

The type in a ViewPat wasn't being zonked.  Easily fixed.

Type synonym families may be nullary

New syntax for GADT-style record declarations, and associated refactoring

The main purpose of this patch is to fix Trac #3306, by fleshing out the
syntax for GADT-style record declraations so that you have a context in
the type.  The new form is
   data T a where
     MkT :: forall a. Eq a => { x,y :: !a } -> T a
See discussion on the Trac ticket.

The old form is still allowed, but give a deprecation warning.

When we remove the old form we'll also get rid of the one reduce/reduce
error in the grammar. Hurrah!

While I was at it, I failed as usual to resist the temptation to do lots of
refactoring.  The parsing of data/type declarations is now much simpler and
more uniform.  Less code, less chance of errors, and more functionality.
Took longer than I planned, though.

ConDecl has record syntax, but it was not being used consistently, so I
pushed that through the compiler.

White space only

Comments only

Look through Notes when matching

FIX #3197

Fix #2197 (properly this time)

$ ./inplace/bin/ghc-stage2 --interactive
GHCi, version 6.11.20090701: http://www.haskell.org/ghc/  :? for help
ghc-stage2: GHCi cannot be used when compiled with -prof
[1]    32473 exit 1     ./inplace/bin/ghc-stage2 --interactive

make GhcProfiled work, and add a "prof" flavour to build.mk

Building a profiled GHC is as simple as adding

GhcLibWays += p
GhcProfiled = YES

to your build.mk and saying 'make'.  Then you have a profiled
inplace/bin/ghc-stage2.

remove unnecessary $(RM)s

'make html' in a library builds the Haddock docs

fix GC bug introduced with the C finalizer support

Add a configure test for whether or not __mingw_vfprintf exists

Fix #3319, and do various tidyups at the same time
 - converting a THSyn FFI declaration to HsDecl was broken; fixed
 - pretty-printing of FFI declarations was variously bogus; fixed
 - there was an unused "library" field in CImport; removed

rename cache variable to keep recent autoconfs happy

Add buildinfo files to the bindist

Fix Trac #3323: naughty record selectors again

I boobed when I decoupled record selectors from their data types.
The most straightforward and robust fix means attaching the TyCon
of a record selector to its IfaceIdInfo, so

   you'll need to rebuild all .hi files

That said, the fix is easy.