stmAddInvariantToCheck: add missing init of invariant->lock (#4057)

Add new LLVM code generator to GHC. (Version 2)

This was done as part of an honours thesis at UNSW, the paper describing the
work and results can be found at:

http://www.cse.unsw.edu.au/~pls/thesis/davidt-thesis.pdf

A Homepage for the backend can be found at:

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Compiler/Backends/LLVM

Quick summary of performance is that for the 'nofib' benchmark suite, runtimes
are within 5% slower than the NCG and generally better than the C code
generator.  For some code though, such as the DPH projects benchmark, the LLVM
code generator outperforms the NCG and C code generator by about a 25%
reduction in run times.

Fix Trac #4127: build GlobalRdrEnv in GHCi correctly

GHCi was building its GlobalRdrEnv wrongly, so that the
gre_par field was bogus.  That in turn fooled the renamer.
The fix is easy: use the right function!  Namely, call
RnNames.gresFromAvail rather than availsToNameSet.

Comments, and improvement to pretty-printing of HsGroup

Don't reverse bindings in rnMethodBinds (fix Trac #4126)

Fix Trac #4120: generate a proper coercion when unifying forall types

This was just a blatant omission, which hasn't come up before.
Easily fixed, happily.

Use mkFunTy to ensure that invariants are respected

Remove redundant debug code

Fix Trac #4099: better error message for type functions

Now we only want about "T is a type function and might not be
injective" when matchin (T x) against (T y), which is the case
that is really confusing.

Gruesome fix in CorePrep to fix embarassing Trac #4121

This is a long-lurking bug that has been flushed into
the open by other arity-related changes.  There's a
long comment

     Note [CafInfo and floating]

to explain.

I really hate the contortions we have to do through to keep correct
CafRef information on top-level binders.  The Right Thing, I believe,
is to compute CAF and arity information later, and merge it into the
interface-file information when the latter is generated.

But for now, this hackily fixes the problem.

Fix a bug in CorePrep that meant output invariants not satisfied

In cpePair I did things in the wrong order so that something that
should have been a CprRhs wasn't.  Result: a crash in CoreToStg.
Fix is easy, and I added more informative type signatures too.

Robustify the treatement of DFunUnfolding

See Note [DFun unfoldings] in CoreSyn.  The issue here is that
you can't tell how many dictionary arguments a DFun needs just
from looking at the Arity of the DFun Id: if the dictionary is
represented by a newtype the arity might include the dictionary
and value arguments of the (single) method.

So we need to record the number of arguments need by the DFun
in the DFunUnfolding itself.  Details in
   Note [DFun unfoldings] in CoreSyn

Fix spelling in comment

Update docs on view patterns

Fix printing of splices; part of #4124
Just putting parens around non-atomic expressions isn't sufficient
for splices, as only the $x and $(e) forms are valid input.

In ghci, catch IO exceptions when calling canonicalizePath
We now get an exception if the path doesn't exist

Whitespace only

Whitespace only

Update ghci example output in user guide; patch from YitzGale in #4111

Fix #4131 missing UNTAG_CLOSURE in messageBlackHole()

messageBlackHole: fix deadlock bug caused by a missing 'volatile'

Pass --no-tmp-comp-dir to Haddock (see comment)

Track changes to DPH libs

Track changes to DPH libs

In ghc-pkg, send warnings to stderr

Re-add newlines to enable layout for multi-line input.
Patch from Adam Vogt <vogt.adam@gmail.com>
Partial fix for #3984

Don't use unnecessary parens when printing types (Fix Trac 4107)

   f :: Eq a => a -> a
rather than
   f :: (Eq a) => a -> a

Track DPH library changes

fix --source-entity option passed to Haddock: we needed to escape a #

__stg_EAGER_BLACKHOLE_INFO -> __stg_EAGER_BLACKHOLE_info (#4106)

Add xhtml package (a new dependency of Haddock; not installed/shipped)

Use UserInterrupt rather than our own Interrupted exception (#4100)

Add the global package DB to ghc --info (#4103)

rts/sm/GC.c: resize_generations(): Remove unneeded check of number of generations.

This "if" is inside another "if" which checks for RtsFlags.GcFlags.generations
> 1, so testing this again is redundant, assuming the number of generations
won't change during program execution.

rts/sm/BlockAlloc.c: Small comment correction.

rts/sm/GC.c: Annotate constants.

includes/rts/storage/GC.h: generation_: n_words: Improve comment.

Add PPC_RELOC_LOCAL_SECTDIFF support; patch from PHO in #3654

powerpc-apple-darwin now supports shared libs

PIC support for PowerPC

PPC.CodeGen.getRegister was not properly handling PicBaseReg.
It seems working with this patch, but I'm not sure this change is correct.

Vectoriser: only treat a function as scalar if it actually computes something

Add a release notes file for 6.14.1

Check dblatex actually creates the files we tell it to
If it fails, it still exits successfully.

Add darwin to the list of OSes for which we use mmap
Patch from Barney Stratford

Simplify the CPP logic in rts/Linker.c

Fix validate on OS X

OS X x86_64 fix from Barney Stratford

OS X 64 installer fixes from Barney Stratford

fix warning

Fix doc bugs (#4071)

Make sparks into weak pointers (#2185)
The new strategies library (parallel-2.0+, preferably 2.2+) is now
required for parallel programming, otherwise parallelism will be lost.

If you say 'make' or 'make stage=2' here, pretend we're in the ghc dir

Another attempt to get these #defines right
Apparently on Solaris it is an error to omit _ISOC99_SOURCE when using
_POSIX_C_SOURCE==200112L.

Add configure flags for the location of GMP includes/library; fixes #4022

Refactor pretty printing of TyThings to fix Trac #4015

When haddocking, we need the dependencies to have been built
as haddock loads the .hi files with the GHC API.

Fix profiling output; spotted by jlouis
We were outputing the number of words allocated in a column titled "bytes".

Improve printing of TyThings; fixes Trac #4087

Spelling in comments

Refactor (again) the handling of default methods

This patch fixes Trac #4056, by

 a) tidying up the treatment of default method names
 b) removing the 'module' argument to newTopSrcBinder

The details aren't that interesting, but the result
is much tidier. The original bug was a 'nameModule' panic,
caused by trying to find the module of a top-level name.
But TH quotes generate Internal top-level names that don't
have a module, and that is generally a good thing.

Fixing that in turn led to the default-method refactoring,
which also makes the Name for a default method be handled
in the same way as other derived names, generated in BuildTyCl
via a call newImplicitBinder.  Hurrah.

Don't do SpecConstr on NOINLINE things (Trac #4064)

Since the RULE from specialising gets the same Activation as
the inlining for the Id itself there's no point in specialising
a NOINLINE thing, because the rule will be permanently switched
off.

See Note [Transfer activation] in SpecConstr
and Note [Auto-specialisation and RULES] in Specialise.

Change our #defines to work on FreeBSD too
With glibc, things like _POSIX_C_SOURCE and _ISOC99_SOURCE are
additive, but on FreeBSD they are mutually exclusive.  However, it
turns out we only need to define _POSIX_C_SOURCE and _XOPEN_SOURCE to
get all the C99 stuff we need too, so there's no need for any #ifdefs.

Submitted by: Gabor PALI <pgj@FreeBSD.org>

Add a missing UNTAG_CLOSURE, causing bus errors on Sparc
We just about got away with this on x86 which isn't
alignment-sensitive.  The result of the memory load is compared
against a few different values, but there is a fallback case that
happened to be the right thing when the pointer was tagged.  A good
bug to find, nonetheless.

Add wiki links

the 'stage=0' trick to disable all compiler builds stopped working; fix it

Comments and formatting only

Core prettyprinter fixes. Patch from Tim Chevalier. Fixes #4085

Correct install-name for dynamic Darwin rts

Fix the RTS debug_p build

Unset $CFLAGS for "GNU non-executable stack" configure test; fixes #3889
With gcc 4.4 we get
    Error: can't resolve `.note.GNU-stack' {.note.GNU-stack section} - `.Ltext0' {.text section}
when running gcc with the -g flag. To work around this we unset
CFLAGS when running the test.

Don't run "set -o igncr" before configuring libffi
It used to make the build work on cygwin, but now it breaks it instead:
    config.status: creating include/Makefile
    gawk: ./confLqjohp/subs.awk:1: BEGIN {\r
    gawk: ./confLqjohp/subs.awk:1: ^ backslash not last character on line
    config.status: error: could not create include/Makefile
    make[2]: *** [libffi/stamp.ffi.configure-shared] Error 1
    make[1]: *** [all] Error 2

Stop passing -Wl,-macosx_version_min to gcc
Fixes a build failure on OS X 10.6. When linking
    rts/dist/build/libHSrts-ghc6.13.20100519.dylib
we got
    ld: symbol dyld_stub_binding_helper not defined (usually in crt1.o/dylib1.o/bundle1.o)
    collect2: ld returned 1 exit status

Fix build on FreeBSD; patch from Gabor PALI

Fix package shadowing order (#4072)

Later packages are supposed to shadow earlier ones in the stack,
unless the ordering is overriden with -package-id flags.
Unfortunately an earlier fix for something else had sorted the list of
packages so that it was in lexicographic order by installedPackageId,
and sadly our test (cabal/shadow) didn't pick this up because the
lexicographic ordering happened to work for the test.  I've now fixed
the test so it tries both orderings.

Set more env variables when configuring libffi
We now tell it where to find ld, nm and ar

Set the location of ar to be the in-tree ar on Windows

Change another / to </> to avoid building paths containing \/
This will hopefully fix #2889.

Fix #4074 (I hope).

1. allow multiple threads to call startTimer()/stopTimer() pairs
2. disable the timer around fork() in forkProcess()

A corresponding change to the process package is required.

we don't have a gcc-lib in LIB_DIR any more

In validate, use gmake if available; based on a patch from Gabor PALI

Remove duplicate "./configure --help" output; fixes #4075

Update various 'sh boot's to 'perl boot'
Spotted by Marco Túlio Gontijo e Silva

add missing initialisation for eventBufMutex

Undo part of #4003 patch
We still need the workaround for when compiling HEAD with 6.12.2

Fix makefile loop (#4050)

The libtool creates "libffi.dylib" and "libffi.5.dylib" but not "libffi.5.0.9.dylib". Having it in libffi_DYNAMIC_LIBS causes an infinite makefile loop.

fix !TABLES_NEXT_TO_CODE

looksLikeModuleName: allow apostrophe in module names (#4051)

add the proper library dependencies for GhcProfiled=YES

Fix Trac #4003: fix the knot-tying in checkHiBootIface

I had incorrectly "optimised" checkHiBootIface so that it forgot
to update the "knot-tied" type environment.

This patch fixes the HEAD

Re-engineer the derived Ord instance generation code (fix Trac #4019)

As well as fixing #4019, I rejigged the way that Ord instances are
generated, which should make them faster in general.  See the
Note [Generating Ord instances].

I tried to measure the performance difference from this change, but
the #4019 fix only removes one conditional branch per iteration, and
I couldn't measure a consistent improvement.  But still, tihs is
better than before.

Make arity of INLINE things consistent

We eta-expand things with INLINE pragmas;
see Note [Eta-expanding INLINE things].

But I eta-expanded it the wrong amount when the function
was overloaded.  Ooops.

Compacting GC fix, we forgot to thread the new bq field of StgTSO.

Add version constraints for the boot packages; fixes trac #3852
When using the bootstrapping compiler, we now explicitly constrain
the version of boot packages (Cabal, extensible-exceptions, etc) to the
in-tree version, so that the build system is less fragile should the
user have a newer version installed for the bootstrapping compiler.

Don't include inter-package dependencies when compiling with stage 0; #4031
This fixes a problem when building with GHC 6.12 on Windows, where
dependencies on stage 0 (bootstrapping compiler) packages have absolute
paths c:/ghc/..., and make gets confused by the colon.

Add a ghc.mk for bindisttest/

Move some make variables around so they are available when cleaning

Optimise checkremove a bit

Improve the bindisttest Makefile

Add tools to test that cleaning works properly

Tweak the ghc-pkg finding code
It now understand the ghc-stage[123] names we use in-tree, and it won't
go looking for any old ghc-pkg if it can't find the one that matches
ghc.