[commit: ghc] master: Shave the hair off mkCastTy. (ef0ff34)

[git at git.haskell.org]

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

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

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

commit ef0ff34d462e3780210567a13d58b868ec3399e0
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]


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

ef0ff34d462e3780210567a13d58b868ec3399e0
 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 ef0ff34d462e3780210567a13d58b868ec3399e0