Refactor TcRnDriver, and check exports on hi-boot files

This patch refactors TcRnDriver to make the top-level structure
easier to understand.

The change was driven by Trac #924, and this patch fixes that bug.
When comparing a module against its hs-boot file, we must ensure that
the module exports everything that the hs-boot file exports.

Comment out debug traces

Use update-alternatives for handling generic tool names

ATTENTION: Packagers should read the following stuff carefully!

GHC, Hugs and nhc come with various tools like runhaskell or hsc2hs. On the
one hand this is quite handy, avoiding lots of tiny native packages, but OTOH
this leads to a few problems:

   * The tools are not always identical in functionality.

   * The tools fight for a global generic name like "/usr/bin/runhaskell".

These problems are not new and not unique to Haskell implementations, so for
*nix-based system there is a tool called update-alternatives which handles
those cases. The idea is as follows:

   * Each program/man page/etc. installs itself with a very specific name
     like /usr/bin/hsc2hs-ghc or /usr/share/man/man1/lua5.1.1.gz, so nothing
     clashes.

   * The (un-)installation scripts call update-alternatives to notify the
     system about new alternatives for a generic tool/manpage/etc.

   * Alternatives can be grouped together ("link groups"), so e.g. switching
     from Sun's Java to Kaffe switches compiler, JRE, manpages etc. together.
     Alas, this doesn't work well with the Haskell implementations yet,
     because they come with different sets of tools (in addition to runFOO):

       GHC:  hsc2hs
       Hugs: hsc2hs, cpphs
       nhc:  cpphs

     Either these tools should be disentangled fromt the Haskell
     implementations or all implementations should offer the same set.
     Opinions and recommendations on this topic are highly welcome.

   * This mechanism can be used to easily switch between several versions of
     the same implementation, too, but we are not yet fully prepared for that.

As a first step, GHC now installs hsc2hs as 'hsc2hs-ghc' and does *not*
install runhaskell directly anymore, only runghc. hsc2hs and runhaskell are
created via update-alternatives now. What is currently missing is a mechanism
for platforms like Windows and probably Mac OS X.

Make the type-defaulting in GHCi use () as the first default type

See Trac #1200

This is a somewhat experimental fix.  I'm not sure we want it in 6.6.1

