White space only

Comments to explain strict overlap checking for type family instances

Allow type families to use GADT syntax (and be GADTs)

We've always intended to allow you to use GADT syntax for
data families:
data instance T [a] where
  T1 :: a -> T [a]
and indeed to allow data instances to *be* GADTs
data intsance T [a] where
  T1 :: Int -> T [Int]
  T2 :: a -> b -> T [(a,b)]

This patch fixes the renamer and type checker to allow this.

Improve crash message from applyTys and applyTypeToArgs

Wibble to ungrammatical error message

Comments only: replace ":=:" by "~" (notation for equality predicates)

FIX #2693
- As long as the first reduceContext in tcSimplifyRestricted potentially
  performs improvement, we need to zonk again before the second reduceContext.
  It would be better to prevent the improvement in the first place, but given
  the current situation zonking is definitely the right thing to do.

  MERGE TO 6.10

Restore the terminal attributes even if ghci does not exit normally.

FIX #2688
- Change in TcSimplify.reduceContext:

     We do *not* go around for new extra_eqs.  Morally, we should,
     but we can't without risking non-termination (see #2688).  By
     not going around, we miss some legal programs mixing FDs and
     TFs, but we never claimed to support such programs in the
     current implementation anyway.

  MERGE TO 6.10

Move documentation within 80 column boundary.

Improve haddock documentation for 'GHC.topSortModuleGraph'.

Improve haddock documentation for HsExpr module.

Improve Haddock-markup for HsDecls module.

Run Haddock with compacting GC and show RTS statistics.

FIX (partially) #2703: bug in stack overflow handling when inside block
As a result of a previous ticket (#767) we disabled the generation of
StackOverflow exceptions when inside a Control.Exception.block, on the
grounds that StackOverflow is like an asynchronous exception.  Instead
we just increase the stack size.  However, the stack size calculation
was wrong, and ended up not increasing the size of the stack, with the
result that the runtime just kept re-allocating the stack and filling
up memory.

Re-export Located(..) and related functions
So that clients don't need to import SrcLoc

whitespace fix

FIX #2691: Manually reset the terminal to its initial settings; works around a bug in libedit.

Eliminate duplicate flags in the tab completion of ghci's :set command.

Add dph haddock docs to the doc index

Clean the bootstrapping extensible-exceptions package

Fix trac #2687
OtherPunctuation, ConnectorPunctuation and DashPunctuation are now
treated as symbols, rather than merely graphic characters.

Fix trac #2680; avoid quadratic behaviour from (++)

Fix the build when the bootstrapping compiler has a newer Cabal than us
We need to forcibly use the in-tree Cabal, or we get version mismatch errors

Fix the name of prologue.txt when making bindists

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.