Give the right exit code in darcs-all
Our END block was calling system, which alters $?. So now we save and
restore it.

Use StgWord64 instead of ullong
This patch also fixes ullong_format_string (renamed to showStgWord64)
so that it works with values outside the 32bit range (trac #3979), and
simplifies the without-commas case.

Implement try10Times in Makefile
Avoid using seq, as FreeBSD has jot instead.

Fix crash in non-threaded RTS on Windows
The tso->block_info field is now overwritten by pushOnRunQueue(), but
stg_block_async_info was assuming that it still held a pointer to the
StgAsyncIOResult.  We must therefore save this value somewhere safe
before putting the TSO on the run queue.

Expand the scope of the event_buf_mutex to cover io_manager_event
I once saw a failure that I think was due to a race on
io_manager_event, this should fix it.

Flags -auto and -auto-all operate only on functions not marked INLINE.

Spelling correction for LANGUAGE pragmas

Update the user guide so it talks about the newer "do rec" notation everywhere
Some of the problems highlighted in trac #3968.

Fix typo

Fix Trac #3950: unifying types of different kinds

I was assuming that the unifer only unified types of the
same kind, but now we can "defer" unsolved constraints that
invariant no longer holds.  Or at least is's more complicated
to ensure.

This patch takes the path of not assuming the invariant, which
is simpler and more robust.  See
Note [Mismatched type lists and application decomposition]

Fix Trac #3943: incorrect unused-variable warning

In fixing this I did the usual little bit of refactoring

Convert boot and boot-pkgs to perl
This stops us having to worry about sh/sed/... portability.

Use $(MAKE), not make, when recursively calling make

Remove the ghc_ge_609 makefile variables
They are now guaranteed to be YES

Increase the minimum version number required to 6.10 in configure.ac

The bootstrapping compiler is now required to be > 609

Handle IND_STATIC in isRetainer
IND_STATIC used to be an error, but at the moment it can happen
as isAlive doesn't look through IND_STATIC as it ignores static
closures. See trac #3956 for a program that hit this error.

Add Data and Typeable instances to HsSyn

The instances (and deriving declarations) have been taken from the ghc-syb
package.

Fix for derefing ThreadRelocated TSOs in MVar operations

sanity check fix

get the reg liveness right in the putMVar# heap check

initialise the headers of MSG_BLACKHOLE objects properly

initialise the headers of MVAR_TSO_QUEUE objects properly

undo debugging code

putMVar#: fix reg liveness in the heap check

account for the new BLACKHOLEs in the GHCi debugger

don't forget to deRefTSO() in tryWakeupThread()

Fix bug in popRunQueue

fix bug in migrateThread()

Remove the IND_OLDGEN and IND_OLDGEN_PERM closure types
These are no longer used: once upon a time they used to have different
layout from IND and IND_PERM respectively, but that is no longer the
case since we changed the remembered set to be an array of addresses
instead of a linked list of closures.

Change the representation of the MVar blocked queue

The list of threads blocked on an MVar is now represented as a list of
separately allocated objects rather than being linked through the TSOs
themselves.  This lets us remove a TSO from the list in O(1) time
rather than O(n) time, by marking the list object.  Removing this
linear component fixes some pathalogical performance cases where many
threads were blocked on an MVar and became unreachable simultaneously
(nofib/smp/threads007), or when sending an asynchronous exception to a
TSO in a long list of thread blocked on an MVar.

MVar performance has actually improved by a few percent as a result of
this change, slightly to my surprise.

This is the final cleanup in the sequence, which let me remove the old
way of waking up threads (unblockOne(), MSG_WAKEUP) in favour of the
new way (tryWakeupThread and MSG_TRY_WAKEUP, which is idempotent).  It
is now the case that only the Capability that owns a TSO may modify
its state (well, almost), and this simplifies various things.  More of
the RTS is based on message-passing between Capabilities now.

eliminate some duplication with a bit of CPP

Make ioManagerDie() idempotent
Avoids screeds of "event buffer overflowed; event dropped" in
conc059(threaded1).

Move a thread to the front of the run queue when another thread blocks on it
This fixes #3838, and was made possible by the new BLACKHOLE
infrastructure.  To allow reording of the run queue I had to make it
doubly-linked, which entails some extra trickiness with regard to
GC write barriers and suchlike.

remove non-existent MUT_CONS symbols

change throwTo to use tryWakeupThread rather than unblockOne

tiny GC optimisation

New implementation of BLACKHOLEs

This replaces the global blackhole_queue with a clever scheme that
enables us to queue up blocked threads on the closure that they are
blocked on, while still avoiding atomic instructions in the common
case.

Advantages:

 - gets rid of a locked global data structure and some tricky GC code
   (replacing it with some per-thread data structures and different
   tricky GC code :)

 - wakeups are more prompt: parallel/concurrent performance should
   benefit.  I haven't seen anything dramatic in the parallel
   benchmarks so far, but a couple of threading benchmarks do improve
   a bit.

 - waking up a thread blocked on a blackhole is now O(1) (e.g. if
   it is the target of throwTo).

 - less sharing and better separation of Capabilities: communication
   is done with messages, the data structures are strictly owned by a
   Capability and cannot be modified except by sending messages.

 - this change will utlimately enable us to do more intelligent
   scheduling when threads block on each other.  This is what started
   off the whole thing, but it isn't done yet (#3838).

I'll be documenting all this on the wiki in due course.

Fix warnings (allow pushOnRunQueue() to not be inlined)

remove out of date comment

tidy up spacing in stderr traces

Fix an assertion that was not safe when running in parallel

Never jump directly to a thunk's entry code, even if it is single-entry
I don't think this fixes any bugs as we don't have single-entry thunks
at the moment, but it could cause problems for parallel execution if
we ever did re-introduce update avoidance.

Rename forgotten -dverbose-simpl to -dverbose-core2core in the docs.

Add -pa and -V to the documentation of time profiling options.

Keep gcc 4.5 happy

Fix warning compiling Linker.c for PPC Mac
The warning message eliminated is:
> rts/Linker.c:4756:0:
>      warning: nested extern declaration of 'symbolsWithoutUnderscore'

Fix error compiling AsmCodeGen.lhs for PPC Mac (mkRtsCodeLabel)
The error messages eliminated are:
> compiler/nativeGen/AsmCodeGen.lhs:875:31:
>     Not in scope: `mkRtsCodeLabel'
> compiler/nativeGen/AsmCodeGen.lhs:879:31:
>     Not in scope: `mkRtsCodeLabel'
> compiler/nativeGen/AsmCodeGen.lhs:883:31:
>     Not in scope: `mkRtsCodeLabel'

Fix error compiling AsmCodeGen.lhs for PPC Mac (DestBlockId)
The error message eliminated is:
> compiler/nativeGen/AsmCodeGen.lhs:637:16:
>     Not in scope: data constructor `DestBlockId'

Fix boot-pkgs's sed usage to work with Solaris's sed

Pass "-i org.haskell.GHC" to packagemaker when building the OS X installer
This seems to fix this failure:
[...]
** BUILD SUCCEEDED **
rm -f -f GHC-system.pmdoc/*-contents.xml
/Developer/usr/bin/packagemaker -v --doc GHC-system.pmdoc\
             -o /Users/ian/to_release/ghc-6.12.1.20100330/GHC-6.12.1.20100330-i386.pkg
2010-03-31 15:08:15.695 packagemaker[13909:807] Setting to : 0 (null)
2010-03-31 15:08:15.709 packagemaker[13909:807] Setting to : 0 org.haskell.glasgowHaskellCompiler.ghc.pkg
2010-03-31 15:08:15.739 packagemaker[13909:807] relocate: (null) 0
2010-03-31 15:08:15.740 packagemaker[13909:807] *** Terminating app due to uncaught exception 'NSInvalidArgumentException', reason: '*** -[NSXMLDocument initWithXMLString:options:error:]: nil argument'
2010-03-31 15:08:15.741 packagemaker[13909:807] Stack: (
    2511962091,
    2447007291,
    2511961547,
    2511961610,
    2432803204,
    453371,
    447720,
    436209,
    435510,
    9986,
    9918
)
make[1]: *** [framework-pkg] Trace/BPT trap
make: *** [framework-pkg] Error 2

Use machdepCCOpts when compiling the file to toggle -(no-)rtsopts
Should fix toggling on OS X "Snow Leopard". Diagnosed by Roman Leshchinskiy.

Avoid a non-portable use of tar reported by Roman Leshchinskiy

Don't install EXTRA_PACKAGES by default

fix a non-portable printf format

avoid single quote in #error

use FMT_Word64 instead of locally-defined version

remove old/unused DotnetSupport and GhcLibsWithUnix

fix return type cast in f.i.wrapper when using libffi (#3516)

Original fix submitted by
  Sergei Trofimovich <slyfox@community.haskell.org>
modified by me:
 - exclude 64-bit types
 - compare uniques, not strings
 - #include "ffi.h" is conditional

libffi: install 'ffitarget.h' header as sole 'ffi.h' is unusable
Submitted by: Sergei Trofimovich <slyfox@community.haskell.org>
Re-recorded against HEAD.

avoid a fork deadlock (see comments)

tidy up the end of the all_tasks list after forking

Add a 'setKeepCAFs' external function (#3900)

Explicitly check whether ar supports the @file syntax
rather than assuming that all GNU ar's do.
Apparently OpenBSD's older version doesn't.

Fix the format specifier for Int64/Word64 on Windows
mingw doesn't understand %llu/%lld - it treats them as 32-bit rather
than 64-bit. We use %I64u/%I64d instead.

Fix the ghci startmenu item
I'm not sure what changed, but it now doesn't work for me without
the "Start in" field being set.

Fix paths to docs in "Start Menu" entries in Windows installer; fixes #3847

Add a licence file for the Windows installer to use

Add gcc-g++ to the inplace mingw installation; fixes #3893

Add the licence file to the Windows installer. Fixes #3934

Quote the paths to alex and happy in configure

Use </> rather than ++ "/"
This stops us generating paths like
    c:\foo\/ghc460_0/ghc460_0.o
which windres doesn't understand.

Append $(exeext) to utils/ghc-pkg_dist_PROG
Fixes bindist creation

A sanity check

do_checks: do not set HpAlloc if the stack check fails

This fixes a very rare heap corruption bug, whereby

 - a context switch is requested, which sets HpLim to zero
   (contextSwitchCapability(), called by the timer signal or
   another Capability).

 - simultaneously a stack check fails, in a code fragment that has
   both a stack and a heap check.

The RTS then assumes that a heap-check failure has occurred and
subtracts HpAlloc from Hp, although in fact it was a stack-check
failure and retreating Hp will overwrite valid heap objects.  The bug
is that HpAlloc should only be set when Hp has been incremented by the
heap check.  See comments in rts/HeapStackCheck.cmm for more details.

This bug is probably incredibly rare in practice, but I happened to be
working on a test that triggers it reliably:
concurrent/should_run/throwto001, compiled with -O -threaded, args 30
300 +RTS -N2, run repeatedly in a loop.

comments and formatting only

Change how perl scripts get installed; partially fixes #3863
We now regenerate them when installing, which means the path for perl
doesn't get baked in

Pass the location of gcc in the ghc wrapper script; partially fixes #3863
This means we don't rely on baking a path to gcc into the executable

Quote the ar path in configure

Remove unused cUSER_WAY_NAMES cUSER_WAY_OPTS

Remove unused cCONTEXT_DIFF

Remove unused cEnableWin32DLLs

Remove unused cGHC_CP

Fix the build for non-GNU-ar

Tweak the Makefile code for making .a libs; fixes trac #3642
The main change is that, rather than using "xargs ar" we now put
all the filenames into a file, and do "ar @file". This means that
ar adds all the files at once, which works around a problem where
files with the same basename in a later invocation were overwriting
the existing file in the .a archive.

Enable shared libraries on Windows; fixes trac #3879

Add the external core PDF to the new build system

Allow specifying $threads directly when validating

Remove LazyUniqFM; fixes trac #3880

UNDO: slight improvement to scavenging ...

Accidnetally pushed this patch which, while it validates, isn't
correct.

rolling back:

Fri Mar 19 11:21:27 GMT 2010  Simon Marlow <marlowsd@gmail.com>
  * slight improvement to scavenging of update frames when a collision has occurred

    M ./rts/sm/Scav.c -19 +15

slight improvement to scavenging of update frames when a collision has occurred

Don't install the utf8-string package

Don't use -Bsymbolic when linking the RTS
This makes the RTS hooks work when doing dynamic linking

Fix Trac #3920: Template Haskell kinds

Fix two places where we were doing foldl instead of foldr
after decomposing a Kind.  Strange that the same bug appears
in two quite different places!

copy_tag_nolock(): fix write ordering and add a write_barrier()

Fixes a rare crash in the parallel GC.

If we copy a closure non-atomically during GC, as we do for all
immutable values, then before writing the forwarding pointer we better
make sure that the closure itself is visible to other threads that
might follow the forwarding pointer.  I imagine this doesn't happen
very often, but I just found one case of it: in scavenge_stack, the
RET_FUN case, after evacuating ret_fun->fun we then follow it and look
up the info pointer.

Add sliceP mapping to vectoriser builtins

Comments only

When saying RTS options are disabled, also say how to enable them

Fix profiling build following removal of specific STM object types

When compiling with GHC >= 6.13, use -rtsopts