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.

Add a way to show what cleaning would be done, without actually doing it

Tidy up the "rm" flags in the build system

Fix crash in nested callbacks (#4038)
Broken by "Split part of the Task struct into a separate struct
InCall".

Add $(GhcDynamic) knob, set to YES to get stage2 linked with -dynamic
Default currently NO.

Validate passed with GhcDynamic=YES on x86/Linux here.

The compiler is currently slower on x86 when linked -dynamic,
because the GC inner loop has been adversely affected by -fPIC, I'm
looking into how to fix it.

omit "dyn" from the way appended to the __stginit label
When GHCi is linked dynamically, we still want to be able to load
non-dynamic object files.

improvements to findPtr(), a neat hack for browsing the heap in gdb

Fix +RTS -G1

Enable the "redundant specialise pragmas" warning; fixes trac #3855

Find the correct external ids when there's a wrapper

We were failing to externalise the wrapper id for a function
that had one.

Add a comment about pattern coercions

Comments only

Make a missing name in mkUsageInfo into a panic

We really want to know about this!

Refactoring of hsXxxBinders

This patch moves various functions that extract the binders
from a HsTyClDecl, HsForeignDecl etc into HsUtils, and gives
them consistent names.

Fix Trac #3966: warn about useless UNPACK pragmas

Warning about useless UNPACK pragmas wasn't as easy as I thought.
I did quite a bit of refactoring, which improved the code by refining
the types somewhat.  In particular notice that in DataCon, we have

    dcStrictMarks   :: [HsBang]
    dcRepStrictness :: [StrictnessMarks]

The former relates to the *source-code* annotation, the latter to
GHC's representation choice.

Make tcg_dus behave more sanely; fixes a mkUsageInfo panic

The tcg_dus field used to contain *uses* of type and class decls,
but not *defs*.  That was inconsistent, and it really went wrong
for Template Haskell bracket.  What happened was that
 foo = [d| data A = A
           f :: A -> A
           f x = x |]
would find a "use" of A when processing the top level of the module,
which in turn led to a mkUsageInfo panic in MkIface.  The cause was
the fact that the tcg_dus for the nested quote didn't have defs for
A.

Add a HsExplicitFlag to SpliceDecl, to improve Trac #4042

The issue here is that

    g :: A -> A
    f
    data A = A

is treated as if you'd written $(f); that is the call of
f is a top-level Template Haskell splice.  This patch
makes sure that we *first* check the -XTemplateHaskellFlag
and bleat about a parse error if it's off.  Othewise we
get strange seeing "A is out of scope" errors.

Change an assert to a warn

This is in the constraint simplifier which I'm about
to rewrite, so I'm hoping the assert isn't fatal!

Tidy up debug print a little

Remove useless UNPACK pragmas

Add WARNM2 macro, plus some refactoring

Use -Wwarn for the binary package, becuase it has redundant UNPACK pragmas

Fix Trac #3966: warn about unused UNPACK pragmas

Fix Trac #3953: fail earlier when using a bogus quasiquoter

Fix Trac #3965: tighten conditions when deriving Data

It's tricky to set up the context for a Data instance.  I got it wrong
once, and fixed it -- hence the "extra_constraints" in
TcDeriv.inferConstraints.

But it still wasn't right!  The tricky bit is that dataCast1 is only
generated when T :: *->*, and dataCast2 when T :: *->*->*. (See
the code in TcGenDeriv for dataCastX.

Fix Trac #3964: view patterns in DsArrows

Just a missing case; I've eliminated the catch-all so
that we get a warning next time we extend HsPat

Fix Trac #3955: renamer and type variables

The renamer wasn't computing the free variables of a type declaration
properly.  This patch refactors a bit, and makes it more robust,
fixing #3955 and several other closely-related bugs.  (We were
omitting some free variables and that could just possibly lead to a
usage-version tracking error.

Layout only

Give a better deprecated message for INCLUDE pragmas; fixes #3933
We now have a DeprecatedFullText constructor, so we can override the
"-#include is deprecated: " part of the warning.

De-haddock a comment that confuses haddock

Fix comment to not confuse haddock

Detect EOF when trying to parse a string in hp2ps

Make the demand analyser sdd demands for strict constructors

This opportunity was spotted by Roman, and is documented in
Note [Add demands for strict constructors] in DmdAnal.

Fix interaction of exprIsCheap and the lone-variable inlining check

See Note [Interaction of exprIsCheap and lone variables] in CoreUnfold

This buglet meant that a nullary definition with an INLINE pragma
counter-intuitively didn't get inlined at all.  Roman identified
the bug.

Matching cases in SpecConstr and Rules

This patch has zero effect.  It includes comments,
a bit of refactoring, and a tiny bit of commment-out
code go implement the "matching cases" idea below.

In the end I've left it disabled because while I think
it does no harm I don't think it'll do any good either.
But I didn't want to lose the idea totally. There's
a thread called "Storable and constant memory" on
the libraries@haskell.org list (Apr 2010) about it.

Note [Matching cases]
~~~~~~~~~~~~~~~~~~~~~
{- NOTE: This idea is currently disabled.  It really only works if
         the primops involved are OkForSpeculation, and, since
 they have side effects readIntOfAddr and touch are not.
 Maybe we'll get back to this later .  -}

Consider
   f (case readIntOffAddr# p# i# realWorld# of { (# s#, n# #) ->
      case touch# fp s# of { _ ->
      I# n# } } )
This happened in a tight loop generated by stream fusion that
Roman encountered.  We'd like to treat this just like the let
case, because the primops concerned are ok-for-speculation.
That is, we'd like to behave as if it had been
   case readIntOffAddr# p# i# realWorld# of { (# s#, n# #) ->
   case touch# fp s# of { _ ->
   f (I# n# } } )

Comments only

Comments only

Comments only

Comments only (about type families)

Fix hp2ps when the .hp file has large string literals

In build system, call package-config after including package data
Otherwise the $1_$2_HC_OPTS variable gets clobbered.

runghc: flush stdout/stderr on an exception (#3890)

Remove the Unicode alternative for ".." (#3894)

tidyup; no functional changes

Make the running_finalizers flag task-local
Fixes a bug reported by Lennart Augustsson, whereby we could get an
incorrect error from the RTS about re-entry from a finalizer,

add a MAYBE_GC() in killThread#, fixes throwto003(threaded2) looping

Allow filepath-1.2.*

BlockedOnMsgThrowTo is possible in resurrectThreads (#4030)

Don't raise a throwTo when the target is masking and BlockedOnBlackHole

Fix build with GHC 6.10
In GHC 6.10, intersectionWith is (a -> b -> a) instead of (a -> b -> c),
so we need to jump through some hoops to get the more general type.

The libffi patches are no longer needed

Use the in-tree windres; fixes trac #4032

Print unfoldings on lambda-bound variables

...in the unusual case where they have one;
see Note [Case binders and join points] in Simplify.lhs

Replace FiniteMap and UniqFM with counterparts from containers.

The original interfaces are kept. There is small performance improvement:
- when compiling for five nofib, we get following speedups:
    Average                -----           -2.5%
    Average                -----           -0.6%
    Average                -----           -0.5%
    Average                -----           -5.5%
    Average                -----          -10.3%
- when compiling HPC ten times, we get:
    switches                          oldmaps   newmaps
    -O -fasm                          117.402s  116.081s (98.87%)
    -O -fasm -fregs-graph             119.993s  118.735s (98.95%)
    -O -fasm -fregs-iterative         120.191s  118.607s (98.68%)

Make the demand analyser take account of lambda-bound unfoldings

This is a long-standing lurking bug. See Note [Lamba-bound unfoldings]
in DmdAnal.

I'm still not really happy with this lambda-bound-unfolding stuff.

Fix dynamic libs on OS X, and enable them by default

Switch back to using bytestring from the darcs repo; partially fixes #3855

Fix some cpp warnings when building on FreeBSD; patch from Gabor PALI

Fix "make 2"
The new Makefile logic was enabling the stage 1 rules when stage=2,
so "make 2" was rebuilding stage 1.

Inplace programs depend on their shell wrappers

--make is now the default (#3515), and -fno-code works with --make (#3783)
If the command line contains any Haskell source files, then we behave
as if --make had been given.

The meaning of the -c flag has changed (back): -c now selects one-shot
compilation, but stops before linking.  However, to retain backwards
compatibility, -c is still allowed with --make, and means the same as
--make -no-link.  The -no-link flag has been un-deprecated.

-fno-code is now allowed with --make (#3783); the fact that it was
disabled before was largely accidental, it seems.  We also had some
regressions in this area: it seems that -fno-code was causing a .hc
file to be emitted in certain cases.  I've tidied up the code, there
was no need for -fno-code to be a "mode" flag, as far as I can tell.

-fno-code does not emit interface files, nor does it do recompilation
checking, as suggested in #3783.  This would make Haddock emit
interface files, for example, and I'm fairly sure we don't want to do
that.  Compiling with -fno-code is pretty quick anyway, perhaps we can
get away without recompilation checking.

remove duplicate docs for -e in --help output (#4010)

workaround for #4003, fixes HEAD build with 6.12.2

Make sure all the clean rules are always included
In particular, this fixes a problem where stage3 bits weren't being cleaned

Correct the name of the amd64/FreeBSD platform in PlatformSupportsSharedLibs
We weren't getting sharedlibs on amd64/FreeBSD because of this

Include DPH docs in bindists

reinstate eta-expansion during SimplGently, to fix inlining of sequence_

fix 64-bit value for W_SHIFT, which thankfully appears to be not used

Add missing constant folding and optimisation for unsigned division
Noticed by Denys Rtveliashvili <rtvd@mac.com>, see #4004

Fix the GHC API link in the main doc index.html

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