Changes to ghc(3) testsuite

Changes to ghc:
commit f114826575c29bc578df64b8ba754609d9986fb6
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Tue Dec 10 17:49:58 2013 +0000

    Spelling in comment

commit 0849d0243192ac10798b2095a25e18b7f611988c
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Tue Dec 10 17:49:48 2013 +0000

    Better debug printing

commit 755823126f4f58b74f2bb783dc683197273f3474
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Tue Dec 10 17:49:18 2013 +0000

    Do not generate given kind-equalities (fix Trac #8566)

    This is a long-standing bug.  We were generating a Given
    equality between kind variables, and (at least until we support
    kind coercions) we can't do that.

    The fix is to drop such Given equalities entirely. That may
    mean we can't prove some things, but that's fair enough -- the
    current proof language can't express such proofs.

    See Note [Do not create Given kind equalities] in TcSMonad

Changes to testsuite:
commit a6e35a07d6d48ce782c5473c03cc09da996e1986
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Tue Dec 10 17:53:46 2013 +0000

    Test Trac #8566