X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FusageSP%2FUsageSPInf.lhs;h=d0f062e003641ace87cb1dab6bed157b81c1b5ec;hb=9df1b97e2fcd4df84542547d57965cd46ccedcc6;hp=ee9be6ee0201dfc861a546119555a4e1c56b5a14;hpb=0b3dcf9dd504c2db156d08f1908e906e00e66c7a;p=ghc-hetmet.git diff --git a/ghc/compiler/usageSP/UsageSPInf.lhs b/ghc/compiler/usageSP/UsageSPInf.lhs index ee9be6e..d0f062e 100644 --- a/ghc/compiler/usageSP/UsageSPInf.lhs +++ b/ghc/compiler/usageSP/UsageSPInf.lhs @@ -18,6 +18,7 @@ import UsageSPLint import UConSet import CoreSyn +import Rules ( RuleBase ) import TypeRep ( Type(..), TyNote(..) ) -- friend import Type ( UsageAnn(..), applyTy, applyTys, @@ -90,9 +91,11 @@ monad. \begin{code} doUsageSPInf :: UniqSupply -> [CoreBind] - -> IO [CoreBind] + -> RuleBase + -> IO ([CoreBind], Maybe RuleBase) -doUsageSPInf us binds = do +doUsageSPInf us binds local_rules + = do let binds1 = doUnAnnotBinds binds dumpIfSet opt_D_dump_usagesp "UsageSPInf unannot'd" $ @@ -118,7 +121,7 @@ doUsageSPInf us binds = do dumpIfSet opt_D_dump_usagesp "UsageSPInf" $ pprCoreBindings binds3 - return binds3 + return (binds3, Nothing) \end{code} ======================================================================