Comments only

Fix Trac #2497; two separate typos in Lexer.x

The patch to switch on lexing of 'forall' inside a RULES pragma
wasn't working.  This fixes it so that it does.

Update manual: tidy up instances, say more about type families in instance decls

Make tags work on Unices, too.

Undefine __PIC__ before defining it to work around "multiple definitions of __PIC__" warnings

Add "dyn" to GhcRTSWays when compiling --enable-shared

Fill out the ghc package's cabal file

Patching libffi so it can be built as DLL

libffi-dllize-3.0.6.patch should be pushed upstream

Add 'etags' makefile target.

This only works with stage2 since `ghctags' is built against stage1
but not against the bootstrapping compiler.  Also note that all of GHC
must typecheck for this target to succeed.  Perhaps we should not
overwrite the old TAGS file by default then.

Use cabal information to get GHC's flags to `ghctags'.

By giving the dist-directory to ghctags we can get all the GHC API
flags we need in order to load the required modules.  The flag name
could perhaps be improved, but apart from that it seems to work well.

Version bump for libffi to 3.0.6

Encode shared/static configuration into stamps to do the right thing when rebuilding

Add a link to the GHC API docs from the library haddock index

Link to the GHC API documentation from the main doc page

Whitespace only in docs/index.html

Tweak gen_contents_index
It now works again after it has been installed, as well as while it is
in a source tree.
After it's been installed it filters out the ghc package, as that
currently swamps everything else in the index.

Build fixes for DLLized rts

Do not filter the rts from linked libraries in linkDynLib as Windows does not allow unresolved symbols

Add HsFFI.o to INSTALL_LIBS

Rename symbol macros to a consistant naming scheme

Fix #2685: two Bool arguments to tidyTypeEnv were the wrong way around
So -XTemplateHaskell was behaving like -fomit-interface-file-pragmas,
and vice versa.

Simplify the "is $bindir in $PATH" test

Correct the "is $bindir in $PATH" test
We were testing neq instead of eq

Fix a typo which was causing ghci to quit on commands errors

Drop libm from the linker dependencies for libffi

Do not generate haddock documentation when running install-docs in libffi

