Tweak gen_contents_index now dph may not be there

Filter out the FFI library when loading package in ghci
The FFI GHCi import lib isn't needed as
compiler/ghci/Linker.lhs + rts/Linker.c link the
interpreted references to FFI to the compiled FFI.
We therefore filter it out so that we don't get
duplicate symbol errors.

Loosen the conditions for -XUndecidableInstances; fixes Trac #4200

Further improvements in error messages

Add a flag -fwarn-missing-local-sigs, and improve -fwarn-mising-signatures

The new flag prints out a warning if you have a local,
polymorphic binding that lacks a type signature. It's meant
to help with the transition to the new typechecker, which
discourages local let-generalisation.

At the same time I moved the missing-signature code to TcHsSyn,
where it takes place as part of zonking.  That way the
types are reported after all typechecking is complete,
thereby fixing Trac #3696.  (It's even more important for
local bindings, which is why I made the change.)

Include the "stupid theta" in the type of $con2tag

Add a release note about the typechecker

Enable shared libs on OpenBSD

Add separate functions for querying DynFlag and ExtensionFlag options
and remove the temporary DOpt class workaround.

Fix mkUserGuidePart deps
We need to directly depend on the stage1 libs. The stage1 compiler lib
doesn't depend on them.

Fix build on cygwin: Normalise slashes in .depend files to be /

extra packages info is now read from packages file
rather than being repeated in the build system

Tweak darcs-all

Bump dependencies

Library release notes for 7.0.1

Fix overriding of implicit parameters in the solver

Minor type printing amomaly

Spaces only

Minor refactoring

Add types of implicit parameters as untouchable

This is a tricky point:
   see Note [Implicit parameter untouchables]

Better pretty printing of implicit parameters

Yet more error message improvement

More error message wibbles

More error refactoring

Refactor type errors a bit

Improves kind error messages in paticular

Fix a very subtle shadowing bug in optCoercion

See Note [Subtle shadowing in coercions]

This is what was going wrong in Trac 4160.

Fix bad error in tyVarsOfType

We weren't gathering the type variables free in the kind
of a coercion binder!

More assertions

Add more location info in CoreLint

Print coercion variables as such (debugging change only)

Remove pprTrace

Remove dead code dealing with type refinement

Use mkAppTy

Using AppTy in CoreLint was giving a bogus Lint failure

Comments only

Extend eta reduction to work with casted arguments

See Trac #4201, and
Note [Eta reduction with casted arguments]

Thanks to Louis Wasserman for suggesting this, and
implementing an early version of the patch

Allow "INLINEABLE" as a synonym

Documentation for INLINABLE

Implement TH reification of instances (Trac #1835)

Accompanying patch for template-haskell package is reqd

errno corresponding to ERROR_NO_DATA should be EPIPE (non-threaded RTS)

Windows: use a thread-local variable for myTask()
Which entailed fixing an incorrect #ifdef in Task.c

Fix typo

Add quotes in error message

Fix isDefaultInlinePragma

Implement INLINABLE pragma

Implements Trac #4299.  Documentation to come.

Less voluminous error when derived code doesn't typecheck

Improve pretty-printing of family instances

Fixed Trac #4246

Fix Trac #4240: -ddump-minimal-imports

See Note [Partial export] for the details.
I also fixed one egregious bug that was just
waiting to bite: we were using loadSysInterface
instead of loadSrcInterface.

Comments only

implement setThreadAffinity on Windows (#1741)

COFF: cope with new debug sections in gcc 4.x (fixes ghciprog004)
Also updated the object file parser to properly handle the overflow
case for section names longer than 8 chars.

eliminate clutter from make output

rts_isProfiled should be a visible API (fixes T2615(dyn))

Fix the "lost due to fragmentation" calculation
It was counting the space used by block descriptors as "lost"

fix +RTS -S output: use peak_mblocks_allocated, now that mblocks can be freed

Fix egregious bug in deeplyInstantiate

This resulted in an infinite loop in applyTypeToArgs, in syb

Improve HsSyn pretty printing

Remove (most of) the FiniteMap wrapper
We still have
    insertList, insertListWith, deleteList
which aren't in Data.Map, and
    foldRightWithKey
which works around the fold(r)WithKey addition and deprecation.

Improve ASSERT

Comment on what an "enumeration" type is

Make absent-arg wrappers work for unlifted types (fix Trac #4306)

Previously we were simply passing arguments of unlifted
type to a wrapper, even if they were absent, which was
stupid.

See Note [Absent error Id] in WwLib.

Comments only

Move error-ids to MkCore (from PrelRules)

and adjust imports accordingly

More wibbles to deriving error messages

Fix getThreadCPUTime()
ever since the patch "Check with sysconf _POSIX_THREAD_CPUTIME", it
has been returning incorrect results, because the sysconf variable to
check should have been _SC_THREAD_CPUTIME, not _POSIX_THREAD_CPUTIME.

filter out the gcc-lib directory from the rts package's library-dirs
fixes problems when building with GHC 6.10 on Windows

Don't include GC time in heap profiles (#4225)

Use clock_gettime (if available) to measure the process CPU time
This is much more accurate than getrusage, which was giving misleading
results when trying to time very quick operations like a minor GC.

make stg_arg_bitmaps public, and available via the GHCi linker (#3672)

fix typo

Update release notes and docs with LLVM info.

Remove defaultExtensionFlags
The default should do into languageExtensions instead

Improve crash message

Fix Trac #4302, plus a little refactoring

Fix build with 6.10

Haddock fixes

Remove two old junk files

Super-monster patch implementing the new typechecker -- at last

This major patch implements the new OutsideIn constraint solving
algorithm in the typecheker, following our JFP paper "Modular type
inference with local assumptions".

Done with major help from Dimitrios Vytiniotis and Brent Yorgey.

Fix simplifier statistics

Trace output

Better debug output

Add Outputable instance for OccEncl

Better simplifier counting

Put liftStringName into the known-key names

Deprecate NoRelaxedPolyRec

Buglet in Core Lint

Give seqId the right type

Remove dead code

Comments and layout

Remove checkFreeness; no longer needed

Assert

Add aserts

Wibbles

Wibble to allow phantom types in Enum

Add HsCoreTy to HsType

The main thing here is to allow us to provide type
signatures for 'deriving' bindings without pain.

Comments

Wibbles to error message

Correct type signatures

Add missing signatures

Add type signatures in "deriving" bindings

Minor