diff options
author | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2020-01-01 02:25:55 -0500 |
---|---|---|
committer | Carter Tazio Schonwald <carter.schonwald@gmail.com> | 2020-01-01 02:25:55 -0500 |
commit | 9914d7a2900a2a9ad9c27f04ca771a7451ade29d (patch) | |
tree | a6511b9a4ae90a3ca7fa0a209568085be9576069 | |
parent | ae87e102b21b0f58b13d9c7ef849e29a833d3bda (diff) | |
download | haskell-9914d7a2900a2a9ad9c27f04ca771a7451ade29d.tar.gz |
fix typo in smarter coercion erasure
-rw-r--r-- | compiler/simplCore/CoreEraseCoercionProofs.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/simplCore/CoreEraseCoercionProofs.hs b/compiler/simplCore/CoreEraseCoercionProofs.hs index d2417416ac..0801807a3b 100644 --- a/compiler/simplCore/CoreEraseCoercionProofs.hs +++ b/compiler/simplCore/CoreEraseCoercionProofs.hs @@ -38,10 +38,10 @@ coreExprEraseProof (Case scrut v ty alts )= Case (coreExprEraseProof scrut) v ty (map eraseAltPfs alts) --- TODO : add mrefl and refl cases, --- that should suffice to prevent regresions vs current ghc -coreExprEraseProof (Cast e co ) =case co of +coreExprEraseProof (Cast e co ) = case co of (Refl _t) -> Cast e co (GRefl _r _t MRefl) -> Cast e co - (_) -> Coercion (ErasedCoercion role lty rty Cast (coreExprEraseProof e) (ErasedCoercion role lty rty ) + (_) -> Cast (coreExprEraseProof e) (ErasedCoercion role lty rty ) where (Pair lty rty,role) = coercionKindRole co coreExprEraseProof (Tick tick e)= Tick tick (coreExprEraseProof e) |