Add a --ignore-failure flag to push-all script

Dump renamer output with -ddump-rn for command-line entry in ghci

Fix Trac #1525

A Name used to have a Parent, but no longer has.  When we want to
print info about data type T and data constructor MkT, the info about
T already describes MkT so we want to discard the latter.  Now that
Names don't have a Parent, we must do that in a different way,
using implicitTyThings

Test is ghci011

Wibbble to last fix to generalisation (again!); fixes Trac #1575

Small error-message change

Vectorise DataCon workers

Include original tycon in PAInstance

More refactoring

Refactoring

Thread lifting context implicitly in the vectorisation monad

Fix calls to replicatePA

Trace vectorisation failures

Reuse the lifting context Var

Move code

Nicer names for hoisted functions

Improve closure generation for functions with multiple parameters

Rename functions

Use new closure generation code in vectorisation

More vectorisation-related smart constructors

Use VectCore stuff in vectorisation

Move vectorisation-related smart constructors into a separate module

Use a Var instead of a CoreExpr as the lifting context during vectorisation

Simplify handling of variables during vectorisation

Simplify closure generation code

New closure generation code

Refactoring

Optimise parallel arrays of products

FIX recent PPC crashes introduced by the pointer-tagging patch (I hope)
There was an accidental endian-dependency in changes related to RET_FUN.
The changes in question weren't strictly necessary - they were left
over from the original workaround for the compacting GC problems, so
I've just reverted those changes in this patch, which should hopefully
fix the PPC problems.

revert accidental modification of version number

Fix a knot-tying bug with ghc --make

This bug showed up when I touched Data.Generics.Schemes, and then said
make build.library.base
This compiles the base library with --make, and I got an assertion failure
in TcIface.  The explanation is in Note [Tying the knot] in TcIface.

As well as fixing the bug, I also impoved the assertion message.

This might fix or improve other knot-tying problems with --make

Spelling error

Clarify comments

Fix generalisation during type inference (again); fixes Trac #1564

Figuring out which type variables to generalise when inferring the type
of a let-bound function is always trickier than I think!  This patch
fixes a bug (related, inevitably, to functional depenencies) found by
iampure, Trac #1564.  I'll add a test shortly.

Only add -rpath to linker invocation when -dynamic

fix the hardtop test for ghc-6.2.x, and make it notice failure earlier

compile the -inplace programs using $(HC), not $(GHC)
$(UseStage1) modifies $(HC) rather than $(GHC)

Make lndir work on Windows (by copying)

Make lndir whitespace consistent

Set hardtop_plat to hardtop to find out what, if anything, breaks

Use our own (Haskell) pwd to find the tree root

#1559 is worked around elsewhere, so validate no longer needs to

Change the strategy to determine dynamic data access

Instead of attaching the information whether a Label is going to be
accessed dynamically or not (distinction between IdLabel/DynLabel and
additional flags in ModuleInitLabel and PlainModuleInitLabel), we hand
dflags through the CmmOpt monad and the NatM monad. Before calling
labelDynamic in PositionIndependentCode, we extract thisPackage from
dflags and supply the current package to labelDynamic, so it can take
this information into account instead of extracting it from the labels
itself. This simplifies a lot of code in codeGen that just hands
through this_pkg.

Translate dyn in GhcLibWays into --enable-shared for Cabal

Add proper header so that cygwin recognizes this file as executable

Add hardwire-lib-paths option and make it default for inplace invocations

Add import facility to cmm parser

The cmm parser classified all unknown variables as imported. This
behaviour is not changed with this patch. Explicitly imported
variables get a different internal label type, namely ForeignLabel
instead of RtsLabel. In PIC compilation, the NCG creates dynamic
access for ForeignLabel, while RtsLabel are not treated as PIC when
-package rts. Hence, putting explicit imports into cmm files enables
the NCG to distinguish between RTS-external and RTS-internal symbols,
and create the appropriate code.

Fix the knot-tying in loopDecls to actually do what its comment tells: provide access to global declarations

windres to use the gcc given as --with-cc.

Change package name mangling when linking against DSOs

Allow access via manually generated SymbolPtrs. Generalize pprImportedSymbol for 64 bit archs.

FIX compacting GC (bug1010, and other failures)
Compacting GC interacts badly with the new pointer-tagging feature, as
it also uses the low bits of a pointer to encode some information
during a collection.  My original workaround didn't work, this more
elaborate fix should be better.

FIX #1559, #1560.  Rearrange the way we do ifBuildable...
ifBuildable now returns an exit code, with 1 indicating an unbuildable
non-core package, and 0 otherwise.  Hence we can now invoke the
recursive make from the shell, sidestepping the problems in #1559 and
#1560.

* ghc-asm: Finally did away with $* in a way that works with Perl 5.6~5.10+, by appending /m to all regexes.

Use "set -e" in validate, so "sh validate" still has it set

Follow cabal configurations changes

Pointer Tagging

This patch implements pointer tagging as per our ICFP'07 paper "Faster
laziness using dynamic pointer tagging".  It improves performance by
10-15% for most workloads, including GHC itself.

The original patches were by Alexey Rodriguez Yakushev
<mrchebas@gmail.com>, with additions and improvements by me.  I've
re-recorded the development as a single patch.

The basic idea is this: we use the low 2 bits of a pointer to a heap
object (3 bits on a 64-bit architecture) to encode some information
about the object pointed to.  For a constructor, we encode the "tag"
of the constructor (e.g. True vs. False), for a function closure its
arity.  This enables some decisions to be made without dereferencing
the pointer, which speeds up some common operations.  In particular it
enables us to avoid costly indirect jumps in many cases.

