X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fcmm%2FCmmLint.hs;h=2fc4a74daf5391b5e00707c17a97c982b95643c8;hb=71d0e9a03797a194209cb61b7f75c2e1c8ddf237;hp=1b60ed7193b4bb49840c48c5c3db3c18b290ff0e;hpb=e6243a818496aad82b6f47511d3bd9bc800f747d;p=ghc-hetmet.git diff --git a/compiler/cmm/CmmLint.hs b/compiler/cmm/CmmLint.hs index 1b60ed7..2fc4a74 100644 --- a/compiler/cmm/CmmLint.hs +++ b/compiler/cmm/CmmLint.hs @@ -19,13 +19,13 @@ module CmmLint ( import BlockId import Cmm import CLabel -import Maybe import Outputable import PprCmm import Constants import FastString import Control.Monad +import Data.Maybe -- ----------------------------------------------------------------------------- -- Exported entry points: @@ -69,7 +69,7 @@ lintCmmBlock labels (BasicBlock id stmts) lintCmmExpr :: CmmExpr -> CmmLint CmmType lintCmmExpr (CmmLoad expr rep) = do - lintCmmExpr expr + _ <- lintCmmExpr expr when (widthInBytes (typeWidth rep) >= wORD_SIZE) $ cmmCheckWordAddress expr return rep @@ -126,8 +126,8 @@ lintCmmStmt labels = lint then return () else cmmLintAssignErr stmt erep reg_ty lint (CmmStore l r) = do - lintCmmExpr l - lintCmmExpr r + _ <- lintCmmExpr l + _ <- lintCmmExpr r return () lint (CmmCall target _res args _ _) = lintTarget target >> mapM_ (lintCmmExpr . hintlessCmm) args