OS X uninstaller: Pass create-links its argument

Tweak the OS X installer uninstaller script

Improve the OS X installer
Major changes are:
* Version number now includes full GHC version and arch
* Uninstaller copes with multiple versions

Optimised the representation of Inert Sets to use Maps to get to the relevant inert constraint faster.

Add rebindable syntax for if-then-else

There are two main changes

 * New LANGUAGE option RebindableSyntax, which implies NoImplicitPrelude

 * if-the-else becomes rebindable, with function name "ifThenElse"
   (but case expressions are unaffected)

Thanks to Sam Anklesaria for doing most of the work here

Lint should check for duplicate top-level bindings with same qualified name

This would have produced a more civilised error for Trac #4396

Fix unused import warning on OS X

Switch more uniqFromSupply+splitUniqSupply's to takeUniqFromSupply

Whitespace only

Whitespace only

Whitespace only

Windows installer improvements from Claus
- add link to inno setup docs, so readers don't have to guess what
  ghc.iss might be

- add Task section, and associated most Registry actions with separate
  (sub)tasks, so that file associations, default action, and PATH
  setting can be optional

- copy license file into doc directory

- install icon file again, so that DefaultIcon is no longer a dangling
  pointer (#4352)

- only delete ghc_haskell key if empty (in case there were other tools
  using it)

- add versioned GHCi to right-click menu (to allow for multiple tool installs)

Fix Trac #4396, by localising pattern binders in the desugarer

See Note [Localise pattern binders]

White space only

Add an assertion

Use takeUniqFromSupply in ByteCodeGen

Fix some whitespace

Use takeUniqFromSupply in emitProcWithConvention
We were using the supply's unique, and then passing the same supply to
initUs_, which sounds like a bug waiting to happen.

Use takeUniqFromSupply in IfaceEnv
This is a little nicer than having to explicitly split supplies and
throw half of them away.

Define takeUniqFromSupply

Remove some extraneous whitespace

Add a comment on why some seq's are done

Tidy up RuntimeUnkSkols a bit more

Fix haddock markup

Improve rule checking, to fix panic Trac #4398

Lots of comments with decomposeRuleLhs

Improve the simple expression optimiser so it does simple beta reduction

Template Haskell: add view patterns (Trac #2399)

Tidy-up sweep, following the Great Skolemisation Simplification

Fix haddock markup

Tweak the haddock rules; no functional change

Don't seq unfoldings
We generate intermediate unfoldings which are just thrown away, so
evaluating them is a waste of time.

Avoid hanging on to old unfoldings; fixes #4367 (compiler space regression)

Comments and layout only

Look for sources in Cabal's autogen directory too

Follow Cabal change: Use usedExtensions rather than extensions

fix markup

remove xref to hasktags

Update the documentation on using DLL's from Windows, fixing several errors, in particular those relating to bug 3605

(1) More lenient kind checking, (2) Fixed orientation problems and avoiding double unifications, (3) Comments

Midstream changes to deal with spontaneous solving and flatten skolem equivalence classes

hasktags was dropped in GHC 6.12, remove it from the docs

Refactor, plus fix Trac #4418

We weren't doing fundeps for derived superclasses

Add a comment, connecting the seq to the test (#4367) that shows its usefulness

Define setIdUnfoldingLazily, and use it in Vectorise
Fixes a loop in the compiler, when running the dph tests

Evaluate the results in coreToStgApp

Retab CoreToStg, and remove trailing whitespace

seq the unfolding in setUnfoldingInfo
Contrary to the comment, for the module in #4367 at least, it is a big
improvement. Without it we get a huge spike of drag.

Comments only

Fix debugger

A bit yukky; see Note [Runtime skolems] in TcErrors.
But it works, and the debugger just is yukky in places.

Fix IPRun by fixing the inferred quantification mechanism

Recover after an error in an implication constraint

Reject programs with equality superclasses for now

Layout and tiny refactoring only

Clean up the debugger code

In particular there is much less fiddly skolemisation now
Things are not *quite* right (break001 and 006 still fail),
but they are *much* better than before.

Add new VarEnv functions minusVarEnv, intersectsVarEnv, unionInScope

Major pass through type checker:(1) prioritizing equalities, (2) improved Derived mechanism, (3) bugfixes

(1) Caching FD improvements for efficiency, (2) preventing cascading deriveds from entering the inert, (3) Fixing bugs in the creation of FlexiTcS variables

Midstream changes for performance improvement related to superclasses and functional dependencies.

Minor

Commentary changes

Kind checking bugfix (#4356) and preventing wanteds from rewriting wanteds

Fix a retainer profiling segfault
The bitmap type wasn't big enough to hold large bitmaps on 64 bit
platforms. Profiling GHC was segfaulting when retainStack was handling a
size 33 bitmap.

Fix -auto-all: Add SCCs to IDs which have a monotype too

Define SpecConstrAnnotation in GHC.Exts, and import it from there

Reason: avoid having to link the entire ghc package in modules
that use compile-time annotations:

     import GHC.Exts( SpecConstrAnnotation )
     {-# ANN type T ForceSpecConstr #-}

It's a kind of bug that the package exporting SpecConstrAnnotation
is linked even though it is only needed at compile time, but putting
the data type declaration in GHC.Exts is a simple way to sidestep
the problem

See See Note [SpecConstrAnnotation] in SpecConstr

Fix warnings in AsmCodeGen

LLVM: Fix compilation of writebarrier, #4308

Change how the OS X installer's create-links finds the versin number
It now gets created by configure, rather than trying to work out the
version number at runtime.

Add more quoting to distrib/MacOS/installer-scripts/create-links

change os x installer to allow multiple installed versions
This puts the ghc version into the package name so they are considered separate
packages.

Only put the boot packages in the haddock contents/index
We don't install dph etc, so don't put them in the doc index.

Correct the regexp used to search for extra packages
We weren't ignoring comment lines

New member "archiveMemberName" for struct _ObjectCode

struct _ObjectCode should be able to retain the name of archive members.
Though currently the only use of those names are for debugging outputs.

Add a -fghci-sandbox flag so that we can en/disable the ghci sandbox
It's on by default (which matches the previous behaviour).

Motivation:
GLUT on OS X needs to run on the main thread. If you
try to use it from another thread then you just get a
white rectangle rendered. For this, or anything else
with such restrictions, you can turn the GHCi sandbox off
and things will be run in the main thread.

Fix boot; it was failing if darcs-all or validate were missing
(which is the case in sdists)

Comments and layout

Make (Located a) an instance of Eq, Ord

Fulfils Trac #4369

Give user-defined rules precedence over built-in rules

This fixes Trac #4397.  See comments with 'isMoreSpecific'.

Fix Trac #4401: meta-tyvars allocated by the constraint solver are always touchable

  See Note [Touchable meta type variables] in TcSMonad

Remove GHC.extendGlobalRdrScope, GHC.extendGlobalTypeScope

These functions were added by

   Tue Apr 18 03:36:06 BST 2006  Lemmih <lemmih@gmail.com>
   * Make the initial rdr and type scope available in the ghc-api

The are extremely dubious, because they extend the Rdr and Type
env for every compilation.  The right thing to do is to use
the InteractiveContext for temporary extensions.

So far as we know, no one uses them.  And if they are being used
it's probably a mistake.  So we're backing them out.

InlinePrag needs an arity only for INLINE, not INLINABLE
This doesn't fix anything (we think), but it's morally correct.

Fix #4346 (INLINABLE pragma not behaving consistently)
Debugged thanks to lots of help from Simon PJ: we weren't updating the
UnfoldingGuidance when the unfolding changed.
Also, a bit of refactoring and additinoal comments.

Have boot check that we have the dph packages when validating

Add more documentation for interruptible foreign calls

minor refactoring

Fix for interruptible FFI handling
Set tso->why_blocked before calling maybePerformBlockedException(), so
that throwToSingleThreaded() doesn't try to unblock the current thread
(it is already unblocked).

interruptible FFI: more robust handling of the exception case in the interpreter

Don't interrupt when task blocks exceptions, don't immediately start exception.

Interruptible FFI calls with pthread_kill and CancelSynchronousIO. v4

This is patch that adds support for interruptible FFI calls in the form
of a new foreign import keyword 'interruptible', which can be used
instead of 'safe' or 'unsafe'.  Interruptible FFI calls act like safe
FFI calls, except that the worker thread they run on may be interrupted.

Internally, it replaces BlockedOnCCall_NoUnblockEx with
BlockedOnCCall_Interruptible, and changes the behavior of the RTS
to not modify the TSO_ flags on the event of an FFI call from
a thread that was interruptible.  It also modifies the bytecode
format for foreign call, adding an extra Word16 to indicate
interruptibility.

The semantics of interruption vary from platform to platform, but the
intent is that any blocking system calls are aborted with an error code.
This is most useful for making function calls to system library
functions that support interrupting.  There is no support for pre-Vista
Windows.

There is a partner testsuite patch which adds several tests for this
functionality.

Remove ghc-pkg's dependency on haskell98

Build haskell98 and haskell2010 with stage2
Stops us accidentally depending on them

Fix warning: Remove unused import

Fix warnings

RegAlloc: Track slot liveness over jumps in spill cleaner

Bump Cabal dep

Remove __HASKELL1__, __HASKELL98__, __CONCURRENT_HASKELL__
We used to define these CPP symbols, but nothing on hackage uses them
and the first 2 are no longer correct (as we support multiple Haskell
versions).

Follow Cabal changes: Cabal no longer has a docbook userguide
For now we don't build the Cabal userguide, but we should add markdown
support so that we can do so.

Fix build on Windows: ghc-pkg/Main.hs needs ForeignFunctionInterface

Remove unnecessary import

Make "./validate --slow" run the full testsuite

Fix build following haskell98 and -fglasgow-exts changes