convert to use System.FilePath

Refactoring only: remove [Id] field from ForeignStubs
We used to pass the list of top-level foreign exported bindings to the
code generator so that it could create StablePtrs for them in the
stginit code.  Now we don't use stginit unless profiling, and the
StablePtrs are generated by C functions marked with
attribute((constructor)).  This patch removes various bits associated
with the old way of doing things, which were previously left in place
in case we wanted to switch back, I presume.  Also I refactored
dsForeigns to clean it up a bit.

Type checking for type synonym families

This patch introduces type checking for type families of which associated
type synonyms are a special case. E.g.

        type family Sum n m

        type instance Sum Zero n = n
        type instance Sum (Succ n) m = Succ (Sum n m)

where

        data Zero       -- empty type
        data Succ n     -- empty type

In addition we support equational constraints of the form:

        ty1 ~ ty2

(where ty1 and ty2 are arbitrary tau types) in any context where
type class constraints are already allowed, e.g.

        data Equals a b where
                Equals :: a ~ b => Equals a b

The above two syntactical extensions are disabled by default. Enable
with the -XTypeFamilies flag.

For further documentation about the patch, see:

        * the master plan
          http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions

        * the user-level documentation
          http://haskell.org/haskellwiki/GHC/Indexed_types

The patch is mostly backwards compatible, except for:

        * Some error messages have been changed slightly.

        * Type checking of GADTs now requires a bit more type declarations:
          not only should the type of a GADT case scrutinee be given, but also
          that of any identifiers used in the branches and the return type.

Please report any unexpected behavior and incomprehensible error message
for existing code.

Contributors (code and/or ideas):
        Tom Schrijvers
        Manuel Chakravarty
        Simon Peyton-Jones
        Martin Sulzmann
with special thanks to Roman Leshchinskiy

Fix retainer profiling

On Windows, stage1 also deps on stamp.inplace-gcc-lib

Synched GHC's .spec file with recent changes
Fixed hsc2hs handling and added hpc binary. Explicitly generate Cabal docs.
Note that the Haddock documentation is currently not in the right place,
this needs more investigation, but at least we can build a valid RPM now.

Check that exported modules were actually imported; fixes #1384

Be more flexible when trying to make scripts executable

Don't put push-all and darcs-all in source dists
We don't have the _darcs directories, so they won't work.

Add a missing "entryCode"
This was causing us to try to jump to the address of an infotable when
unregisterised, leading to a segfault.

