Make assignTemp_ less pessimistic

assignTemp_ is intended to make sure that the expression gets assigned
to a temporary in case that's needed in order to avoid a register
getting trashed due to a function call.

Remove most of the CPP from AsmCodeGen

In particular, the "#error" for platforms without a NCG is gone,
which means the module should now build on all platforms again.

I'm not sure if this is the nicest way to handle multiple platforms
here, but it works for now.

Fix build on windows (hopefully)

A missing ';' that just happened to work fine on non-windows due
to differing definitions of the ACQUIRE_LOCK macro.

Emit various bits of OS process info into the eventlog

The process ID, parent process ID, rts name and version
The program arguments and environment.

Add capability sets to the tracing/events system

We trace the creation and shutdown of capabilities. All the capabilities
in the process are assigned to one capabilitiy set of OS-process type.

This is a second version of the patch. Includes work by Spencer Janssen.

Make the tracing of the startup event more regular

Rather than doing it differently for the eventlog and Dtrace cases.

Rearrange shutdownCapability code slightly

This is mostly for the beneift of having sensible places to put tracing
code later. We want a code path that has somewhere to trace (in order):
 (1) starting up all capabilities;
 (2) N * starting up an individual capability;
 (3) N * shutting down an individual capability;
 (4) shutting down all capabilities.
This has to work in both threaded and non-threaded modes.

Locations (1) and (2) are provided by initCapabilities and
initCapability respectively. Previously, there was no loccation for (4)
and while shutdownCapability should be usable for (3) it was only called
in the !THREADED_RTS case.

Now, shutdownCapability is called unconditionally (and the body is
conditonal on THREADED_RTS) and there is a new shutdownCapabilities that
calls shutdownCapability in a loop.

Merge branch 'ghc-generics'

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