When waking up thread blocked on TVars, wake oldest first (#2319)
StgTVarWatchQueue contains the threads blocked on a TVar in order
youngest first. The list has to be traversed backwards to unpark the threads
oldest first.

This improves the fairness when using STM in some situations.

add readTVarIO :: TVar a -> IO a

fix #2636: throw missing module errors as SourceErrors, not ErrMsg

atomicModifyIORef: use a local cas() instead of the global lock
This should improve scaling when using atomicModifyIORef

Delay building libffi until package.conf is created and fix bindist

Install a versioned ghc-pkg script; fixes trac #2662

Fix bindist creation: Only the main RTS was being put in the bindists

pushAtom: add missing case for MachNullAddr (#2589)

undo incorrect assertion, and fix comments

remove old GRAN/PARALLEL_HASKELL code

FIX #2639

  MERGE TO 6.10

Cover PredTy case in Type.tyFamInsts

  MERGE TO 6.10

Drop ghcconfig.h/RtsConfig.h from libffi's package.conf.in

Don't use sed's -i flag as Solaris doesn't know it in libffi/Makefile

Don't use /dev/null trick to create empty object files in libffi/Makefile

Turn libffi into a Haskell package

Make 'getModSummary' deterministic.

Add accessors to 'HsModule' and haddockify it.

fix syntax errors in src-dist publish rules

add comments and an ASSERT_LOCK_HELD()

Fix #2663: we had a hard-wired capabilities[0]
For some unknown reason in schedulePostRunThread() we were always
passing capabilities[0] rather than the current Capability to
throwToSingleThreaded().  This caused all kinds of weird failures and
crashes in STM code when running on multiple processors.

Fix #1955 for heap profiles generated by +RTS -hT

add a section id for +RTS -hT

update documentation for PostfixOperators

fix markup

Fix bug in DPH docs

Add short DPH section to users guide

MERGE TO 6.10

Users Guide: added type family documentation

  MERGE TO 6.10

Track changes to package dph

MERGE TO 6.10

Build a profiled GHC API by default if p is in GhcLibWays

Check whether mk/validate.mk defines anything after validating

Remove #define _BSD_SOURCE from Stg.h
It's no longer needed, as base no longer #includes it

Make ghctags compile again.

Revert AutoLinkPackages change for dynamic libraries. Cabal handles that now.

Change suffix for dyn. linked executables from _real to .dyn

Add accessors to 'Target' fields and haddockify.

MERGE TO 6.10

Make 'gblock' and 'gunblock' part of 'ExceptionMonad'.  This way the
default implementations of 'gbracket' and 'gfinally' just work.

MERGE TO 6.10

Add Word8 support to vectoriser

MERGE TO 6.10

Fix generating OS X installers: Set COMMAND_MODE=unix2003
If we don't specify COMMAND_MODE=unix2003 then xcodebuild defaults
to setting it to legacy, which means that ar builds archives
without a table of contents. That makes the build fail later on.

We need to set datadir = $(libdir) in bindists
We already do in the normal Makefiles.

This is because GHC needs package.conf and unlit to be in the same place
(and things like ghc-pkg need to agree on where package.conf is, so we
just set it globally).

prep-bin-dist-mingw complains if it finds a bad version of windres

removed Data.Generics.Basics, added Data.Data

Fix a build problem with GHC 6.4.2

No AutoLinkPackages for dynamic library linking

use ghcError for error in command line

Fix warnings

Always use extensible exceptions in ghc-pkg, rather than using ifdefs

Use a proper exception for IOEnvFailure, not just a UserError

Use an extensible-exceptions package when bootstrapping
Ifdefs for whether we had extensible exceptions or not were spreading
through GHC's source, and things would only have got worse for the next
2-3 years, so instead we now use an implementation of extensible
exceptions built on top of the old exception type.

Expunge ThFake, cure Trac #2632

This patch fixes a dirty hack (the fake ThFake module), which in turn
was causing Trac #2632.

The new scheme is that the top-level binders in a TH [d| ... |] decl splice
get Internal names.  That breaks a previous invariant that things like
TyCons always have External names, but these TyCons are never long-lived;
they live only long enough to typecheck the TH quotation; the result is
discarded.  So it seems cool.

Nevertheless -- Template Haskell folk: please test your code.  The testsuite
is OK but it's conceivable that I've broken something in TH.  Let's see.

Make a debug check more refined

Add ASSERTs to all calls of nameModule

nameModule fails on an InternalName.  These ASSERTS tell you
which call failed.

Let parseModule take a ModSummary like checkAndLoadModule did.

To get the ModSummary for a ModuleName getModSummary can be used.
It's not called find* or lookup* because it assumes that the module is
in the module graph and throws an exception if it cannot be found.
Overall, I'm not quite sure about the usefulness of this function
since the user has no control about which filetype to grab (hs or
hs-boot).

Remove some out-of-date entries from .darcs-boring

TFs: Allow repeated variables in left-hand sides of instances

  MERGE TO 6.10

Clean up some comments

  MERGE TO 6.10

Make the new binder-swap stuff in OccurAnal work right for GlobalIds

See Note [Binder swap on GlobalId scrutinees].  I hadn't got this
right before, so repeated cases on imported Ids weren't getting optimised.

Minor refactoring only

Comments only

Zap dead-ness info appropriately in SpecConstr

SpecConstr can make pattern binders come alive, so we must remember
to zap their dead-variable annotation.  See extendCaseBndrs.

(This was triggering a Core Lint failure in DPH.)

Suppress invalid Core Lint complaint about lack of constructors

add some more GC roots (fixes conc048, and possibly some others)

Document +RTS -hT
We forgot to document this in GHC 6.8

fix new-qualified-operators link

Proper error message for unsupported pattern signatures
- Pattern signatures must be identical to the type expected for the pattern;
  see Note [Pattern coercions]
- We now signal an appropriate error if an equality coercion would be needed
  (instead of just generating Core that doesn't typecheck)

  MERGE TO 6.10

Prevent excessive inlining with DPH

This adds a new flag -finline-if-enough-args which disables inlining for
partially applied functions. It is automatically set by -Odph. This is a
temporary hack and should remain undocumented.

MERGE TO 6.10

On Windows, check that we have a good version of windres when configuring

Call $(PERL) rather than perl when making the manpage

don't install the installPackage program

Fix #2637: conc032(threaded2) failure
There was a race condition whereby a thread doing throwTo could be
blocked on a thread that had finished, and the GC would detect this
as a deadlock rather than raising the pending exception.  We can't
close the race, but we can make the right thing happen when the GC
runs later.

Remove outdated link to OGI webpage

TFs: Fixed InstContextNorm (and simplification of IPs)

  MERGE TO 6.10

TcSimplify.reduceImplication: clean up
- This cleans up some of the mess in reduceImplication and documents the
  precondition on the form of wanted equalities properly.
- I also made the back off test a bit smarter by allowing to back off in the
  presence of wanted equalities as long as none of them got solved in the
  attempt.  (That should save generating some superfluous bindings.)

  MERGE TO 6.10

Make sure to zonk the kind of coercion variables

  MERGE TO 6.10