[commit: ghc] master: Do not generate given kind-equalities (fix Trac #8566) (7558231)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/755823126f4f58b74f2bb783dc683197273f3474/ghc

>---------------------------------------------------------------

commit 755823126f4f58b74f2bb783dc683197273f3474
Author: Simon Peyton Jones <simonpj at 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


>---------------------------------------------------------------

755823126f4f58b74f2bb783dc683197273f3474
 compiler/typecheck/TcCanonical.lhs |   34 ++++++++---------
 compiler/typecheck/TcInteract.lhs  |   11 ++++--
 compiler/typecheck/TcSMonad.lhs    |   72 ++++++++++++++++++++++++++----------
 3 files changed, 77 insertions(+), 40 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc 755823126f4f58b74f2bb783dc683197273f3474