The idea is explained in Note [Default unitTy] in TcSimplify.  In
interative mode (or with -fextended-default-rules) we add () as the
first type we try when defaulting.  This has very little real impact,
except in the following case.  Consider:
Text.Printf.printf "hello"
This has type (forall a. IO a); it prints "hello", and returns
'undefined'.  We don't want the GHCi repl loop to try to print that
'undefined'.  The neatest thing is to default the 'a' to (), rather
than to Integer (which is what would otherwise happen; and then GHCi
doesn't attempt to print the ().  So in interactive mode, we add () to
the list of defaulting types.

Added support for parallel builds

With this patch, one can define the degree of build parallelism via a 'jobs'
rpm variable. A comfortable way to use this is having a ~/.rpmmacros file with
a line like:

   %jobs 2

Alternatively, one could use a '--define "jobs 2"' command line flag for
rpmbuild. On a Core 2 Duo using 2 jobs brings down the time for a full build
including extralibs from 36m to 27m. If 'jobs' is not defined, a normal
sequential build is done, following the usual conventions on e.g. openSUSE.

Wibble to type-error-message improvement

Improve error messages slightly, saying "a1...an" instead of "a b c"

Tweak hasktags to cope with abc::def correctly
Patch from Marc Weber in
http://www.haskell.org/pipermail/glasgow-haskell-users/2007-February/011998.html

Unbreak Haddock markup

Warning police: Avoid name shadowing

Handle primitive types and pseudo ops when generating LaTeX

Warning police: Replace patter matching failures by something more informative

Added LaTeX commands for primitive types and pseudo ops

Fixed LaTeX markup

Warning police: Don't rely on defaulting

Warning police: Removed "Defined but not used" warnings

Warning police: Added type signatures

Use -Wall for compilation of genprimopcode

Improve typechecker error messages; see Trac #1221

Fix the way configure sets the ghc_ge_* variables

cache the values of ghc_ge_XXX at configure-time
This avoids recomputing them via $(shell) each time make expands one
of these variables, which is very expensive (0.3s or so) on Windows.

Update the wired-in name for Data.String.IsString

Add helpful cross-references

fix #1200: don't evaluate the result of main

Fix a bug in the liveness analysis
We were being overly conservative, registers that were live only at a
branch target were not recorded as being dead in the branch-not-taken
code.

Be a bit more verbose about what's happening when recursively making in subdirs

Have configure take arguments telling it where gmp is; fixes trac #957

Avoid duplication in the binary-dist rules for docs
Rather than building complex sh stuff and echoing what we're doing
ourselves, use make rules to do the looping and let make print things
out.

Remove duplication in binary dist rules
Rather than building complex sh stuff and echoing what we're doing
ourselves, use make rules to do the looping and let make print things
out.

Make constructor names in info tables position independent

Info tables, like everything else in the text section, MUST NOT contain
pointers. A pointer is, by definition, position dependent and is therefore
fundamentally incompatible with generating position independent code.

Therefore, we have to store an offset from the info label to the string
instead of the pointer, just as we already did for other things referred
to by the info table (SRTs, large bitmaps, etc.)

when invoking gcc, instead of the -B<dir> flag, use GCC_EXEC_PREFIX
should hopefully fix/workaround #1110, but I haven't had a chance to
test it yet.

small cleanups

refactor: use do-notation rather than `thenBc`-style

add missing %ENTRY_CODE()
fixes unreg way in HEAD

add noDuplicatezh_fast to symbol table

add declaration for noDuplicatezh_fast

Remove outdated libraries/doc/libraries.xml and libraries/doc/libtable.xml

add noDuplicate#
This primop ensures that the current computation is not being
duplicated, by calling threadPaused().  The idea is to use it inside
unsafePerformIO/unsafeInterleaveIO (see #986).

THREADED_RTS: use cas() when claiming thunks
I guess I forgot to do this the first time around; the upshot is that
there could be some uncaught duplication of work on a multiprocessor
(but unlikely).

workerTaskStop(): set task->cap = NULL
avoids an assertion failure in newBoundTask()

disable -Wbad-function-cast; it's hard/impossible to work around

remove vestiges of CCallable/CReturnable

Remove references to the in-tree building guide from teh old commentary

Remove old references to the in-tree building guide

fix the timer_create() test

Simple fix for Trac #1199 (pls merge to branch)

forkProcess: startTimer() in the child, because the timer will be reset

better autoconfery for timer_create()

Use Data.String rather than GHC.Base for IsString/fromString

Use timer_create() for the interval timer, if available
This lets the threaded RTS use SIGVTALRM rather than SIGALRM for its
interval timer signal, so the threaded and non-threaded RTS are
compatible.  It unfortunately doesn't completely fix #850/#1156, for
that we really have to use a restartable sleep instead of usleep().

Also I cleaned up the timer API a little: instead of returning an
error value that ultimately gets ignored, we now report errors from
system calls and exit.

further improvements to the x86/x86_64 NCG

Fix typo in primops docs

Do not go into an infinite loop when pretty-printer finds a negative indent (Trac #1176)

Use the most complex form of addressing modes on x86
We had a pattern that matched (base+(index<<N)), but not
(base+(index<<N)+M).

is64BitInteger: truncate to 64 bits before testing
We weren't catching some literals that actually fit in 32 bits before,
because e.g. -1 was sometimes represented as 0xffffffffffffffff in CmmInt.

Fix -keep-s-file with --make

some more vectored return stuff to be removed

Fix #839 (Generate documentation for built-in types and primitve operations)

This patch was originally by dinko.tenev@gmail.com, but I re-recorded
it in order to add a better log message.

The effect of this patch is to add entries for primitive types in the
documentation: Int#, Char#, etc. and to document the built-in
identifiers (seq, lazy, inline, unsafeCoerce#).

Fix #249 (-caf-all bugs)
There were two bugs:
 * we were generating the symbol name for the CAF
   cost centre from the OccName, which isn't unique enough
   in the case of system-generated non-external names
 * :Main.main caused problems, because we were assuming that
   every top-level CAF was from the current module.

use -fforce-recomp when compiling Main.hs against the ghc package.
This is necessary because GHC's recompilation checker doesn't check
across package boundaries.

Remove vectored returns.
We recently discovered that they aren't a win any more, and just cost
code size.

Windows: the .hp file is <prog>.exe.hp

Make let-matching work in Rules again

A RULE is supposed to match even if there is an intervening let:
RULE f (x:xs) = ....
target    f (let x = thing in x:xs)

It's surprisingly tricky to get this right; in effect we are doing
let-floating on the fly. I managed to get it wrong before, or at least
be over-conservative.  And in "fixing" that I got it wrong again in a
different way, which made it far too conservative. In particular, it
failed to match f (let x = y+y in let z=x+y in z:xs)
because the binder x was cloned and looked "locally-bound". See the
ever growing comments with the Let rule for details.

That patch reverts to the previous story, which is still a bit too
conservative, but not so egregiously so.  Fixes Romans's problem.

Fixes for the mangler on IA64
From heatsink, in trac #1150.

Remove the itbls field of BCO, put itbls in with the literals
This is a simplification & minor optimisation for GHCi

fix data con patch for 64-bit architectures

Constructor names in info tables

This patch adds data constructor names into their info tables.
This is useful in the ghci debugger. It replaces the old scheme which
was based on tracking data con names in the linker.

Doc typo

Don't hardwire RELEASE into configure.ac

Previously one had to edit configure.ac to build a release version. This is
evil, so one can now specify this on the configure invocation line like:

   RELEASE=YES ./configure

Note that non-released versions are still the default.

Fix parsing of parallel array literals

Tidy up typechecking for newtypes

pthread_key_delete wants the key itself, not a pointer to it

Wibble

Moved argument position info of ATs into tycon rhs info

Unbreak HEAD

My previous patch was creating problems with hs-boot files.

Free thread local storage on shutdown

upload documentation too

refactoring

refactoring only: remove unused code/imports

Improving the performance of breakpoints up to 50% (by playing with laziness)

This patch performs several optimizations with the goal of minimizing the cost of building the arguments to breakpointJump:
  - Group them all in a single tuple, to minimize closure creation in heap
  - Wrap this with the GHC.Base.lazy combinator, to induce max laziness
  - Remove as many literal strings as possible
    * injecting a module-local CAF to store the module name and use that
    * eliminating the package string (not needed).

Fix the behaviour of :print with functions

It now outputs "<function>" instead of showing them as thunks

Fix an incomplete pattern in the code for :print

Removed unnecessary code

The breakpointJump functions never show up in the code that the typechecker sees, as they are inserted by the desugarer later.

Allow GADT syntax for newtypes

Fixes Trac #1154.   Please merge.
Tests are tc225, and tcfail176.

Import trimming

Deal more correctly with orphan instances

Conal Eliott (Trac #1145) exposed a nasty flaw in the way in which
orphan instances are computed, when there are functional dependencies
in the class.  It took me some time to figure out what was going on,
and led to more refactoring.

Briefly:

* Elaborate comments about orphan-hood and versioning added to IfaceSyn
* The is_orph field vanishes from InstEnv.Instance
* Similarly ru_orph vanishes from CoreSyn.CoreRule
* Orphan-hood is computed in MkIface.instanceToIfaceInst, and
MkIface.coreRuleToIfaceRule

Elsewhere just tidying up.

Remove dead code from FunDeps

I forgot to to this when refactoring some months ago!

Fix a deriving bug, arising from recent refactoring

This one is a hangover from something I did a month or two ago, but
didn't get quite right.  tcSimplifyDefault should not check for no-instances;
instead the checkValidInstance in TcDeriv does so.

Conal's DeepArrow needs this fix.  Test is drv015.

Fix defaulting for overloaded strings

This patch fixes the typechecking of the default declaration itself,
when overloaded strings are involved.  It also documents the behaviour
in the user manual.

nofib/spectral/power should work again now!

MERGE from 6.6: Windows fix for stdcall foreign-import-wrapper, fixes ffi012(ghci)

Fix case-merge bug that was breaking the HEAD

My re-org of the case-merging transformation introduced a bug, which led
to incorrect code.   This only showed up occasionally, but it generated
incorrect code for PprC.pprCastReg in the stage-2 compiler. As a result
the stage-2 compiler ran without crashing, but itself generated bogus C.

For a change, this is one that Core Lint couldn't find, so the trail was
a bit longer.  The fix is easy (and commented).

Fix obscure bug in reportDeprecations

Fixes Trac #1128
Please merge to STABLE

A rather obscure bug related to -fno-implicit-prelude.
See Note [Used names with interface not loaded] in RnNames.

Easily fixed, however.  Test is rn051

describe the Z-encoding for __stginit symbol names (addresses #1014)

freeTaskManager: don't free Tasks that are still in use
See conc059.

Fix sleep delay for the non-threaded Windows RTS
This is the Windows counterpart to "Make the non-threaded-RTS
threadDelay wait at least as long as asked"

Signature type variables must not be instantiated with tycons

An egregious bug in the type checker meant that it was possible for a
"signature type variable" (a MetaTv of SigTv form) to be instantatiated
with a type-constructor application.  This destroys the invariant for
SigTv.

The fix is easy; adding the predicate TcType.isTyConableTyVar

Fixes Trac #1153

Fixed a bug with the :print command spotted by Bernie Pope.

Test ghci.debugger/scripts/print018 covers this

Uniform user interface

Print

"Breakpoint set at Main:26:13"

instead of

"Breakpoint set at (26,13)"

Taught :breakpoint add to guess the module name if not given

Now the user can say

> :break add 13

at the ghci prompt and the debugger will use the first top level module as the target for the breakpoint

Fix left-bias in ghci tab-completion code