Add new FFI calling convention "prim"
First in a series of patches to add the feature.
This patch just adds PrimCallConv to the CCallConv type.

The IO type has moved to GHC.Types in ghc-prim

Fix the way in the +RTS --info output

Set DELETE_ON_ERROR in ghc.mk

Fix the ghci wrapper
The ${1+"$@"} was being evaluated by make, rather than being escaped.

Fix #3132: a case of bogus code generation

Fix #3279, #3288: fix crash encountered when calling unblock inside unsafePerformIO
See comments for details

drop packedstring; it is no longer required by template-haskell

suggest "cd <dir>; make help"

Add support for 'make help' in subdirectories
Including help for directory-specific targets, such as 'make 1' in ghc

mention 'make {html,ps,pdf}'

eliminate "warning: overriding commnds..." from make when we're cleaning

Add 'make help', displaying a list of useful make targets

Add 'make fast' which omits deps (for a library) and some of the phases

add the missing final row of dashes in the success message

'make 1' in libraries builds just the stage1 libs
i.e. not dph, and hence not stage2

add 'make stage1_libs', to make just the stage 1 libs
i.e. not dph, and hence not the stage 2 compiler.

copyFileWithHeader: use binary Handles
Fixes failure when Haddocking Data.Monoid in libraries/base

Include runghc and unlit in bindists

Improve bindist testing
We now also test runghc and unlit

Remove the haskeline-specific hacks from ghc-cabal
Now that base does -liconv when it is necessary, it is no longer
necessary for haskeline to do it as well, as haskeline depends on base.
Thus we don't need the haskeline-specific hacks in ghc-cabal any more.

Remove library buildinfo files when cleaning

Update symbol names; fixes the build on OSX

don't check for stack underflow if we just had an overflow

pprExpr: don't add extra parens around [a..b] in an argument position
test is tcfail205

Changes for the new IO library, mainly base-package modules moving around

Fix the compiler-hs-dependency's
We needed some more $s to delay evaluation until the values are
available, and the calls needed to be later in the ghc.mk so that
compiler_stage2_WAYS etc are defined.

Doc building is now controlled by sensible variables

HC bootstrapping now works

bindists are now done

Add some $s to rules/build-package.mk for consistency

Deprecate the threadsafe kind of foreign import

Remove __encodeDouble and __encodeFloat from the rts
They now live in the integer-gmp package.

Add recently added lib dirs to the darcs boring file

Fix the flag used to force linking when we are making a shared library
This is a correction to the patch:
* When linking a shared library with --make, always do the link step
which used the wrong flag in making the decision. It used -dynamic
whereas the correct flag is -shared.

Check we're not using stdcall in foreign export on unsupported platforms
It's already checked for foreign import, but was missing for export.

Remove the various mp registers from the StgRegTable
No longer need them as temp vars in the cmm primop implementations.

Convert the gmp cmm primops to use local stack allocation
Using global temp vars is really ugly and in the threaded case it
needs slots in the StgRegTable. It'd also be pretty silly once we
move the cmm primops out of the rts, into the integer-gmp package.

Make killThread# cmm primop use local stack allocation
It using the mp_tmp_w register/global as a convenient temporary
variable. This is naughty because those vars are supposed to be
for gmp. Also, we want to remove the gmp temp vars so we must
now use a local stack slot instead.

Make Windows bindists and installers work in the new build system

Change GHC_OPTIONS to OPTIONS_GHC

Define _BSD_SOURCE in Stg.h
This means that, on Linux, we get functions like gamma defined when we
#include math.h

Put "%expect 0" directives in the .y files
With the exception of GHC's main Parser.y(.pp), which has 2
reduce/reduce conflicts

Update to libffi 3.0.8; fixes trac #3119

Fix the libffi Makefile

Add a README saying where libffi tarballs come from

ghc-pkg now takes a verbosity argument

Follow Cabal changes

Update the docs on how you bind unlifted types in let/where clauses

Document -fwarn-lazy-unlifted-bindings

Fix typo

Mention that generalised list comprehensions are enabled with -XTransformListComp

Make a proper Opt_WarnLazyUnliftedBindings warning, with a flag etc

Fix ghc-cabal, so that GHC.Prim gets registered when we install

fix a warning

Lock the StablePtr table during GC
Allows hs_free_fun_ptr() to be called by a separate thread

fix $(TOP)

remove a prototype that shouldn't be here

Merge the TODO lists in ghc.mk

Tighten up the DocBook XSL stylesheet test
It wasn't failing even when the DTD was not found.

