dsGRHSs: Remove unused pattern variables argument
authorÖmer Sinan Ağacan <omeragacan@gmail.com>
Sat, 11 Mar 2017 13:33:54 +0000 (16:33 +0300)
committerÖmer Sinan Ağacan <omeragacan@gmail.com>
Sat, 11 Mar 2017 13:33:54 +0000 (16:33 +0300)
compiler/deSugar/DsGRHSs.hs
compiler/deSugar/Match.hs

index 0a66bd0..e664612 100644 (file)
@@ -47,17 +47,17 @@ necessary.  The type argument gives the type of the @ei@.
 dsGuarded :: GRHSs Id (LHsExpr Id) -> Type -> DsM CoreExpr
 
 dsGuarded grhss rhs_ty = do
-    match_result <- dsGRHSs PatBindRhs [] grhss rhs_ty
+    match_result <- dsGRHSs PatBindRhs grhss rhs_ty
     error_expr <- mkErrorAppDs nON_EXHAUSTIVE_GUARDS_ERROR_ID rhs_ty empty
     extractMatchResult match_result error_expr
 
 -- In contrast, @dsGRHSs@ produces a @MatchResult@.
 
-dsGRHSs :: HsMatchContext Name -> [Pat Id]      -- These are to build a MatchContext from
+dsGRHSs :: HsMatchContext Name
         -> GRHSs Id (LHsExpr Id)                -- Guarded RHSs
         -> Type                                 -- Type of RHS
         -> DsM MatchResult
-dsGRHSs hs_ctx (GRHSs grhss binds) rhs_ty
+dsGRHSs hs_ctx (GRHSs grhss binds) rhs_ty
   = ASSERT( notNull grhss )
     do { match_results <- mapM (dsGRHS hs_ctx rhs_ty) grhss
        ; let match_result1 = foldr1 combineMatchResults match_results
index a4aa56e..92f78be 100644 (file)
@@ -755,7 +755,7 @@ matchWrapper ctxt mb_scr (MG { mg_alts = L _ matches
            ; tm_cs <- genCaseTmCs2 mb_scr upats vars
            ; match_result <- addDictsDs dicts $ -- See Note [Type and Term Equality Propagation]
                              addTmCsDs tm_cs  $ -- See Note [Type and Term Equality Propagation]
-                             dsGRHSs ctxt upats grhss rhs_ty
+                             dsGRHSs ctxt grhss rhs_ty
            ; return (EqnInfo { eqn_pats = upats, eqn_rhs  = match_result}) }
 
     handleWarnings = if isGenerated origin