[commit: ghc] ghc-8.2: Shave the hair off mkCastTy. (17ce3c7)

[git at git.haskell.org]

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

On branch  : ghc-8.2
Link       : http://ghc.haskell.org/trac/ghc/changeset/17ce3c7ce7f76cd502e970ff313e5b62569282c3/ghc

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

commit 17ce3c7ce7f76cd502e970ff313e5b62569282c3
Author: Richard Eisenberg <rae at cs.brynmawr.edu>
Date:   Fri Apr 7 11:38:37 2017 -0400

    Shave the hair off mkCastTy.
    
    Previously, mkCastTy went to great lengths to shove casts
    around. But this doesn't seem to be necessary. However,
    the reflexivity check currently in mkCastTy is not enough.
    See the abortive Note [No reflexive casts in types]
    
    (cherry picked from commit ef0ff34d462e3780210567a13d58b868ec3399e0)


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

17ce3c7ce7f76cd502e970ff313e5b62569282c3
 compiler/types/Type.hs                             | 135 +++++++--------------
 .../tests/typecheck/should_fail/T10619.stderr      |   4 +-
 2 files changed, 46 insertions(+), 93 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 17ce3c7ce7f76cd502e970ff313e5b62569282c3