[commit: ghc] master: Define mkTcNomReflCo = TcRefl Nominal, and use it all over (a6f6169)

[git at git.haskell.org]

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

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

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

commit a6f6169a9939525c859b274955e8606d6080100f
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Sat Dec 28 12:05:45 2013 +0000

    Define mkTcNomReflCo = TcRefl Nominal, and use it all over
    
    This patch doesn't include the changes to TcCanonical and TcSMonad,
    which are a bigger follow-up patch, so it is tightly coupled to the
    follow-up.


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

a6f6169a9939525c859b274955e8606d6080100f
 compiler/typecheck/TcArrows.lhs   |    4 ++--
 compiler/typecheck/TcEvidence.lhs |    6 +++++-
 compiler/typecheck/TcExpr.lhs     |    2 +-
 compiler/typecheck/TcInteract.lhs |    6 +++---
 compiler/typecheck/TcMType.lhs    |    2 +-
 compiler/typecheck/TcPat.lhs      |    4 ++--
 compiler/typecheck/TcUnify.lhs    |   14 +++++++-------
 7 files changed, 21 insertions(+), 17 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 a6f6169a9939525c859b274955e8606d6080100f