| 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 #