diff options
| author | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2019-12-31 18:57:25 -0500 |
|---|---|---|
| committer | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2020-01-04 14:55:49 -0500 |
| commit | f91eb15643cba520d9193ba4b6e6e67ff0a21973 (patch) | |
| tree | 943f15b2215085d301e8d2b1da32fe4d80e0b473 | |
| parent | 590ae57c2d5fe6906825e781a2db51ddb142fe32 (diff) | |
| download | haskell-f91eb15643cba520d9193ba4b6e6e67ff0a21973.tar.gz | |
setup the correct coercion erasure spot
| -rw-r--r-- | compiler/simplCore/CoreEraseCoercionProofs.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/simplCore/CoreEraseCoercionProofs.hs b/compiler/simplCore/CoreEraseCoercionProofs.hs index bbc4d3b183..cf498d5e8b 100644 --- a/compiler/simplCore/CoreEraseCoercionProofs.hs +++ b/compiler/simplCore/CoreEraseCoercionProofs.hs @@ -4,7 +4,7 @@ import GhcPrelude import CoreSyn import HscTypes ( ModGuts(..) ) - +import Coercion import CoreMonad ( CoreM ) import DynFlags import TyCoRep (Coercion(ErasedCoercion)) @@ -37,6 +37,7 @@ coreExprEraseProof (Case scrut v ty alts )= Case (coreExprEraseProof scrut) v ty (map eraseAltPfs alts) coreExprEraseProof (Cast e co ) = Cast (coreExprEraseProof e) (ErasedCoercion role lty rty ) where + (Pair lty rty,role) = coercionKindRole coreExprEraseProof (Tick tick e)= Tick tick (coreExprEraseProof e) coreExprEraseProof (Type t) = Type t coreExprEraseProof (Coercion _)= Coercion ErasedCoercion |