[commit: ghc] master: Further refine the test for 'given' equalities (5d2fb2e)

[git at git.haskell.org]

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

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/5d2fb2ee94fea4cf62ba767eb1555e42f4f21f46/ghc

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

commit 5d2fb2ee94fea4cf62ba767eb1555e42f4f21f46
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Tue Jan 7 10:03:42 2014 +0000

    Further refine the test for 'given' equalities
    
    Trac #8651 revealed that my previous fix (itself in response to #8644)
    wasn't quite right.  The plan, using the CtOrigin to identify
    constraints arising from flattening, is described in TcSimplify,
    Note [When does an implication have given equalities?]


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

5d2fb2ee94fea4cf62ba767eb1555e42f4f21f46
 compiler/typecheck/TcCanonical.lhs |    8 +++---
 compiler/typecheck/TcInteract.lhs  |    6 ++---
 compiler/typecheck/TcRnTypes.lhs   |    4 +++
 compiler/typecheck/TcSMonad.lhs    |   51 ++++++++++++++++++------------------
 compiler/typecheck/TcSimplify.lhs  |   38 ++++++++++++++++++++++-----
 5 files changed, 68 insertions(+), 39 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 5d2fb2ee94fea4cf62ba767eb1555e42f4f21f46