fix logic for BUID_DOCBOOK_HTML

Allow RULES for seq, and exploit them

Roman found situations where he had
      case (f n) of _ -> e
where he knew that f (which was strict in n) would terminate if n did.
Notice that the result of (f n) is discarded. So it makes sense to
transform to
      case n of _ -> e

Rather than attempt some general analysis to support this, I've added
enough support that you can do this using a rewrite rule:

  RULE "f/seq" forall n.  seq (f n) e = seq n e

You write that rule.  When GHC sees a case expression that discards
its result, it mentally transforms it to a call to 'seq' and looks for
a RULE.  (This is done in Simplify.rebuildCase.)  As usual, the
correctness of the rule is up to you.

This patch implements the extra stuff.  I have not documented it explicitly
in the user manual yet... let's see how useful it is first.

The patch looks bigger than it is, because
  a) Comments; see esp MkId Note [seqId magic]

  b) Some refactoring.  Notably, I moved the special desugaring for
     seq from MkCore back into DsUtils where it properly belongs.
     (It's really a desugaring thing, not a CoreSyn invariant.)

  c) Annoyingly, in a RULE left-hand side we need to be careful that
     the magical desugaring done in MkId Note [seqId magic] item (c)
     is *not* done on the LHS of a rule. Or rather, we arrange to
     un-do it, in DsBinds.decomposeRuleLhs.

Remove the unused remains of __decodeFloat

Remove old GUM/GranSim code

tidy up autoconfiguration of docbook stuff

 * use --nonet, so xmllint and co don't go off trying to download
   stuff from the web

 * use the http:// reference for the stylesheet, so we don't have to
   search the filesystem for it (should speedup ./configure)

fix 'make sdist'

Add a comment about why RM and RM_OPTS are not in config.mk

Follow the change in RM's definition in distrib/Makefile-bin-vars.in

Fix Trac #3265: type operators in type/class declarations

We should accept these:

   data a :*: b = ....
or
   data (:*:) a b = ...

only if -XTypeOperators is in force.  And similarly class decls.

This patch fixes the problem.  It uses the slightly-nasty OccName.isSymOcc,
but the only way to avoid that is to cach the result in OccNames which seems
overkill to us.

Use -w when compiling libffi, to stop -Werror failures

Add a section "Multi-threading and the FFI"
and collect all the information about multi-threaded FFI use into it.

emit a helpful message if you say 'make html' and BUILD_DOCBOOK_HTML=NO

mention documentation tools in the summary; tidy up formatting

depend on mk/project.mk appropriately

fix comment

Unquote a $(LN_S) in ghc/ghc.mk

$(XARGS) might include arguments, so don't quote it in makefiles

Quote commands that we run, so they work if there are space in their paths
I've also added some missing $s to some makefiles. These aren't
technically necessary, but it's nice to be consistent.

Remove some redundant code from hi-rule.mk

make the clean_libraries target work, so you can "make clean" in libraries/

fix pprDynamicLinkerAsmLabel for Mac OS X x86_64

Make clean_libraries in the same way that we make all_libraries

Tweak mk/sub-makefile.mk

Implement -XMonoLocalBinds: a radical new flag

The new flag -XMonoLocalBinds tells GHC not to generalise nested
bindings in let or where clauses, unless there is a type signature,
in which case we use it.

I'm thinking about whether this might actually be a good direction for
Haskell go to in, although it seems pretty radical.  Anyway, the flag
is easy to implement (look at how few lines change), and having it
will allow us to experiement with and without.

Just for the record, below are the changes required in the boot
libraries -- ie the places where.  Not quite as minimal as I'd hoped,
but the changes fall into a few standard patterns, and most represent
(in my opinion) sytlistic improvements.  I will not push these patches,
however.

