GHC.HsToCore.Expr

Documentation

dsExpr :: HsExpr GhcTc -> DsM CoreExpr

dsLExpr :: LHsExpr GhcTc -> DsM CoreExpr

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

dsValBinds :: HsValBinds GhcTc -> CoreExpr -> DsM CoreExpr

dsLit :: HsLit GhcRn -> DsM CoreExpr

dsSyntaxExpr :: SyntaxExpr GhcTc -> [CoreExpr] -> DsM CoreExpr