From 91b9cdf8c6104ed3ebdbcc17aaee68b352f13882 Mon Sep 17 00:00:00 2001 From: Jose Pedro Magalhaes Date: Fri, 29 Apr 2011 14:22:58 +0200 Subject: [PATCH] Remove some debug info left lying around. --- compiler/types/Generics.lhs | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/compiler/types/Generics.lhs b/compiler/types/Generics.lhs index e354d9f..b17670d 100644 --- a/compiler/types/Generics.lhs +++ b/compiler/types/Generics.lhs @@ -26,7 +26,7 @@ import PrelNames import TcEnv (tcLookupTyCon) import TcRnMonad (TcM, newUnique) import HscTypes - + import SrcLoc import Bag import Outputable @@ -138,11 +138,11 @@ tc_mkRep0Ty tycon metaDts = foldBal mkProd [ arg d a | (d,a) <- zip (metaSTyCons !! i) l ] - arg d t = trace (showPpr t) $ mkS d (recOrPar t (getTyVar_maybe t)) + arg d t = mkS d (recOrPar t (getTyVar_maybe t)) -- Argument is not a type variable, use Rec0 - recOrPar t Nothing = trace "Rec0" $ mkRec0 t + recOrPar t Nothing = mkRec0 t -- Argument is a type variable, use Par0 - recOrPar t (Just _) = trace "Par0" $ mkPar0 t + recOrPar t (Just _) = mkPar0 t metaDTyCon = mkTyConTy (metaD metaDts) metaCTyCons = map mkTyConTy (metaC metaDts) @@ -334,7 +334,6 @@ mkProd_E _ vars = mkM1_E (foldBal prod appVars) appVars = map wrapArg_E vars prod a b = prodDataCon_RDR `nlHsApps` [a,b] --- TODO: Produce a P0 when v is a parameter wrapArg_E :: RdrName -> LHsExpr RdrName wrapArg_E v = mkM1_E (k1DataCon_RDR `nlHsVarApps` [v]) -- This M1 is meta-information for the selector @@ -350,7 +349,6 @@ mkProd_P _ vars = mkM1_P (foldBal prod appVars) appVars = map wrapArg_P vars prod a b = prodDataCon_RDR `nlConPat` [a,b] --- TODO: Produce a P0 when v is a parameter wrapArg_P :: RdrName -> LPat RdrName wrapArg_P v = mkM1_P (k1DataCon_RDR `nlConVarPat` [v]) -- This M1 is meta-information for the selector -- 1.7.10.4