diff options
Diffstat (limited to 'compiler/GHC/Core/Utils.hs')
| -rw-r--r-- | compiler/GHC/Core/Utils.hs | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/compiler/GHC/Core/Utils.hs b/compiler/GHC/Core/Utils.hs index fea3a93ce6..d9e34d851b 100644 --- a/compiler/GHC/Core/Utils.hs +++ b/compiler/GHC/Core/Utils.hs @@ -266,13 +266,12 @@ mkPiMCo :: Var -> MCoercionR -> MCoercionR mkPiMCo _ MRefl = MRefl mkPiMCo v (MCo co) = MCo (mkPiCo Representational v co) -{- -************************************************************************ + +{- ********************************************************************* * * -\subsection{Attaching notes} + Casts * * -************************************************************************ --} +********************************************************************* -} -- | Wrap the given expression in the coercion safely, dropping -- identity coercions and coalescing nested coercions @@ -313,6 +312,13 @@ mkCast expr co $$ callStackDoc) $ (Cast expr co) + +{- ********************************************************************* +* * + Attaching ticks +* * +********************************************************************* -} + -- | Wraps the given expression in the source annotation, dropping the -- annotation if possible. mkTick :: CoreTickish -> CoreExpr -> CoreExpr |