Make warning-free

Major bugfixing pass through the type checker

Typechecker performance fixes and flatten skolem bugfixing

Performance bug fixes

Fix Trac #4371: matching of view patterns

Remove unused NoMatchContext construtor

Refactoring: mainly rename ic_env_tvs to ic_untch

Plus remember to zonk the free_tvs in TcUnify.newImplication

remove unnecessary/broken definition of mask_

-fwarn-tabs: add "Warning" to the message

give a better error message in the non-threaded RTS for out-of-range FDs

# ./aw
aw: file descriptor 1027 out of range for select (0--1024).
Recompile with -threaded to work around this.

Fix a very rare crash in GHCi
When a BCO with a zero-length bitmap was right at the edge of
allocated memory, we were reading a word of non-existent memory.

This showed up as a segfault in T789(ghci) for me, but the crash was
extremely sensitive and went away with most changes.

Also, optimised scavenge_large_bitmap a bit while I was in there.

Using 'stdcall' when it is not supported is only a warning now (#3336)

remove unnecessary stg_noForceIO (#3508)

Replace an outputStr with putStrLn calls; fixes #4332

make test and fulltest targets in the main Makefile; fixes #4297
You can now run "make test" in the root, and the fast testsuite will be
run with cleaning enabled. It will also put the summary in
testsuite_summary.txt.

Don't show the loaded packages in ":show packages"; fixes #4300
It's never worked properly, and the information is in ":show linker".

Handle EXTRA_LIBRARIES when building programs
And set hp2ps's EXTRA_LIBRARIES. Based on a patch from Sergei Trofimovich.

Fix the doc directory on Windows

Remove an unused import on Windows

Use showCommandForUser when showing tracing commands

Fix hsc2hs docs: 'gcc' is now the default compiler, not 'ghc'; fixes #4341

Use an empty signal handler for SIGPIPE instead of SIG_IGN

This is so that the SIGPIPE handler gets reset to the default
automatically on exec().

Fix the TH deps

Check inplace doesn't exist before we try to create it
This fixes rerunning configure in a tree which already has an inplace
directory. Edward Z Yang ran into this; I guess whether it actually
fails depends on details of your installation, or we'd have run into
it sooner.

Fix an egregious bug: INLINE pragmas on monomorphic Ids were being ignored

I had do to some refactoring to make this work nicely
but now it does. I can't think how this escaped our
attention for so long!

Eta expand only lambdas that bind a non-dictionary Id

See Note [When to eta expand]. The idea is that dictionary
lambdas are invisible to the user, so we shouldn't eta
expand them.

Add a comment

Add a debug print

Just moving comments around

use putStrLn instead of Haskeline's outputStrLn
use of the latter caused problems for Claus Reinke's macros that
redirect stdout.

Change "OPTIONS" to "OPTIONS_GHC" in error messages; fixes #4327

Add deps for TH uses in vector

Bump Cabal dep

Update Cabal's version number

Build primitive with stage2

Fix the Windows __chkstk build error (missing Linker symbol)

emit a helpful error message for missing DPH packages

Fix computation of installed packages

This is a follow-on to Simon's patch yesterday, developed
with him.  It cleans up the computation of how packages
are installed, and installs the right ones.

Fix braino in WwLib/Literal patch

For now, switch off incomplete-pattern warnings in containers

Put it back on when my patch is applied to the containers repo.
(the one that removes two refuable lambdas)

Make -funfolding-dict-threshold work properly

and increase its default value. This makes overloaded functions
a bit keener to inline.  Which fixes Trac #4321

Impredicative types is no longer deprecated

Do not make FunctionalDependencies force MonoLocalBinds

move CHECKED settings to the right place

turn off -Werror for primitive and vector

Add primitive and vector packages for DPH support
DPH is now using the public vector package instead of its internal
version.

vector and primitive are not "boot" packages; they aren't required to
build GHC, but they are required to validate (because we include DPH
when validating).

If you say './darcs-all get --no-dph' then you don't get DPH, vector,
or primitive.

Refactoring and tidy up in the build system

Instead of the ghc-stage and ghc-stage2-package files in a package, we
now have a list of these in ghc.mk.  There are other similar lists (of
boot-packages and non-installable packages), so this is not too bad,
and is simpler.

While poking around in the top-level ghc.mk file I spotted various
opportunities to clean up and re-order some of the cruft that has
accumulated over time.

Allow absent State# RealWorld arguments

Add notSCCNote, and use it

The point here is that SCCs get in the way of eta
expansion and we must treat them uniformly.

Remove use of lambda with a refutable pattern

Avoid ASSERT black hole

When this ASSERT tripped in CoreToStg it tried to print out
too much, which tripped the asssertion again.  Result: an
infinite loop with no output at all.  Hard to debug!

Rejig the absent-arg stuff for unlifted types

This is what was giving the "absent entered" messages
See Note [Absent errors] in WwLib.  We now return a
suitable literal for absent values of unlifted type.

Remove -fwarn-simple-patterns, and make -fwarn-incomplete-patterns include lambdas

This makes
     \(x:xs) -> e
want when you have -fwarn-incomplete-patterns, which is consistent.

Get rid of non-exhaustive lambda

Fix an ASSERT failure with profiling

The problem arose with this kind of thing

   x = (,) (scc "blah" Nothing)

Then 'x' is marked NoCafRefs by CoreTidy, becuase it has
arity 1, and doesn't mention any caffy things.

That in turns means that CorePrep must not float out the
sat binding to give

  sat = scc "blah" Nothing
  x = (,) sat

Rather we must generate

  x = \eta. let sat = scc "blah" Nothing
            in (,) sat eta

URGH! This Caf stuff is such a mess.

Remove an out of date paragraph from the user guide; fixes #4331

Fix bindisttest when GhcProfiled = YES

Fixes for when HADDOCK_DOCS=NO

Bump version to 7.1

Don't use -march=i686 on powerpc-apple-darwin
Thorikil ran into this when doing a PPC OS X build. We now also don't
use -m32 on PPC/OSX, but I don't think it should be necessary. We can
add it back if it does turn out to be.

add a simple trace facility to the build system

saying

  make TRACE=1

prints most of the macro calls and their arguments.  It's easy to
trace new macros; see rules/trace.mk.

fix building with extra packages (packages were added to BUILD_DIRS twice)
Also add some comments about what extra-packages is doing

add extra packages to $(EXTRA_PACKAGES), so we avoid installing them by default

Fix indexing error in archive loader

Add some -Dl belches

Add casts to fix warnings

Add support for BSD-variant large filenames in .a archives

Tell Cabal that we're not building GHCi libs if UseArchivesForGhci=YES

"UseArchivesForGhci = YES" on darwin

Add a dependency that my OS X build has recently started tripping up over

Add "Use archives for ghci" to --info output

Implement archive loading for ghci

Tweak gen_contents_index now dph may not be there

Filter out the FFI library when loading package in ghci
The FFI GHCi import lib isn't needed as
compiler/ghci/Linker.lhs + rts/Linker.c link the
interpreted references to FFI to the compiled FFI.
We therefore filter it out so that we don't get
duplicate symbol errors.

Loosen the conditions for -XUndecidableInstances; fixes Trac #4200

Further improvements in error messages

Add a flag -fwarn-missing-local-sigs, and improve -fwarn-mising-signatures

The new flag prints out a warning if you have a local,
polymorphic binding that lacks a type signature. It's meant
to help with the transition to the new typechecker, which
discourages local let-generalisation.

At the same time I moved the missing-signature code to TcHsSyn,
where it takes place as part of zonking.  That way the
types are reported after all typechecking is complete,
thereby fixing Trac #3696.  (It's even more important for
local bindings, which is why I made the change.)

Include the "stupid theta" in the type of $con2tag

Add a release note about the typechecker

Enable shared libs on OpenBSD

Add separate functions for querying DynFlag and ExtensionFlag options
and remove the temporary DOpt class workaround.

Fix mkUserGuidePart deps
We need to directly depend on the stage1 libs. The stage1 compiler lib
doesn't depend on them.

Fix build on cygwin: Normalise slashes in .depend files to be /

extra packages info is now read from packages file
rather than being repeated in the build system

Tweak darcs-all

Bump dependencies

Library release notes for 7.0.1

Fix overriding of implicit parameters in the solver

Minor type printing amomaly

Spaces only

Minor refactoring

Add types of implicit parameters as untouchable

This is a tricky point:
   see Note [Implicit parameter untouchables]

Better pretty printing of implicit parameters

Yet more error message improvement

More error message wibbles

More error refactoring

Refactor type errors a bit

Improves kind error messages in paticular

Fix a very subtle shadowing bug in optCoercion

See Note [Subtle shadowing in coercions]

This is what was going wrong in Trac 4160.

Fix bad error in tyVarsOfType

We weren't gathering the type variables free in the kind
of a coercion binder!

More assertions