diff options
Diffstat (limited to 'compiler/GHC/HsToCore/GuardedRHSs.hs')
-rw-r--r-- | compiler/GHC/HsToCore/GuardedRHSs.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/compiler/GHC/HsToCore/GuardedRHSs.hs b/compiler/GHC/HsToCore/GuardedRHSs.hs index 07f94906cd..8ee3661da6 100644 --- a/compiler/GHC/HsToCore/GuardedRHSs.hs +++ b/compiler/GHC/HsToCore/GuardedRHSs.hs @@ -52,7 +52,7 @@ dsGuarded grhss rhs_ty mb_rhss_deltas = do error_expr <- mkErrorAppDs nON_EXHAUSTIVE_GUARDS_ERROR_ID rhs_ty empty extractMatchResult match_result error_expr --- In contrast, @dsGRHSs@ produces a @MatchResult@. +-- In contrast, @dsGRHSs@ produces a @MatchResult CoreExpr@. dsGRHSs :: HsMatchContext GhcRn -> GRHSs GhcTc (LHsExpr GhcTc) -- ^ Guarded RHSs @@ -60,7 +60,7 @@ dsGRHSs :: HsMatchContext GhcRn -> Maybe (NonEmpty Deltas) -- ^ Refined pattern match checking -- models, one for each GRHS. Defaults -- to 'initDeltas' if 'Nothing'. - -> DsM MatchResult + -> DsM (MatchResult CoreExpr) dsGRHSs hs_ctx (GRHSs _ grhss binds) rhs_ty mb_rhss_deltas = ASSERT( notNull grhss ) do { match_results <- case toList <$> mb_rhss_deltas of @@ -73,14 +73,14 @@ dsGRHSs hs_ctx (GRHSs _ grhss binds) rhs_ty mb_rhss_deltas ; return match_result2 } dsGRHS :: HsMatchContext GhcRn -> Type -> Deltas -> LGRHS GhcTc (LHsExpr GhcTc) - -> DsM MatchResult + -> DsM (MatchResult CoreExpr) dsGRHS hs_ctx rhs_ty rhs_deltas (L _ (GRHS _ guards rhs)) = updPmDeltas rhs_deltas (matchGuards (map unLoc guards) (PatGuard hs_ctx) rhs rhs_ty) {- ************************************************************************ * * -* matchGuard : make a MatchResult from a guarded RHS * +* matchGuard : make a MatchResult CoreExpr CoreExpr from a guarded RHS * * * ************************************************************************ -} @@ -89,7 +89,7 @@ matchGuards :: [GuardStmt GhcTc] -- Guard -> HsStmtContext GhcRn -- Context -> LHsExpr GhcTc -- RHS -> Type -- Type of RHS of guard - -> DsM MatchResult + -> DsM (MatchResult CoreExpr) -- See comments with HsExpr.Stmt re what a BodyStmt means -- Here we must be in a guard context (not do-expression, nor list-comp) |