X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs;h=adde9fb080b721ea8dea849372022d3c989281cb;hp=f352faf50ad4d556a6c4a160ddbb3a77d0795884;hb=11c7f334d1b98effdd62cd1fb93ca984338b3de3;hpb=0c6b69eada9cb7a6302f98f4de70cc71d3544c44 diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs index f352faf..adde9fb 100644 --- a/compiler/iface/TcIface.lhs +++ b/compiler/iface/TcIface.lhs @@ -57,6 +57,7 @@ import ErrUtils import Maybes import SrcLoc import DynFlags +import Util import Control.Monad import Data.List @@ -1037,13 +1038,11 @@ tcIfaceTyCon (IfaceTupTc bx ar) = tcWiredInTyCon (tupleTyCon bx ar) tcIfaceTyCon (IfaceTc name) = do { thing <- tcIfaceGlobal name ; return (check_tc (tyThingTyCon thing)) } where -#ifdef DEBUG - check_tc tc = case toIfaceTyCon tc of - IfaceTc _ -> tc - other -> pprTrace "check_tc" (ppr tc) tc -#else - check_tc tc = tc -#endif + check_tc tc + | debugIsOn = case toIfaceTyCon tc of + IfaceTc _ -> tc + other -> pprTrace "check_tc" (ppr tc) tc + | otherwise = tc -- we should be okay just returning Kind constructors without extra loading tcIfaceTyCon IfaceLiftedTypeKindTc = return liftedTypeKindTyCon tcIfaceTyCon IfaceOpenTypeKindTc = return openTypeKindTyCon