X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fspecialise%2FSpecEnv.lhs;fp=ghc%2Fcompiler%2Fspecialise%2FSpecEnv.lhs;h=0c40e2411628c037cd07c89a7112e6c79604b8b7;hb=4d355aed3b4b9cebddbcc4ea495ae27d991cb287;hp=f9a0949faa230a07ab34ec23092104e19b9f1ad2;hpb=322ffb934144468f8a2d92ce72951f57abc0632c;p=ghc-hetmet.git diff --git a/ghc/compiler/specialise/SpecEnv.lhs b/ghc/compiler/specialise/SpecEnv.lhs index f9a0949..0c40e24 100644 --- a/ghc/compiler/specialise/SpecEnv.lhs +++ b/ghc/compiler/specialise/SpecEnv.lhs @@ -15,7 +15,7 @@ module SpecEnv ( IMP_Ubiq() import MatchEnv -import Type ( matchTys, isTyVarTy ) +import Type --( matchTys, isTyVarTy ) import Usage ( SYN_IE(UVar) ) import OccurAnal ( occurAnalyseGlobalExpr ) import CoreSyn ( SYN_IE(CoreExpr), SYN_IE(SimplifiableCoreExpr) ) @@ -27,7 +27,7 @@ import Maybes ( MaybeErr(..) ) --import Pretty--ToDo:rm --import PprCore--ToDo:rm --import Id--ToDo:rm ---import TyVar--ToDo:rm +import TyVar --ToDo:rm --import Unique--ToDo:rm --import IdInfo--ToDo:rm --import PprEnv--ToDo:rm @@ -79,7 +79,7 @@ isNullSpecEnv (SpecEnv env) = null (mEnvToList env) addOneToSpecEnv :: SpecEnv -> [Type] -> CoreExpr -> MaybeErr SpecEnv ([Type], SimplifiableCoreExpr) addOneToSpecEnv (SpecEnv env) tys rhs - = --pprTrace "addOneToSpecEnv" (ppAbove (ppr PprDebug tys) (ppr PprDebug rhs)) $ + = --pprTrace "addOneToSpecEnv" (($$) (ppr PprDebug tys) (ppr PprDebug rhs)) $ case (insertMEnv matchTys env tys (occurAnalyseGlobalExpr rhs)) of Succeeded menv -> Succeeded (SpecEnv menv) Failed err -> Failed err