diff options
author | Ian Lynagh <igloo@earth.li> | 2008-02-20 17:18:58 +0000 |
---|---|---|
committer | Ian Lynagh <igloo@earth.li> | 2008-02-20 17:18:58 +0000 |
commit | b7c6cdd278e18f4d55180d9237d478f2c2e25f7f (patch) | |
tree | ab051ccad0641cc48075b12628e8a5300301062c /compiler/stgSyn | |
parent | c85f986ca64b6590150aab711713c9c08b70cf9d (diff) | |
download | haskell-b7c6cdd278e18f4d55180d9237d478f2c2e25f7f.tar.gz |
Fix most of the warnings in StgLint
Diffstat (limited to 'compiler/stgSyn')
-rw-r--r-- | compiler/stgSyn/StgLint.lhs | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/compiler/stgSyn/StgLint.lhs b/compiler/stgSyn/StgLint.lhs index 2007433c29..9dc83cd863 100644 --- a/compiler/stgSyn/StgLint.lhs +++ b/compiler/stgSyn/StgLint.lhs @@ -164,7 +164,7 @@ lintStgExpr e@(StgConApp con args) = runMaybeT $ do where con_ty = dataConRepType con -lintStgExpr e@(StgOpApp (StgFCallOp _ _) args res_ty) = runMaybeT $ do +lintStgExpr (StgOpApp (StgFCallOp _ _) args res_ty) = runMaybeT $ do -- We don't have enough type information to check -- the application; ToDo maybe_arg_tys <- mapM (MaybeT . lintStgArg) args @@ -210,7 +210,7 @@ lintStgExpr e@(StgCase scrut _ _ bndr _ alts_type alts) = runMaybeT $ do StgApp _ _ -> return () StgConApp _ _ -> return () StgOpApp _ _ _ -> return () - other -> addErrL (mkCaseOfCaseMsg e) + _ -> addErrL (mkCaseOfCaseMsg e) addInScopeVars [bndr] $ lintStgAlts alts scrut_ty @@ -238,7 +238,7 @@ lintStgAlts alts scrut_ty = do where check ty = checkTys first_ty ty (mkCaseAltMsg alts) -lintAlt scrut_ty (DEFAULT, _, _, rhs) +lintAlt _ (DEFAULT, _, _, rhs) = lintStgExpr rhs lintAlt scrut_ty (LitAlt lit, _, _, rhs) = do @@ -258,7 +258,7 @@ lintAlt scrut_ty (DataAlt con, args, _, rhs) = do checkL (equalLength arg_tys args) (mkAlgAltMsg3 con args) mapM_ check (zipEqual "lintAlgAlt:stg" arg_tys args) return () - other -> + _ -> addErrL (mkAltMsg1 scrut_ty) addInScopeVars args $ @@ -321,7 +321,7 @@ initL (LintM m) } instance Monad LintM where - return a = LintM $ \loc scope errs -> (a, errs) + return a = LintM $ \_loc _scope errs -> (a, errs) (>>=) = thenL (>>) = thenL_ @@ -338,11 +338,11 @@ thenL_ m k = LintM $ \loc scope errs \begin{code} checkL :: Bool -> Message -> LintM () -checkL True msg = return () +checkL True _ = return () checkL False msg = addErrL msg addErrL :: Message -> LintM () -addErrL msg = LintM $ \loc scope errs -> ((), addErr errs msg loc) +addErrL msg = LintM $ \loc _scope errs -> ((), addErr errs msg loc) addErr :: Bag Message -> Message -> [LintLocInfo] -> Bag Message addErr errs_so_far msg locs @@ -387,7 +387,7 @@ checkFunApp :: Type -- The function type checkFunApp fun_ty arg_tys msg = LintM checkFunApp' where - checkFunApp' loc scope errs + checkFunApp' loc _scope errs = cfa res_ty expected_arg_tys arg_tys where (expected_arg_tys, res_ty) = splitFunTys (dropForAlls fun_ty) @@ -406,7 +406,7 @@ checkFunApp fun_ty arg_tys msg = LintM checkFunApp' ([], _) -> (Nothing, addErr errs msg loc) -- Too many args (new_expected, new_res) -> cfa new_res new_expected arg_tys - cfa res_ty (expected_arg_ty:expected_arg_tys) (arg_ty:arg_tys) + cfa res_ty (_:expected_arg_tys) (_:arg_tys) = cfa res_ty expected_arg_tys arg_tys \end{code} |