Document -ddump-to-file.

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

scheduleDoGC: if we're doing heapCensus(), do it *before* releasing
the other mutator threads (#5127)

fix the names of the floating-point operations in the Cmm parser

Fix bug in one-line stats printing

The code that prints the "one-line" stats (i.e. the RTS -t flag) was
incorreclty printing zeros for some time values. These time values
were computed inside a conditional that was only true when printing
detailed stats (i.e. the RTS -s or -S flags).

This commit simply moves the computation out of the conditional so
they are available for the one-line stats output.

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

Fix renaming of guards

This was making mc17 fail.

Fix the desugaring of guards in arrow syntax

This was making T3822 fail, which it has apparently been doing
for some time (ie in GHC 7, 6.12, 6.10)!

fix pretty-printing of the cvttsd2si SSE2 instruction (fixes 5149 test
on x86_64).

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

heapCensus: we need to traverse the heap fragments stored in the
gen_workspace structures.  Fixes heapprof001(prof_hc_hb).

Add $$($1_$2_$3_ALL_HC_OPTS) when linking dynamic libraries.  Not
having this meant we weren't getting -no-user-package-conf, which
caused a build failure for me due to locally-installed packages being
used instead of ones in the tree.

Comments only

Merge branch 'coloured-core' of https://github.com/nominolo/ghc into coloured-core

Change remaining uses of cTargetOS to platformOS

And remove cTargetOS/cTargetPlatform.

Remove a use of cTargetOS, in favour of platformOS

Whitespace only in ghci/ByteCodeGen.lhs

Remove an explicit import list

Remove commented out imports

Change more Config tests to Platform tests

Remove unused pprUserReg functions

Change some conditional tests from Config.cTargetArch to platformArch

Move Platform from compiler/nativeGen to compiler/utils

We want to use it across the whole compiler now

Improve the warning about -fllvm and -fPIC/-dynamic conflicting

We now do it while parsing the flags, rather than at the end.
It also now uses the Platform's arch/os variables, rather than Config's.

Remove some dead code

Not needed now that we don't support registerised via-C compilation.

Make retainer profiling use the label length (-L) flag)

Remove commented out imports

Improve dead block calculation, per Simon Marlow's advice.

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

Remove unused hasktags configure check

Remove depreciated install-docs command

Merge remote branch 'origin/master'

Do-notation in an arrow context is not rebindable

Fixes Trac #4851

Format wibble

Fix some warnings in IfaceSyn

Formatting fixes to GhcMonad

Formatting fixes to IfaceSyn

LLVM: Support LLVM 2.9 (#5103)

Instead of using the GNU As subsection feature on Linux/Windows
for TNTC we now use the LLVM Mangler on all platforms.

LLVM: Add support for 64bit OSX. (partial #4210)

Make import conditional on DEBUG to avoid unused-import warnings

Remove accidental trace

Merge branch monad-comp onto master

This patch implements monad comprehensions, Trac #4370.
Thanks to Nils Schweinsberg for doing most of the heavy lifting.

I did quite a lot of related refactoring as well.  Notably:

* Combined TransformStmt and GroupStmt into a single
  constructor TransStmt; they share a lot of code.
  I also made TransStmt into a record; it has a lot of fields.

* Remove the "result expression" field of HsDo, and instead
  implement LastStmt, which is expected to be at the end
  of a list of Stmts

* Generalise and tidy up the typechecking of monad comprehensions

* 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

Change (back) to Unix line endings

Print contraint step counts only with -dppr-debug

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-tracking branch 'origin/master'

Fix Trac #5117: desugar literal patterns consistencly

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

expand/fix comment about x86-64 registers

The fix for #4914 was wrong and broke other things (see #5149).  We
can't emit the ffrees before a conditional jump, because we don't want
to ffree the stack registers if the jump isn't taken (d'oh).

This commit fixes it properly, by moving the pass that inserts the
ffrees to *before* we do the jump-shortcutting which introduces the
conditional non-local jumps.

remove some old commented-out settings that no longer work

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