== running darcs what -s --repodir libraries/base
M ./Control/Arrow.hs -2 +4
M ./Data/Data.hs -7 +22
M ./System/IO/Error.hs +1
M ./Text/ParserCombinators/ReadP.hs +1
== running darcs what -s --repodir libraries/bytestring
M ./Data/ByteString/Char8.hs -1 +2
M ./Data/ByteString/Unsafe.hs +1
== running darcs what -s --repodir libraries/Cabal
M ./Distribution/PackageDescription.hs -2 +6
M ./Distribution/PackageDescription/Check.hs +3
M ./Distribution/PackageDescription/Configuration.hs -1 +3
M ./Distribution/ParseUtils.hs -2 +4
M ./Distribution/Simple/Command.hs -1 +4
M ./Distribution/Simple/Setup.hs -12 +24
M ./Distribution/Simple/UserHooks.hs -1 +5
== running darcs what -s --repodir libraries/containers
M ./Data/IntMap.hs -2 +2
== running darcs what -s --repodir libraries/dph
M ./dph-base/Data/Array/Parallel/Arr/BBArr.hs -1 +3
M ./dph-base/Data/Array/Parallel/Arr/BUArr.hs -2 +4
M ./dph-prim-par/Data/Array/Parallel/Unlifted/Distributed/Arrays.hs -6 +10
M ./dph-prim-par/Data/Array/Parallel/Unlifted/Distributed/Combinators.hs -3 +6
M ./dph-prim-seq/Data/Array/Parallel/Unlifted/Sequential/Flat/Permute.hs -2 +4
== running darcs what -s --repodir libraries/syb
M ./Data/Generics/Twins.hs -5 +18

don't shrink the stack smaller than the value set by +RTS -k<size>

Fix bug in previous change: allocate the correct size

Make haddocking depend on the library .a file

You can't Haddock a library until it's built. Previously that happened
automatically because
  Haddock itself was built with stage2
  And all the libraries were built with stage1
But now DPH is built with stage2, so Haddock can get to work too
early.

This patch adds the missing dependency (thanks to Simon M)

Fix Trac #3259: expose 'lazy' only after generating interface files

This patch fixes an insidious and long-standing bug in the way that
parallelism is handled in GHC.  See Note [lazyId magic] in MkId.

Here's the diagnosis, copied from the Trac ticket.  par is defined
in GHC.Conc thus:

    {-# INLINE par  #-}
    par :: a -> b -> b
    par  x y = case (par# x) of { _ -> lazy y }

    -- The reason for the strange "lazy" call is that it fools the
    -- compiler into thinking that pseq and par are non-strict in
    -- their second argument (even if it inlines pseq/par at the call
    -- site).  If it thinks par is strict in "y", then it often
    -- evaluates "y" before "x", which is totally wrong.

The function lazy is the identity function, but it is inlined only
after strictness analysis, and (via some magic) pretends to be
lazy. Hence par pretends to be lazy too.

The trouble is that both par and lazy are inlined into your definition
of parallelise, so that the unfolding for parallelise (exposed in
Parallelise.hi) does not use lazy at all. Then when compiling Main,
parallelise is in turn inlined (before strictness analysis), and so
the strictness analyser sees too much.

This was all sloppy thinking on my part. Inlining lazy after
strictness analysis works fine for the current module, but not for
importing modules.

The fix implemented by this patch is to inline 'lazy' in CorePrep,
not in WorkWrap. That way interface files never see the inlined version.

The downside is that a little less optimisation may happen on programs
that use 'lazy'.  And you'll only see this in the results -ddump-prep
not in -ddump-simpl.  So KEEP AN EYE OUT (Simon and Satnam especially).
Still, it should work properly now.  Certainly fixes #3259.

Fix Trac #3262: suppress name-shadow warning for _names

Adopt Max's suggestion for name shadowing, by suppressing shadowing
warnings for variables starting with "_".  A tiny bit of refactoring
along the way.

don't call Haskeline to read input when stdin is not a terminal

Fix handling of R_SPARC_UA32 relocations in linker
  These refer to unaligned locations that need to be written
  byte-at-a-time. This fixes the SPARC ghci failures in
  the current head.

Document the fact that Template Haskell type splices work

Improve printing of Orig RdrNames

In Tempate Haskell -ddump-splices, the "after" expression is populated
with RdrNames, many of which are Orig things.  We used to print these
fully-qualified, but that's a bit heavy.

This patch refactors the code a bit so that the same print-unqualified
mechanism we use for Names also works for RdrNames.  Lots of comments
too, because it took me a while to figure out how it all worked again.

Print more nicely in -ddump-splices

When you say -ddump-splices, the "before" expression is now

        *renamed* but not *typechecked"

Reason (a) less typechecking crap
       (b) data constructors after type checking have been
   changed to their *wrappers*, and that makes them
   print always fully qualified

Fix Trac #3261: make default types play nice with -Werror

The trial-and-error for type defaults was not playing nicely with
-Werror. The fix is simple.

Adjust error message slightly

White space only

Remove type-ambiguous (fromIntegral 0)::Int, replacing it with just 0

This unnecessary ambiguity has been there for ages, and is now rejected
by -Werror, after fixing #3261

Move getMainFun to TcRnDriver, trim DynFlags imports

Comments only