| Safe Haskell | Safe-Inferred | 
|---|---|
| Language | Haskell2010 | 
GHC.HsToCore.Expr
Synopsis
Documentation
dsLExpr :: LHsExpr GhcTc -> DsM CoreExpr Source #
Replace the body of the function with this block to test the hsExprType
 function in GHC.Tc.Utils.Zonk:
 putSrcSpanDs loc $ do
   { core_expr <- dsExpr e
   ; massertPpr (exprType core_expr eqType hsExprType e)
                (ppr e + dcolon + ppr (hsExprType e) $$
                 ppr core_expr + dcolon + ppr (exprType core_expr))
   ; return core_expr }
dsLocalBinds :: HsLocalBinds GhcTc -> CoreExpr -> DsM CoreExpr Source #
dsValBinds :: HsValBinds GhcTc -> CoreExpr -> DsM CoreExpr Source #
dsSyntaxExpr :: SyntaxExpr GhcTc -> [CoreExpr] -> DsM CoreExpr Source #