Changes to ghc(4) testsuite(3)

Changes to ghc:
commit 985663ea47487a9e567814ba000e81d65358bf02
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri Nov 22 15:48:02 2013 +0000

    Fix type-equality in the type checker (fixes Trac #8553)

    For horrible reasons (Note [Comparison with OpenTypeKind] in Type), the
    function Type.eqType currently equates OOpenKind with *.  This may or may
    not be a good idea (it's certainly a revolting one) but it DOES NOT WORK
    in the type checker, which *does* need to distinguish OpenKind and *.

    Rather than solve the underlying problem (I have some ideas) I just
    introduced a new, and very short, simple, straightforward function
    TcType.tcEqType to do the job.

commit 7db23406e4162f9925474fc76b7dffd5d302c312
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri Nov 22 15:30:30 2013 +0000

    Print the correct name when complaining about SPECIALISE pragmas

    Fixes Trac #8537

commit 2081bdcb60ba4950d280fff542f10dd9f8231fb6
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri Nov 22 10:32:24 2013 +0000

    Add suggestion of -XNegativeLiterals

    Based on a draft from Krzysztof Gogolewski.
    Fixes Trac #8542

commit 9db49518b06584e2ee79aa16ad6f1aabc02775a9
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Thu Nov 21 10:28:56 2013 +0000

    Better constraint-solver tracing

Changes to testsuite:
commit bbdee5556b096db4caf2d24201a7aac1118eedcf
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri Nov 22 15:29:29 2013 +0000

    Improved error messages

commit 2a88f8fbe24f3a9e832f3bc76ac3b877e79cf978
Author: Simon Peyton Jones <simonpj@microsoft.com>
Date:   Fri Nov 22 15:29:05 2013 +0000

    Test Trac #8537

commit 813ba429e21e6cefd47ed950c21319a8314da13d
Author: Krzysztof Gogolewski <krz.gogolewski@gmail.com>
Date:   Tue Nov 19 16:08:16 2013 +0100

    Test #8542