Fix the IF_DEBUG(interpreter in StgCRun.c

Add "Support SMP" and "RTS ways" to the compiler --info output

Overhaul boot script
* Call autoreconf only if necessary, avoiding a strict tool dependency.
* Be a good *nix citizen and don't clutter the output when everything is fine.
* Make a few more scripts executable.

Added a few missing files to a source distribution

Fixed test for pwd executable
Added a missing "test" and replaced the "-e" option of the shell-builtin
"test" with "-f". The former is not portable, see autoconf documentation.

Jump through some hoops to make the Windows SEH exception stuff happy

Check haddocking works when validating

Add "have interpreter" to the compiler --info output

In ghc-inplace, flush stdout after giving debugging output

Follow Array changes (adding numElements field)

Cabal upstream API change -- installPackage to use installDirTemplates

Erase unneeded spill/reloads after register allocation

Be more paranoid about not creating space leaks in coloring allocator

Show spill/reload pseudo instrs in regalloc stage dump

windres also needs the PATH workaround, because it runs gcc

freeProfiling1() needs to be after endProfiling()
Fixes another crash with biographical profiling.

fix getting the exit code

FIX #1519, crash in biographical profiling
In eval_thunk_selector(), when filling the slop for a closure we've
just updated, we were using the wrong info table.  This bug appears to
have been in 6.6, too.

fix +RTS -V0 when not using -threaded

Fix info table for stg_ap_1_upd, it stated 1 non-ptr, should be zero
Fixes a crash I encountered with profiling and -debug

clean doc-index-*.html (for older versions of Haddock)

add pwd to SUBDIRS, so it gets cleaned

include bindisttest in source distributions (fixes srcdist)

Add spill/reload pseudo instrs to MachInstrs

Spiller can now insert spill/reload instrs without having to
worry about the current stack delta. Generation of actual machine
instructions for spills/reloads is deferred until after register
allocation proper.

Improve docs for mdo

Correct link

Fix typo in comment

Added a case for non-zero arity INFO_TABLE_FUN to the Cmm parser.
This is needed in order to write Main_main from pure Cmm.

Change to the Cmm syntax. Put gc_block before update_frame.
This order matches the symantic order better since
the GC check is done before the update frame is pushed.

Fix the calling convention order in the CPS
It now matches the order used by the existing codeGen.

Regalloc stage dump in right order

Eliminate more dead reg->reg moves in linear allocator

Handle DOA vregs when building spill stats

Use UniqSet instead of Data.Set

comment wibble

Refactor cmmNativeGen so dumps can be emitted inline with NCG stages

Improve handling of inline pragmas, esp where type applications are involved

See the definition of splitInlineCont for what this is about.
Cures Trac #1627.
Test is simpl017

Add comments about ModGuts instance envts (and re-order fields)

When installing, get libgmp.a from the right place

Put a space between gcc and its arguments when calling windres

windres is in bin/, not the top-level directory

In bindisttest, don't try to configure/install the bindist on Windows

FIX #1626: needed to export hs_hpc_rootModule

Generate dictPRepr

Add generation of PR dictionaries

Initialise PR dictionaries in vectorisation monad

Add PR dictionaries to vectorisation monad

Embed doesn't store a PA dictionary any more

Read the package state after pulling in all built-ins during vectorisation

Move all vectorisation built-ins to VectBuiltIn

Move vectorisation built-ins to a separate module

PR is an explicit record, not a class

Add vectorisation-related built-in

Generate conversion from PRepr to original type

Refactoring

Generate conversion to PRepr during vectorisation

Use NDP's own (:*:) and (:+:)

Utility functions for vectorisation

More refactoring

Refactoring

Add built-ins to vectorisation monad

Refactoring

Vectorise nullary constructors correctly

Rename vectorisation-related stuff

Generate PRepr instances during vectorisation

Use functions from BuildTyCl for vectorisation

Add a couple of built-ins to the vectorisation monad

Get the PA dictionary for closures from the right module

Remove packPA and combinePA from vectorisation built-ins for now

Add NDP-related PrelNames

Print infix function definitions correctly in HsSyn

Trim imports

Add a bindisttest directory
After
    make binary-dist stage=2
you can run make in bindisttest/ to test it

Include package.mk in target.mk, in the bindists's mk/

Build fix: modBreaks -> modBreaks_decls modbreaks

Use unsafeDupableInterleaveIO in UniqSupply
We'll need to change this if we ever use threads in GHC, but for now it
drops mkSplitUniqSupply from 35% time down below 0.1% when compiling
J.hs from #1136.

Link ghc-pkg and hpc with containers if building ghc 6.7 or newer

makeRelativeRefTo checks tablesNextToCode, so we don't have to before using it

Allow redirection of -ddump-* to file
Whilst compiling Main.hs with -ddump-stg, ddump-asm and friends
you can how add -ddump-to-file and you'll get the dumps redirected
to Main.dump-stg, Main.dump-asm etc.

Instrument linear register allocator.

Linear register allocator now keeps track of why it spilled certain
registers. It had to be refactored somewhat to thread the information
through, but the algorithm is unchanged.

NCG debugging cleanup

Add vreg-conflicts and vreg-conflict-lifetimes to drop-asm-stats

Add vreg-population-lifetimes to drop-asm-stats

Add dumping of native code gen stats to file.

Compiling module Foo with -ddrop-asm-stats produces a file
called Foo.dump-asm-stats which will contain increasingly
interesting information.

Refactor dumping of register allocator statistics.

Linker.lhs to prefer DSO when it's build as dynamic library

A partial attempt to improve :stepover

  With this patch, :stepover can effectively appear to step over recursive calls and
  calls to locally bound functions (in a where clause).

  However, when we run out of ticks in the current expression,
  the illusion vanishes and laziness brings us to the body of the last function
  we "stepped over".
  This is not desired at all, it is potentially very confusing.
  As a countermeasure, when this happens :stepover emits a warning

     "Warning: no more breakpoints in this function body, switching to :step"

Better document :stepover and its limitations

:stepover only works lexically locally, in the context of the
current expression. I have tried to make this point clear
in the users guide with an example.

Small rearrangements

Extend ModBreaks with the srcspan's of the enclosing expressions