Template Haskell: allow type splices

At last!  Trac #1476 and #3177

This patch extends Template Haskell by allowing splices in
types.  For example

  f :: Int -> $(burble 3)

A type splice should work anywhere a type is expected.  This feature
has been long requested, and quite a while ago I'd re-engineered the
type checker to make it easier, but had never got around to finishing
the job.  With luck, this does it.

There's a ToDo in the HsSpliceTy case of RnTypes.rnHsType, where I
am not dealing properly with the used variables; but that's awaiting
the refactoring of the way we report unused names.

Template Haskell: improve lifting for strings

When you have a (\s::String -> ....[| s |]....), the string
's' is lifted.  We used to get a chain of single-character
Cons nodes, correct but lots and lots of code.

This patch arranges to optimise that to a string literal. It does
so in two places:
  a) In TcExpr, if we know that s::String, we generate liftString directly
  b) In DsMeta, if we find a list of character literals, we convert to
     a string.  This catches a few cases that (a) does not

There an accompanying  patch in the template-haskell package,
adding Language.Haskell.TH.Syntax.liftString

Rename conDeclsNames to hsConDeclsNames, and export it

Comments about wiredInIds

Wibble some comments to avoid haddock parse errors

Add a haddock target, for just building the haddock docs

Add some more $s to rules/haddock.mk for consistency

Fix haddocking
We were looking at HADDOCK_DOCS instead of $$(HADDOCK_DOCS)

Make the sed in configure.ac more portable

Remove legacy code that isn't used now that we require GHC >= 6.8

Remove unused variables

Remove unused variables

Be more precise about munging compiler/stage1/inplace-pkg-config
We were removing ".$(ProjectPatchLevel)" from anywhere in the file.
However, it included absolute paths, so if you untar a source
tarball into its default directory name, e.g.
"6.11.$(ProjectPatchLevel)", then the sed would break the paths.

Use the more portable %lu rather than %zu
We now also need to cast the values to (unsigned long), as on some
platforms sizeof returns (unsigned int).

Clean libraries/bootstrapping.conf

Fix warnings

Fix warnings in genprimopcode

Fix warnings in mkDerivedConstants

Fix warnings in ghc-cabal

Turn on warnings when validating

Fix configure

ghc_ge_607 is now always true

Sanity check the platforms we are given

Change how we find the host/build/target platforms
Rather than using the autoconf built-in stuff and mangling it, we
now just ask the bootstrapping compiler what platform we are on.

When doing a port of GHC, you need to specify the platform you are
porting to.

The minimum version of GHC required is now 6.8.

remove old todo comment

document -XUnicodeSyntax

export sysErrorBelch

 rm package.conf.inplace in distclean, not clean

#2197: try to detect when GHCi is compiled with -prof and emit an error message

fix typo

