Improve error message when a function is applied
to too many or too few args, in a higher order context

The change is to tcExpr.funResCtxt

Final batch of monad-comprehension stuff

* Do-notation in arrows is marked with HsStmtContext = ArrowExpr
* tcMDoStmt (which was only used for arrows) is moved
  to TcArrows, and renamed tcArrDoStmt
* Improved documentation in the user manual
* Lots of other minor changes

Merge remote branch 'origin/master' into monad-comp

More hacking on monad-comp

Lots of refactoring. In particular I have now combined
TansformStmt and GroupStmt into a single constructor TransStmt.
This gives lots of useful code sharing.

More on monad-comp; an intermediate state, so don't pull

More hacking on monad-comp; now works

Remove some ifdefs in favour of Haskell tests

Remove an ifdef from ghci/ByteCodeAsm.lhs

Ignore requests to use backends that aren't available; fixes #5145

Now if you try to use "-fasm" with an unreg compiler, for example,
you just get a warning saying it's being ignored.

Remove the OMIT_NATIVE_CODEGEN ifdef

We now test
    cGhcWithNativeCodeGen == "YES"
instead.

Remove a commented out import

Small DynFlags improvements

Reinstate the "-O conflicts with --interactive" warning

Update the defaultObjectTarget definition

We now default to HscC if unregisterised, else HscAsm if we have
an NCG, else LLVM.

LLVM: Fix bug with osx mangler and jump tables.

Implement dead basic block elimination.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Remove dead Alpha native backend.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Don't expose the cas definition to .hc files

This is more pleasant than having the C generator check whether the
function it's calling is cas, and not generate a prototype if so.

Use "true" rather than ":" for RANLIB, where we don't have ranlib

We can pass "true" to Cabal, but not ":" as it's just a shell built-in

Pass the right tool locations to Cabal when generating package.mk files

Fix build on OS X amd64

Simon's hacking on monad-comp; incomplete

We no longer need to pass pgmc etc in the ghc.wrapper script

They can now be set in the settings file instead

Add ar location and details to settings file

Add stage-specific AS variables to the build system

Add "C compiler flags" to settings file

I've made cpp_args include gcc_args. It effectively didn't before,
but seeing as gcc_args sometimes has -D flags in, I think doing so
is the right thing to do.

Move the machdepCCOpts flags into cCcOpts

This will ultimately mean they end up in the settings file, rather
than being hardcoded.

We now unconditionally give -D_REENTRANT on alpha, but I think that's
probably the right thing to do nowadays anyway.

Remove redundant -DDONT_WANT_WIN32_DLL_SUPPORT flag

Remove some out-of-date comments

Remove html, pdf and ps from the list of targets in MAKEHELP

They don't exist in the makefiles.

primops.txt.pp: add missing type application in description of GHC.Prim.Any

Understanding GHC.Prim.Any is all about understanding the need for
explicit type applications in CoreSyn; the previous example had one
explicit type application but was missing the other, which this patch
adds.  It also expands the explanation, based on SPJ's post here:

  http://article.gmane.org/gmane.comp.lang.haskell.cvs.ghc/46551

Merge remote branch 'origin/master' into monad-comp

Conflicts:
compiler/main/HscMain.lhs

