Use mkCastTy in subst_ty.
authorRichard Eisenberg <rae@cs.brynmawr.edu>
Fri, 7 Apr 2017 15:39:51 +0000 (11:39 -0400)
committerBen Gamari <ben@smart-cactus.org>
Wed, 3 May 2017 03:07:27 +0000 (23:07 -0400)
commit466803a0e9628ccd5feb55d062e141e0972fc19c
tree2dc21069c906a377e54e7647dd2010252ca80b42
parentef0ff34d462e3780210567a13d58b868ec3399e0
Use mkCastTy in subst_ty.

This allows mkCastTy to maintain invariants. Much like how
we use mkAppTy in subst_ty.
compiler/types/TyCoRep.hs
compiler/types/Type.hs
compiler/types/Type.hs-boot