diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-02-12 13:02:23 -0500 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-02-12 13:03:23 -0500 |
| commit | 1146825a3f59da1f88401d61380328806b5b2c07 (patch) | |
| tree | ed3ddb59c292692b2e08d4d56c5c961c2636ff8e /compiler/coreSyn/CoreUtils.hs | |
| parent | e6472a2787a3a1c7c465f142dc6d60da6a54b9d6 (diff) | |
| download | haskell-wip/tdammers/T11735.tar.gz | |
Tighten cached role in NthCowip/tdammers/T11735
Diffstat (limited to 'compiler/coreSyn/CoreUtils.hs')
| -rw-r--r-- | compiler/coreSyn/CoreUtils.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/coreSyn/CoreUtils.hs b/compiler/coreSyn/CoreUtils.hs index 6644c185a4..ba68c512c3 100644 --- a/compiler/coreSyn/CoreUtils.hs +++ b/compiler/coreSyn/CoreUtils.hs @@ -268,7 +268,7 @@ mkCast (Coercion e_co) co -- The guard here checks that g has a (~#) on both sides, -- otherwise decomposeCo fails. Can in principle happen -- with unsafeCoerce - = Coercion (mkCoCast Representational e_co co) + = Coercion (mkCoCast e_co co) mkCast (Cast expr co2) co = WARN(let { Pair from_ty _to_ty = coercionKind co; |