Remove hacky on-demand building of libraries/*/ghc.mk, put it back in sh boot
Now that the clean rules don't require libraries/*/ghc.mk, we don't
have to build them on demand.  And having them built on demand
introduced a failure mode (where some libraries have ghc.mk and some
don't).

Fix unregisterised bindists

Pass CFLAGS and LDFLAGS to libffi's configure

Don't overwrite the *OPTS/*Opts variables in mk/validate-settings.mk
Overwriting means we lose the -m64 on OS X 64.

Build and install gmp.h

Clean gmp.h

Need to pass gcc -m64 on amd64 OSX

Set C compiler and linker flags correctly for OS X 64

Fix #3201: "ar: Bad file number" build error with MSYS and SplitObjs=YES

fix warning (and validate)

don't clean GMP before validating (it rarely changes, and is slow to build)

remove a todo item (bug #2966 is fixed)

When linking a shared library with --make, always do the link step
Without -shared, the default target is a binary and in that case
it makes sense for --make to not try and link a binary when there
is no Main module. But for a shared library the user already has
to specify -shared and there's no reason a shared lib should
contain any Main module or main function.

Pass --enable-shared and --with-hscolour to ghc-cabal configure
It tried to do this already, but the make variable name was wrong.

Use shared lib mode -dynload deploy to build the rts and core shared libs
This is now the same as the old default. Currently we cannot embed
rpaths because they would point to the build tree. We should embed
rpaths relative to the $ORIGIN in future.

Make -dynload sysdep mean to embed rpaths in shared libs as well as binaries
Previously it only did it for binaries. This was presumably on the
theory that the binary could specify the rpath for all the libs.
However when it is the shared lib that is the final product (ie to
link into a bigger project) then we need the rpaths for the shared
lib to be self-contianed.

Switch the default -dynload mode to SystemDependent
The previous default was Deployable though it was being
overridden to Wrapper in the ghc shell script wrapper.

Set the soname when creating a shared lib
It's still possible to override it, just use -optl-Wl,-soname, eg:
ghc -shared -dynamic foo.o -o libfoo.so -optl-Wl,-soname,libbar.so

Keep C main separate from rts lib and link it in for standalone progs
Previously the object code for the C main function lived in the rts
lib, however this is a problem when the rts is built as a shared lib.
With Windows DLLs it always causes problems while on ELF systems it's a
problem when the user decides to use their own C main function rather
than a Haskell Main.main. So instead we now put main in it's own tiny
little static lib libHSrtsmain.a which we install next to the rts libs.
Whenever ghc links a program (without -no-hs-main) then it also links
in -lHSrtsmain. For consistency we always do it this way now rather
than trying to do it differently for static vs shared libraries.

Remove old Windows-only implementation of keeping main outside the rts
We now do it for all ways and for all platforms. This was a Windows-only
version that only kept a separate Main.dyn_o for the dynamic linking case.
It had to do that because Windows DLLs are stricter about unresolved symbols
where as for ELF platforms we only run into the problem when we're not using
a Haskell main function.

Fix silly make macro mistake in a rule used in the --enable-shared case

Windows: load msvcrt and kernel32 manually

Need to pass gcc -m64 on amd64 OSX

OS X / amd64 fixes

Fix the unregisterised build

Build fix for amd64/OSX

Fix building with the HEAD

Need to pass gcc -m64 on amd64 OSX

Use machdepCCOpts when running "as"

Use SRC_HC_OPTS when making ghc-cabal and ghc-pkg

Fix building ghc-pkg when bootstrapping

Simplify ghc-pkg's ghc.mk slightly

Set CLEANING=YES for the clean_% targets

Use SRC_CC_OPTS when making HSffi.o

make [123] omits phases 1,2, and 3

allow phases to be omitted by setting OMIT_PHASE_[123]=YES

fix a dependency: Makefile -> includes/Makefile

Make -Odph imply -fsimplifier-phases=3

Add missing word, spotted by Tom Lokhorst

fix typo: TH.ModName -> TH.PkgName

Fix #3236: emit a helpful error message when the RTS has not been initialised

Fix #3207: add has_side_effects = True for lots of primops
and document primOpHasSideEffects

Bootstrapping fixes

Bootstrapping fixes

Bootstrapping fixes

Remove a done TODO item

Add libraries/dph/LICENSE to bindists

Tweak bindist creation
libraries built by stage2 need all their bits in the bindist too.
We were testing (stage == 1) rather than (stage /= 0).

Move the fixed paths out of config.mk, so cleaning works without configuring

Remove an incorrect comment

Hide more make rules when cleaning

Remove some $(TOP)s that cause problems on Windows (as they contain ':')

Disable suffix rules when cleaning

Don't require the library ghc.mk files in order to clean

Add a maintainer-clean rule

Make dph required

Remove --extra flag from darcs-all

Remove nofib-analyse
It's now in the nofib repo.

Move hasktags out of the GHC repo
Now configure looks for it as an installed program instead.

Further fixes to the stage1 version hack; fix validate.
I'm less convinced this is a good idea now.  But it does avoid
rebuilding most of stage1 when you pull and reconfigure.  Better
solutions welcome.

remove warning settings; we already have warnings turned on everywhere

disable all docs in the "quick" and "devel" builds

remove XmlDocWays relic

cleanup: remove reference to $1_$2_CONFIGURE_FLAGS, which is never used
we also have $1_$2_CONFIGURE_OPTS, which is used.

fix cut-and-pasto in mkWeakForeignEnv#, causing random segfaults

Fix maintainer-clean for library/dph

use StgWord for the lock (fixes valgrind complaint on 64-bit machines)

don't rebuild the whole of stage 1 just because the date has changed

Remove left-over bits of extralib support

Clean the right directory in bindisttest