More information in the commentary:

http://hackage.haskell.org/trac/ghc/wiki/Commentary/Rts/HaskellExecution/PointerTagging

Fix building the HEAD with itself

Link with hpc even if GhcWithInterpreter is not set

Documentation updates for #1177
We now have a section that describes what hs_exit() does (including
the "wait for foreign calls to return" behaviour), and more
documentation on creating libraries of Haskell code.  I also imported
the section "Beware of DllMain()!" from the haskell.org wiki, with
some minor editing.

Mark PA dictionaries as __inline_me

Add missing coercion

Make sure DEFAULT always comes first in generated PA dictionaries

Fix generation of lengthPA

Modify generation of PA dictionaries to match GHC's usual behaviour

Use the right dictionary when calling lengthPA

Automatically derive PA for vectorised tycons

PA instance generation code (not used yet)

Create exported names in vectorisation monads

Add vectorisation-related OccName derivation scheme

PA dictionary generation

Move code

Generate replicatePA

Generate lengthPA method

Use emptyPA in vectorisation

Add emptyPA to PrelNames

More refactoring

Refactoring

make validate work on Windows
This includes automatically adding --build=i386-unknown-mingw32 and
--with-gcc to ./configure, and disabling -j2 (see #1559).

Also: you can now say

  CPUS=3 ./validate

and the script will pass -jN to make (where N = $CPUS + 1).  In the
future, when we fix #1558, it can pass THREADS=N to the testsuite, too.

FIX #1177, partially at least.
Now we don't wait for outstanding IO requests when shutting down at
program exit time, but we still wait when shutting down a DLL (via
hs_exit()).  There ought to be a better way to do this, but
terminating the threads forcibly is not a good idea (it never is: the
thread might be holding a mutex when it dies, for example).

I plan to add some docs to the user guide to describe how to shut
down a DLL properly.

hs_exit()/shutdownHaskell(): wait for outstanding foreign calls to complete before returning
This is pertinent to #1177.  When shutting down a DLL, we need to be
sure that there are no OS threads that can return to the code that we
are about to unload, and previously the threaded RTS was unsafe in
this respect.

When exiting a standalone program we don't have to be quite so
paranoid: all the code will disappear at the same time as any running
threads.  Happily exiting a program happens via a different path:
shutdownHaskellAndExit().  If we're about to exit(), then there's no
need to wait for foreign calls to complete.

Add unreg/tables-next-code output to +RTS --info

Add a +RTS --info flag print various info; partially fixes trac #1517

FIX #1215: GHC fails to respect the maximal munch rule while lexing "qualified reservedids"

I didn't actually fix this to respect Haskell 98, instead I changed it
to follow the proposal for Haskell':

http://hackage.haskell.org/cgi-bin/haskell-prime/trac.cgi/wiki/QualifiedIdentifiers

Rationale:

  - We didn't respect Haskell 98 with respect to qualified symbols either
  - The Haskell' change makes things much cleaner
  - Obeying the Haskell 98 spec literally has some unintended
    consequences (e.g. M.where must lex as "M.wher" "e")
  - Any programs that compiled before this change and do not compile
    after it were illegal according to Haskell 98 anyway.

FIX #1555: Remove "exp -> pat" production in stmts
It looks like this was an experiment that accidentally got committed,
somewhere between 6.0 and 6.2.

Document the new -X flags in the flag reference

Check for framework failures and unexpected passes in validate

Use CLEANUP=1 when running the testsuite from validate

in hpc-tools, removing the use of %error, to allow happy 1.15 to be used.

hpc-tools: improving flag processing and help messages, small bug fixes.

Hack: copy ld.exe to compiler/gcc-lib so Cabal can find it

Fix the Windows build

When registering base during installation, don't hide GHC.Prim

Create .hi-boot and .o-boot files in --make mode; fixes trac #1322
We were recompiling the .hs-boot files each time, as we were never
writing out the compilation results.

Fix -split-obj on Mac OS via -fasm

The problem of the splitter was that it re-emitted section directives
for every dynamic label found. The following was torn apart

.symbol_stubs
.indirect <symbol>
L_<symbol>$stub:
jmp *...
L_<symbol>$stub_binder:
..somebinding code..

into

.symbol_stubs
.indirect_symbol <symbol>
L_<symbol>$stub:
jmp *...
.symbol_stubs <--- NEW
L_<symbol>$stub_binder:
..somebinding code..

This is incorrect as the Mac OS assembler enforces that every new code
section that goes into .symbol_stubs is associated with the linker
directive .indirect_symbol. This sanity check is obviously violated
when we reemit .symbol_stub in the splitter. The solution is to ignore
everything that ends with $stub_binder as new label, and chuck it into
a single label for $stub.

Also the splitter has to recognize .section __DATA... for the lazy_ptr
indirection symbol. Adds a reminder to PositionIndependentCode.hs to
take care of the splitter when the code generation is changed.

This should not affect -fvia-c as the code generated by the C compiler
is entirely different.

Made the label generation in the Cmm parser more direct

Typo fix in comment

Default tick interval was 50ms, change it to 20ms
I think 50ms was accidental, prior to 6.6 it used to be 20ms

remove unused TICK_FREQUENCY

wakeUpSleepingThreads: fix off by one
The symptom of this bug is after the time of a threadDelay has
expired, the RTS does a whole slew of extra select() calls.
This should help with #1523, but it's not the whole story.

Fixes for the unreg build
* Fix code output order when printing C so things are defined before
  they are used.
* Generate _ret rather than _entry functions for INFO_TABLE_RET.
* Use "ASSIGN_BaseReg" rather than "BaseReg =".