Shave the hair off mkCastTy.
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Fri, 7 Apr 2017 15:38:37 +0000 (11:38 -0400)
committerBen Gamari <ben@smart-cactus.org>
Wed, 3 May 2017 03:07:27 +0000 (23:07 -0400)
commitef0ff34d462e3780210567a13d58b868ec3399e0
tree49d868a3fa5ea91960488d81de3e2b0cbf1cd16a
parentb460d6c99316deac2b8022a4fb7dddc57c052a2a
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]
compiler/types/Type.hs
testsuite/tests/typecheck/should_fail/T10619.stderr