Preliminary monad-comprehension patch (Trac #4370)

This is the work of Nils Schweinsberg <mail@n-sch.de>

It adds the language extension -XMonadComprehensions, which
generalises list comprehension syntax [ e | x <- xs] to work over
arbitrary monads.

Merge boot and boot-pkgs

There is no longer any need for them to be separate, and this
way we don't have to call perl from the boot script. This is
particularly useful when perl isn't where we expect it to be
(#5154).

configure: bootstrapping fix (#5155)

Don't check ghc compiles for the right platform when we're bootstrapping.

Output ELF .size directives for functions

This allows tools like Linux's perf events to display symbol names for
CMM primops.

Fix bug in multi-destination jump patching.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Implement jump table fix-ups for linear register allocator.

We achieve this by splitting up instruction selection for case
switches into two parts: the actual code generation, and the
generation of the accompanying jump table.  With this scheme,
the jump fixup code can modify the contents of the jump table
stored within the JMP_TBL (or BCTL) instruction, before the
actual data section is created.

SPARC and PPC patches are untested; they might not work!

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Eliminate GC check when no extra stack is used.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Give manifestSP better information about the actual SP location.

This patch fixes silliness where the SP pointer is continually
bumped up and down.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Ignore failure for "./sync-all checkout"

Not all repos are necessarily branched.

Add checkout support to sync-all

Skip missing directories for real.

While here, make the code a little bit more readable.

Merge branch 'master' of darcs.haskell.org/ghc

Solving one IP from another. This fixes #5120.

Merge branch 'master' of /Users/benl/devel/ghc/ghc-head

Run a CSE pass after vectorisation. This cleans up common sub-expressions introduced by the vectoriser. It has no effect unless -fvectorise is enabled.

Document flags to suppress unwanted info in core dumps.

Merge branch 'master' of darcs.haskell.org/ghc

Build system: Tell hsc2hs where to find cabal_macros.h

Whitespace only in rules/distdir-way-opts.mk

Formatting wibble in GhcMake.hs

Fix some warnings and formatting in HsDecls

Formatting fixes to TcForeign.lhs

Trim some trailing spaces

Add missing eol marker in RnSource.lhs

Fix some small errors in comments

Share some work in MkIface

Formatting wibble

Formatting fixes in Lexer.x

Remove unused imports

Fix warnings in HsImpExp.lhs

Fix spelling mistake in comment

cmm-notes updates.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Raw versions of if and switch.

This makes the following statements valid C--, which uses the
block ID directly rather than generating an anonymous block:

    if (expr) goto foo;
    switch expr {
        case 0: goto foo;
        case 1: goto bar;
    }

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>

Derive some Typeable instances

We were using the Typeable.hs macros, but for no good reason as
far as I can tell.

Update time library 1.2.0.3 -> 1.2.0.4

"perl command" should be perl, not gcc!

Fix warnings in DynFlags

I also made the -ffloat-all-lams flag not take an argument, as it just
ignored it.

Rename "GCC command" to "C compiler command"

Makes it consistent with the existing "C compiler flags"
field.

Get CC_STAGE0 from the bootstrapping compiler

Rather than using the compiler that configure detects, we use
the "GCC command" field from the --info output of the bootstrapping
compiler (provided it is >= 7.1).

Add stage-specific versions of more ar-related makefile vars

Remove unused ArSupportsInput makefile var

Remove now-unused BASH makefile variable

Make and use AR_STAGE[0123] makefile vars

Remove now-unused compiler/Makefile.local

Remove unused makefile variable PREPROCESSCMD

Remove unused Makefile.local

Remove unused Makefile.inc

Remove an nhc-specific makefile

Make stage-specific CC variables

This allows different gcc's to be used when building different stages,
which we need to do when cross-compiling.

Update .gitignore for the extra-gcc-opts -> settings change

Remove UseGcc makefile var

It couldn't be overridden, and was defined as YES.

Rename FP_HAVE_GCC to FP_GCC_VERSION

Remove HaveGcc (it was always YES)

Remove redundant tests for whether we're in a GHC tree

We always are, nowadays.

Revert "Output ELF .size directives for functions"

This reverts commit b1f453e16f0ce11a2ab18cc4c350bdcbd36299a6.
It caused dynHelloWorld(dyn) to fail.

Move gcc's and perl's location to the settings file

They were hardcoded in Config.hs

Output ELF .size directives for functions

This allows tools like Linux's perf events to display symbol names for
CMM primops.

Move the opt* fields from DynFlags into the Settings type

The pgm* fields are already in Settings

Tweak build rules for libffi

We were doing
    echo $(HOSTPLATFORM) | sed 's/i[567]86/i486/g'
but the only x86 value HOSTPLATFORM can have is i386.

We now tell libffi its build platform again, but we now tell it it's
$(BUILDPLATFORM) rather than $(HOSTPLATFORM).

no need to set --build when configuring libffi

The value --build was set to broke cross-compilier builds, and isn't
needed for regular builds.

fix documentation of FP_ARG_WITH_PATH_GNU_PROG

Initialise Settings before DynFlags

Stops us having to temporarily have a panic in the DynFlags.
We still need a panic in the DynFlags used for the top-level
error handler, though.

Fix typo in shared libraries documentation.

Split off a Settings type from DynFlags

Rename "extra-gcc-opts" to "settings", and start generalising it

Fix typo in comment

Merge branch 'master' of darcs.haskell.org/ghc

do not use sed for version date processing but rather cut and tr

Based on an idea from Karel Gardas, who had troubles with the original
sed version (which didn't work with /usr/bin/sed on Solaris).