Assign more accurate code sizes to primops, so that the inlining
heuristics work better.  Also removed the old unused "needs_wrapper"
predicate for primops.  This helps with #4978.

Tweak sizing heurstics for case expressions (see comments).
This improves the code generated for the examples in #4978, and
appears to make very little difference to nofib.

Merge branch 'master' of /home/simonmar/ghc-git/.

* 'master' of /home/simonmar/ghc-git/.:
  Revert "Add capability sets to the event system. Contains code from Duncan Coutts."

Revert "Add capability sets to the event system. Contains code from Duncan Coutts."

This reverts commit 58532eb46041aec8d4cbb48b054cb5b001edb43c.
Turns out it didn't work on Windows and it'll need some non-trivial changes
to make it work on Windows. We'll get it in later once that's sorted out.

Added utility to uniquely identify ghc repo states

This commit adds fingerprint.py python script that can be used to
create and restore "fingerprints" of a ghc repo configuration. A
fingerprint is a list of (sub-repo, commit) pairs. It can be used in
place of git submodules to record and reinstate the entire commit
state of the git repos used by ghc.

Fix small type in user guide.

Make array copy primops inline

Add array copy/clone primops

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

add 'sync-all log'

Merge remote branch 'origin/master'

Fixed conflicts in:
compiler/typecheck/TcCanonical.lhs
compiler/typecheck/TcErrors.lhs
compiler/typecheck/TcInteract.lhs

Add capability sets to the event system. Contains code from Duncan Coutts.

Fixes the way we check if flattening happened during
canonicalization. We now check whether the returned
coercion is an identity coercion. We used to check
whether we return any constraints from flattening but
that's wrong in the presence of the flattening cache.

FIX #4825: Update User Guide info on DLLs.

Original patch by Orphi <MathematicalOrchid@hotmail.com>
Plus a few miscellaneous updates from me.

Introducing:
   1) Postponing the application of instances when there
      is a possibility of a given matching. With the addition
      of prioritizing equalities this fixes #5002 and #4981.

   2) Implemented caching of flattening in constraint
      simplification. This improves efficiency (fixes #5030)

   3) Simplified pushing of unsolved wanteds
      (now pushing only equalities) inside implications.

Amend comment per Marlow's comments.

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

Fix build when DEBUG is on

Use FractionalLit more extensively to improve other pretty printers

Record the original text along with parsed Rationals: fixes #2245

Work around lack of saving volatile registers from unsafe foreign calls.

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

Make -ddump-to-file truncate existing files.

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

More aggressive clobber detection with Hp and RegSlot.

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

Split -ddump-cmmz into many smaller flags.

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

More aggressive CmmRegOff inlining, and fix failure to inline to assignments.

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

Generalized assignment rewriting pass.

This assignment rewriting pass subsumes the previous reload
sinking pass, and also performs basic inlining.

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

Fix build: Add missing import and remove unneeded #ifdef.
From Erik de Castro Lopo.

Accept '-l foo' as library syntax: fixes #4869

Unicode fixes, taking into account PEP383 support

Make the GHCi linker handle partially stripped object files (#5004)

When you use 'strip --strip-unneeded' on a ELF format .o or .a file, if
the object file has no global/exported symbols then 'strip' ends up
removing the symbol table entirely. Previously the GHCi linker assumed
there would always be exactly one symbol table and exactly one string
table. In fact, in ELF object files there is no such limitation, instead
each section points to the other sections it needs, in particular
relocation sections have a link to the symbol table section they use and
symbol table sections have a link to the corresponding string table.
So instead of assuming there will always be a global symbol and string
table, all we have to do is validate and follow these links. Then, when
we encounter an empty object file that has no symbols then we handle it
correctly, because since it's empty we never process any relocations and
so never have to follow any links to non-existant symbol tables.

Also, in the case where an object is fully stripped, we can now detect
this more reliably and emit a more helpful error message, e.g:

libHSghc-7.1.20110509.a(DsMeta.o): relocation section #2 has no symbol table
This object file has probably been fully striped. Such files cannot be linked.

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

Remove scar tissue

Wibbles on modules imported by vectoriser

Fix build

Follow changes in DPH library: Repr module is gone.

Update vectoriser now that PData instances have moved.

Update vectoriser now that PRepr has moved

Update vectoriser now that Scalar has moved

Update vectoriser now that PData has moved.

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

The final batch of changes for the new coercion representation

* Fix bugs in the packing and unpacking of data
  constructors with equality predicates in their types

* Remove PredCo altogether; instead, coercions between predicated
  types (like  (Eq a, [a]~b) => blah) are treated as if they
  were precisely their underlying representation type
       Eq a -> ((~) [a] b) -> blah
  in this case

* Similarly, Type.coreView no longer treats equality
  predciates specially.

* Implement the cast-of-coercion optimisation in
  Simplify.simplCoercionF

Numerous other small bug-fixes and refactorings.

Annoyingly, OptCoercion had Windows line endings, and this
patch switches to Unix, so it looks as if every line has changed.

Unix line endings for Pair.lhs

Fix Trac #5192: missing case in hsValBindsImplicits

This fixes the bug, adds some comments, and a tiny bit of refactoring

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

White space only

Document -ddump-to-file.

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

Merge remote branch 'origin/master'

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

Merge ghc-new-co into master branch

Don't discard usage info from coercion bindings!

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

Fix build

Merge master into the ghc-new-co branch

Substantial improvements in RtClosureInspect

The code for constructors in cvReconstrutType and cvObtainTerm
was grotesque.  It's now slightly better.  And it works with
the new coercion representation.

Apart from being simpler I have also made some small behavioural
improvements
  * Improved printing for string values
  * Preserve the print-name when instanting type variables
    (so now they are not always called "t")
  * Suppressed printing of predicate arguments to
    data constructors, unless -dppr-debug is on

Missing coercion case in byte code generation

Remove special case for EqPred in CoreView

Use eqSpecPreds

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

Be cleverer in dataConCannotMatch, fixes Trac #5168

Merge commit

Merge remote-tracking branch 'origin/master'