Changes to ghc(5)

Changes to ghc:
commit 427e205b68d166cc99bd71ed7077b40bcf20e53c
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri May 23 07:48:52 2014 +0100

    White space only

commit 02437a144ea16116d60f045a2a56664aed7505e8
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri May 23 07:48:40 2014 +0100

    More debug info for failures in typeKind and kindFunResult

commit d41aa765327b26339526e722c2bcf14912832e72
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri May 23 07:48:06 2014 +0100

    Better pretty-printing for ClsInst

commit d8d97113c24e7216be36c9cdfc58e91f26528f06
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri May 23 07:47:17 2014 +0100

    Make the unifier a fixpoint even for the free kind vars of a tyvar

    The (pure) unifier tcUnifyTys returns an idempotent substitution.
    But previously the kinds of type variables free in the range of
    the subst could have un-substituted kind variables.

    This patch fixes that, fixing Trac #9106.

    See Note [Finding the substitution fixpoint] in Unify

commit bc58d2e8a9da7cab90e4a06c28197d1d746a06cf
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Mon May 19 23:51:24 2014 +0100

    Simple eta reduction in call to adjustMatchResults, just a tidy-up