Suppress the alarming SpecConstr message for normal users (Trac #5125)

This is the offending message:
  SpecConstr
      Function `$wks2{v s2dJ} [lid]'
        has one call pattern, but the limit is 0
      Use -fspec-constr-count=n to set the bound
      Use -dppr-debug to see specialisations

The message isn't very good, and is for experts only. So now it
comes out only
    if you build with -DDEBUG
    or you specify -dppr-debug at runtime

Treat the (~) type constructor a bit specially
when kind-checking in Core Lint.  It's unusual
becuase it is poly-kinded; for example

(~) Int a
and (~) Maybe b

are both ok.  We don't want the full generality
of kind polymorphism (yet anyway) so these changes
in effect give (~) its own private kinding rule.

It won't work right if (~) appears un-saturated,
and Lint now checks for that too.

Merge remote branch 'origin/master' into ghc-generics

Do not be so eager about loading family-instance modules
when doing the overlap check.  We only need to load the
ones for modules whose family instances we need to compare!

This means that programs that don't use type families are
not penalised, which is important.

Rejig the way in which generic default method signatures are checked

- Check GenericSig in tcClassSigs, along with TypeSig
- Add the generic default methods to the type envt
- Look them up via tcLookupId in TcClassDcl.tcDefMeth

Much nicer!

Bump specConstr threshold to match to 10x factor added to
CoreUnfold.sizeExpr (oops, forgot to push this patch along with the
others yesterday, and this caused a few test failures overnight).

Remove unused ghci/ByteCodeFFI.lhs

ghc-pkg: report parser warnings when registering packages

Provide the pkgroot value in ghc-pkg dump & describe when necessary

Tools handling installed packages need to be able to interpret the
paths which are relative to the ${pkgroot} which means they need to
know the value of ${pkgroot}. With ghc-pkg this is not always obvious
since ghc-pkg does not currently have any way machine interface for
reporting the location of its package dbs (global, user). The solution
we have arrived at is simply to emit the pkgroot as an extra field
when it is needed.

There are two cases:
 * --no-expand-pkgroot: ghc-pkg dump/describe will not expand the
   ${pkgroot} var, so it will appear literally in the output and the
   pkgroot field will be generated so that tools know what value to
   use for the ${pkgroot}.
 * --expand-pkgroot: ghc-pkg dump/describe will expand the ${pkgroot}
   and ${pkgrooturl} vars and will not generate the pkgroot field.

The defaults are:
 * ghc-pkg dump/describe --no-expand-pkgroot
 * ghc-pkg field --expand-pkgroot

sizeExpr: multiply all the sizes by 10, except for primops.  This
makes primops look cheap (but not free), and improves the Repro4.hs
example from #4978.

While I was making this change I accidentally discovered that
increasing the discount for scrutinised constructors was an
unambiguous win, so I did that too.

prog_argv and rts_argv now contain *copies* of the args passed to
setupRtsFlags(), rather than sharing the memory.  Previously if the
caller of hs_init() passed in dynamically-allocated memory and then
freed it, random crashes could happen later (#5177).

Add stricter ghc-pkg checks on package file/dir/url fields

The haddock-html and haddock-interface fields are now checked
as well. Had to fix up ghc-cabal as it used relative paths for
the inplace package's haddock-html. It turns out that these
were never used so it could simply be omitted.

Implement ${pkgroot} spec, allows relocatable registered packages

Historically ghc implemented relocatable packages by allowing
"$topdir" in the package registration info and having ghc expand
this with its notion of $topdir. The topdir refers to where ghc
itself is installed (specifically the libdir).

The ${pkgroot} spec takes this idea and makes it portable.
(http://www.haskell.org/pipermail/libraries/2009-May/011772.html)
Instead of paths relative to where ghc is installed, they can be
relative to the package database itself. Thus it is no longer a
ghc-specific idea and can work for package collections other than
the global package db.

Deprecate the ghc-pkg --auto-ghci-libs flag

It was never a universal solution. It only worked with the GNU linker.
It has not been used by Cabal for ages. GHCi can now load .a files so
it will not be needed in future.

ghc-pkg: don't expand ${name}-style env vars by default

For shell-based build systems the feature is still available as:
  ghc-pkg register --expand-env-vars

Historically, ghc-pkg allowed environment variables to appear in the
input files for ghc-pkg register. They are not stored in the package
database but are expanded upon registration. This feature helped for
build systems based on makefiles and shell scripts. These days the
vast majority of such files are generated by Cabal and we don't want
any ${name} strings (e.g. perhaps in a package description) getting
accidentally interpreted as an environment variable.

Better output for -ddump-deriv when using generics.

deprecate the -n option (#5180)

fix an integer overflow (#5086), and pre-emptively avoid more of these
in the future.

Disable DatatypeContexts by default

The Haskell' committee decided to remove datatype contexts from the language:
http://www.haskell.org/pipermail/haskell-prime/2011-January/003335.html

Fix +RTS -G1 (by deleting code, yay!) (#5026)

fix warning

Install the mtl package into the bindist when validating.  This allows
some more tests to run (those with reqlib('mtl')) and serves as an
extra sanity check on Cabal and the bindist.

fix warnings

make the change to go_pap suggested in #4978.  According to nofib, one
program is improved quite dramatically (fft2 30% less allocation), and
everything else was unchanged.

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.

Remove comment.

Fix a bug with standalone deriving of Generic instances.

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.

Merge branch 'master' of darcs.haskell.org/ghc into ghc-generics

Fixed conflicts:
compiler/typecheck/TcSMonad.lhs

Merge branch 'ghc-generics' of darcs.haskell.org/ghc into ghc-generics

Simon's fixes to the generated type instances in Generics

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.

Merge branch 'master' of darcs.haskell.org/ghc into ghc-generics

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.

Fix some small things broken with the last merge.

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

Merge branch 'master' of darcs.haskell.org/ghc into ghc-generics

Resolved conflicts:
compiler/typecheck/TcTyClsDecls.lhs

Remove some old code.

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 into ghc-generics

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 into ghc-generics

Make the errors for DeriveGeneric consistent with other deriving errors.

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

Merge ghc-new-co into master branch